在C++程序开发中，函数执行过程中可能会遇到各种预期之外的错误场景，比如参数非法、内存分配失败、文件读取错误等，如果没有合理的处理机制，这些错误会直接导致程序崩溃。异常处理机制就是C++提供的一套应对这类问题的解决方案，通过规范的异常抛出和捕获逻辑，可以让函数在遇到错误时给出明确的反馈，而不是直接终止程序，从而编写出更健壮的代码。
C++异常处理的基础语法
C++的异常处理主要依赖三个关键字：try、catch、throw，三者的分工非常明确。throw用于在函数内部抛出异常，标识当前出现了错误；try块用于包裹可能出现异常的代码逻辑；catch块则用于捕获并处理对应的异常。
throw关键字的使用
当函数执行过程中遇到不符合预期的情况时，可以使用throw抛出对应类型的异常对象，异常对象可以是基本类型、字符串，也可以是自定义的类对象。下面是一个简单的示例，展示在函数内部抛出参数非法异常的逻辑：
#include <iostream>
#include <stdexcept>
// 计算两个整数的除法，除数不能为0
double divide(int a, int b) {
if (b == 0) {
// 抛出运行时错误异常
throw std::runtime_error("除数不能为0");
}
return (double)a / b;
}
try和catch的配合使用
调用可能抛出异常的函数时，需要把调用逻辑放在try块中，然后通过catch块捕获对应的异常类型进行处理。不同的catch块可以处理不同类型的异常，匹配顺序是自上而下的，因此更具体的异常类型要放在更前面。
#include <iostream>
#include <stdexcept>
double divide(int a, int b) {
if (b == 0) {
throw std::runtime_error("除数不能为0");
}
return (double)a / b;
}
int main() {
try {
double result = divide(10, 0);
std::cout << "计算结果：" << result << std::endl;
} catch (const std::runtime_error& e) {
// 捕获运行时错误异常
std::cout << "捕获到异常：" << e.what() << std::endl;
} catch (const std::exception& e) {
// 捕获所有标准异常类型的基类异常
std::cout << "捕获到通用异常：" << e.what() << std::endl;
}
return 0;
}
函数异常说明的规范
在C++中，可以在函数声明时标注该函数可能抛出的异常类型，让调用者明确需要捕获的异常范围。早期的C++使用动态异常说明，比如void func() throw(int, std::runtime_error);表示函数可能抛出int类型或std::runtime_error类型的异常，不过这种方式在C++11之后已经被废弃，取而代之的是noexcept说明符。
noexcept用于标识函数不会抛出任何异常，如果标记为noexcept的函数内部抛出了异常，程序会直接调用std::terminate终止。对于明确不会抛出异常的函数，添加noexcept可以让编译器做更多优化，也能让调用者更清楚函数的行为。
// 该函数不会抛出任何异常
int add(int a, int b) noexcept {
return a + b;
}
// 该函数可能抛出异常，不需要特殊标注
int readFile(const char* path) {
// 假设文件读取失败会抛出异常
if (path == nullptr) {
throw std::invalid_argument("文件路径不能为空");
}
return 0;
}
异常安全的基本原则
编写健壮的代码不仅要能捕获异常，还要保证异常发生时程序的状态是合理的，这就是异常安全的概念。异常安全通常分为三个级别：
- 基本异常安全：异常发生后，程序的所有对象都处于有效状态，没有资源泄漏，也没有破坏不变量，但对象的原始状态可能被改变。
- 强异常安全：异常发生后，程序的状态会回滚到函数调用之前的状态，就像函数从来没有执行过一样。
- 不抛异常安全：函数保证不会抛出任何异常，执行要么成功要么直接终止。
要实现异常安全，需要特别注意资源的释放，比如动态分配的内存、打开的文件句柄等。可以使用RAII（资源获取即初始化）的方式管理资源，把资源封装在类中，在类的析构函数中释放资源，这样即使函数抛出异常，栈展开的过程中也会自动调用析构函数释放资源，避免泄漏。
#include <iostream>
#include <stdexcept>
// 简单的RAII类，管理动态分配的int内存
class IntWrapper {
private:
int* data;
public:
IntWrapper(int value) : data(new int(value)) {}
~IntWrapper() {
delete data;
std::cout << "内存已释放" << std::endl;
}
int getValue() const {
return *data;
}
};
void testRAII() {
try {
IntWrapper wrapper(10);
// 假设这里抛出异常
throw std::runtime_error("测试异常");
// 即使抛出异常，wrapper的析构函数也会被调用，释放内存
} catch (const std::exception& e) {
std::cout << "捕获异常：" << e.what() << std::endl;
}
}
常见异常处理误区
在实际开发中，很多开发者会陷入异常处理的误区，反而降低代码的健壮性：
- 不要捕获所有异常却不处理，比如空的
catch(...)块，这样会掩盖错误，让问题难以排查。 - 不要在析构函数中抛出异常，因为栈展开过程中如果析构函数再抛出异常，程序会直接终止。
- 不要抛出析构函数无法正确释放的资源相关的异常，尽量用RAII机制管理资源，减少异常带来的资源泄漏风险。
- 不要过度使用异常，异常应该用于处理真正的错误场景，而不是正常的控制流逻辑，比如不要用异常来实现循环跳转。
合理使用C++的异常处理机制，结合异常安全的原则和RAII资源管理方式，就能有效提升函数的容错能力，编写出更健壮、更稳定的C++代码，减少程序运行时的意外崩溃问题。