C++异常的深入了解

C++ 异常是处理运行时错误的标准化机制，核心价值是将「错误检测」与「错误处理」解耦，彻底替代传统的错误码返回方式，让代码逻辑更清晰、健壮。

1.异常概念

异常（Exception）是 C++ 中用于处理程序运行时错误的一种机制。当程序遇到无法正常执行的情况（如除以零、内存分配失败等），可以通过抛出异常中断当前流程，并由专门的异常处理代码捕获和处理。

2.异常的三要素

C++ 异常通过三个关键字实现：try、throw、catch

基础语法：

#include <iostream> using namespace std; void test(int a) { // 1. throw：抛出异常对象（任意类型，推荐类类型） if (a == 0) throw "除数不能为零！"; // 抛字符串 if (a < 0) throw invalid_argument("负数不合法！"); // 抛标准异常 cout << 100 / a << endl; } int main() { try { // 2. try：包裹「可能抛出异常」的代码 test(0); } // 3. catch：捕获匹配类型的异常 catch (const char* e) { cout << "捕获字符串异常：" << e << endl; } catch (const invalid_argument& e) { cout << "捕获标准异常：" << e.what() << endl; } return 0; }

核心规则:
1.try 块：仅包裹可能出错的代码，无异常则正常执行；
2.throw：抛出后立即中断当前执行流，不会执行后续代码；
3.catch：按类型严格匹配异常，捕获后执行处理逻辑。

3.栈展开

这是 C++ 异常最关键的底层机制，也是异常能自动释放资源的根本原因：
1.抛出异常时，程序停止当前执行；
2.从 throw 所在函数开始，逐层回退函数调用栈；
3.每退出一层函数，自动销毁该函数的所有局部对象（调用析构函数）；
4.直到找到匹配的 catch 块，程序恢复执行；
5.若全程无匹配 catch，调用 std::terminate 直接终止程序。

代码演示栈展开:

#include <iostream> using namespace std; // 测试对象：构造/析构打印日志 class Test { public: Test() { cout << "Test 构造" << endl; } ~Test() { cout << "Test 析构" << endl; } }; void func2() { Test t; // 局部对象 throw "抛出异常！"; // 抛出异常 cout << "func2 后续代码（不会执行）" << endl; } void func1() { func2(); } int main() { try { func1(); } catch (const char* e) { cout << "捕获异常：" << e << endl; } return 0; }

执行结果:

Test 构造 Test 析构 ✅ 栈展开：自动销毁局部对象 捕获异常：抛出异常！

4.异常捕获的高级规则

1. 类型匹配：无隐式转换
异常捕获不支持隐式类型转换（如 int ↔ double），必须严格匹配类型。
2. 继承类异常：派生类优先捕获
如果抛出派生类异常，catch 必须把派生类写在基类前面，否则会被基类截断（对象切片）。

// 基类异常 class BaseEx {}; // 派生类异常 class DeriveEx : public BaseEx {}; try { throw DeriveEx(); } // ✅ 正确：派生类在前 catch (const DeriveEx& e) { cout << "捕获派生类" << endl; } catch (const BaseEx& e) { cout << "捕获基类" << endl; }

5.万能捕获：catch(...)

捕获所有未匹配的异常，通常用于兜底，避免程序崩溃：

catch (...) { cout << "捕获未知异常！" << endl; // 可以重新抛出：throw; }

推荐：按引用捕获异常
避免对象拷贝，提升性能；
避免继承类的对象切片问题；
标准写法：catch (const 异常类型& e)