C++栈的异常处理机制：保障程序稳健性-优快云博客

本文链接：https://blog.youkuaiyun.com/wengang345/article/details/146599177

引言

在C++编程中，栈作为常用的数据结构，其操作并非总是一帆风顺。当栈面临如溢出、空栈操作等异常情况时，若缺乏有效的处理机制，程序很容易崩溃或产生未定义行为。因此，合理运用C++栈的异常处理机制，对保障程序的稳健性和可靠性至关重要。

C++异常处理基础

C++通过try、catch和throw关键字实现异常处理。try块用于包含可能抛出异常的代码，catch块用于捕获并处理异常，throw关键字则用于抛出异常。例如：
try {
// 可能抛出异常的代码
throw std::runtime_error("这是一个异常");
} catch (const std::runtime_error& e) {
std::cerr << "捕获到异常: " << e.what() << std::endl;
}
栈操作中的异常情况

栈溢出

当基于数组实现的栈，在元素入栈时超出了数组的预定容量，就会发生栈溢出。比如：
class Stack {
private:
int arr[10];
int top;
public:
Stack() : top(-1) {}
void push(int value) {
if (top == 9) {
// 栈溢出情况
throw std::overflow_error("栈溢出");
}
arr[++top] = value;
}
// 其他方法
};
在上述代码中，若push操作时top达到9，继续入栈就会导致栈溢出，此时通过throw抛出std::overflow_error异常。

空栈操作

当对空栈进行出栈或查看栈顶元素操作时，会出现空栈异常。以出栈操作为例：
void pop() {
if (top == -1) {
// 空栈情况
throw std::underflow_error("栈为空，无法出栈");
}
top--;
}
当top为-1时，执行pop操作会抛出std::underflow_error异常。

异常处理策略

局部处理

在栈操作函数内部直接处理异常，例如在push函数中捕获并处理栈溢出异常：
void push(int value) {
try {
if (top == 9) {
throw std::overflow_error("栈溢出");
}
arr[++top] = value;
} catch (const std::overflow_error& e) {
std::cerr << "局部捕获到栈溢出异常: " << e.what() << std::endl;
// 可以进行一些补救措施，如调整栈大小
}
}
这种方式能及时处理异常，避免异常扩散影响其他部分代码，但可能导致代码逻辑复杂，且不利于统一管理异常。

向上传递

将异常抛出给调用者处理，使调用者根据具体情况决定如何处理。例如：
void push(int value) {
if (top == 9) {
throw std::overflow_error("栈溢出");
}
arr[++top] = value;
}

int main() {
Stack s;
try {
for (int i = 0; i < 11; ++i) {
s.push(i);
}
} catch (const std::overflow_error& e) {
std::cerr << "在main函数中捕获到栈溢出异常: " << e.what() << std::endl;
// 可以进行更全局的处理，如提示用户、记录日志
}
return 0;
}
向上传递异常能使异常处理逻辑集中在高层调用函数中，使代码结构更清晰，便于统一管理异常，但需要调用者谨慎处理，否则可能导致程序崩溃。

资源管理与异常安全

在栈操作涉及资源管理（如链表实现中节点内存分配）时，异常安全尤为重要。例如：
class Node {
public:
int data;
Node* next;
Node(int value) : data(value), next(nullptr) {}
};

class Stack {
private:
Node* top;
public:
Stack() : top(nullptr) {}
void push(int value) {
try {
Node* newNode = new Node(value);
newNode->next = top;
top = newNode;
} catch (const std::bad_alloc& e) {
std::cerr << "内存分配失败: " << e.what() << std::endl;
// 释放已分配资源，确保异常安全
}
}
// 其他方法
};
在push操作中，若内存分配失败抛出std::bad_alloc异常，需要确保已分配的资源（如已部分构建的链表节点）被正确释放，避免内存泄漏，保障程序的异常安全。