C++的异常处理机制为程序运行时的错误应对提供了标准化的解决方案，通过try、catch、throw三个核心关键字配合，可以在错误发生时捕获并处理异常，避免程序直接终止。
C++异常处理核心语法
C++异常处理的基础结构由三个部分组成，分别是负责标记可能出错的代码块的try，负责捕获并处理异常的catch，以及负责抛出异常的throw。
1. try块
try块包裹的是可能出现异常的代码段，当这段代码执行过程中抛出异常时，程序会立刻跳转到对应的catch块执行处理逻辑，try块中的后续代码不会再执行。
2. throw关键字
throw用于在代码中主动抛出异常，可以抛出任意类型的对象，包括基本数据类型、字符串、自定义类对象等。抛出后的异常会被最近的匹配的catch块捕获。
3. catch块
catch块紧跟在try块之后，用于捕获并处理对应类型的异常，一个try块可以跟随多个catch块，分别处理不同类型的异常。
基础异常处理示例
下面是一个简单的除零异常处理的示例，演示基本的try catch使用方式：
#include <iostream>
#include <stdexcept>
using namespace std;
// 除法函数，除数为0时抛出异常
double divide(double a, double b) {
if (b == 0) {
// 抛出运行时错误异常
throw runtime_error("除数不能为0");
}
return a / b;
}
int main() {
double num1 = 10.0, num2 = 0.0;
try {
// 可能抛出异常的代码放在try块中
double result = divide(num1, num2);
cout << "计算结果：" << result << endl;
} catch (const runtime_error& e) {
// 捕获runtime_error类型的异常
cout << "捕获到异常：" << e.what() << endl;
} catch (...) {
// 捕获所有其他类型的异常
cout << "捕获到未知类型的异常" << endl;
}
return 0;
}
上述代码中，当divide函数的除数为0时，会抛出runtime_error类型的异常，try块后的第一个catch块匹配该类型异常，输出异常信息。如果抛出的异常类型没有匹配的catch块，会被最后一个catch(...)捕获，这个写法可以捕获所有类型的异常，通常放在catch列表的最后作为兜底处理。
异常类型匹配规则
catch块的匹配遵循严格的类型匹配规则，不会进行隐式类型转换，比如抛出int类型的异常，只有catch(int)才能捕获，catch(double)无法捕获该异常。
如果抛出的异常是派生类对象，那么基类的catch块也可以捕获该异常，因此通常建议将基类异常的catch块放在派生类异常的catch块之前，避免派生类异常被基类catch块提前捕获。
下面演示自定义异常类的使用：
#include <iostream>
#include <exception>
#include <string>
using namespace std;
// 自定义异常类，继承自标准异常基类
class MyException : public exception {
private:
string msg;
public:
MyException(const string& message) : msg(message) {}
// 重写what方法返回异常信息
const char* what() const noexcept override {
return msg.c_str();
}
};
// 另一个自定义异常类，继承自MyException
class FileException : public MyException {
public:
FileException(const string& message) : MyException(message) {}
};
void readFile(const string& filename) {
if (filename.empty()) {
throw FileException("文件名不能为空");
}
// 其他文件读取逻辑
}
int main() {
try {
readFile("");
} catch (const FileException& e) {
// 先匹配派生类异常
cout << "文件异常：" << e.what() << endl;
} catch (const MyException& e) {
// 再匹配基类异常
cout << "自定义异常：" << e.what() << endl;
} catch (const exception& e) {
// 匹配标准异常基类
cout << "标准异常：" << e.what() << endl;
}
return 0;
}
异常处理的注意事项
- 不要在析构函数中抛出异常，否则可能导致程序在栈展开过程中调用
terminate函数直接终止。 - 如果catch块中重新抛出异常，可以使用
throw;（不带表达式），此时异常会保持原有类型和状态继续向外层传播。 - 异常抛出后如果始终没有被捕获，程序会调用
terminate函数终止运行，因此关键逻辑一定要做好异常捕获。 - 抛出的异常对象在传递到catch块的过程中会被拷贝，因此如果异常类型是较大的自定义类，建议使用智能指针或者引用来传递，避免不必要的拷贝开销。
合理使用C++的try catch异常处理机制，可以让程序在面对错误情况时更可控，提升程序的健壮性和可维护性，开发者需要根据实际场景选择合适的异常类型和捕获策略。