C++函数异常是C++语言中用于处理运行时错误的核心机制，允许函数在遇到无法处理的错误时抛出异常情况，由调用方捕获并处理，避免错误扩散导致程序崩溃。相比传统的错误码返回方式，函数异常能够将错误处理代码和业务逻辑代码分离，让代码结构更清晰，同时也能传递更丰富的错误信息。
C++函数异常的基础用法
异常的抛出与捕获
函数内部可以通过throw关键字抛出任意类型的异常，通常是标准库异常类型或者自定义异常类型，调用方使用try-catch块捕获并处理异常。下面是一个简单的示例：
#include <iostream>
#include <stdexcept>
// 自定义异常类型，继承自标准异常基类
class MyCustomException : public std::runtime_error {
public:
MyCustomException(const std::string& msg) : std::runtime_error(msg) {}
};
// 可能抛出异常的函数
int divide(int a, int b) {
if (b == 0) {
// 抛出自定义异常
throw MyCustomException("除数不能为0");
}
return a / b;
}
int main() {
try {
int result = divide(10, 0);
std::cout << "计算结果：" << result << std::endl;
} catch (const MyCustomException& e) {
// 捕获自定义异常
std::cout << "捕获到自定义异常：" << e.what() << std::endl;
} catch (const std::exception& e) {
// 捕获标准异常基类，兜底处理
std::cout << "捕获到标准异常：" << e.what() << std::endl;
} catch (...) {
// 捕获所有其他类型的异常
std::cout << "捕获到未知异常" << std::endl;
}
return 0;
}异常规范的使用
在早期C++标准中，函数声明后可以添加异常规范，标注函数可能抛出的异常类型，比如void func() throw(int, std::runtime_error);表示函数可能抛出int类型或者std::runtime_error类型的异常。但这种动态异常规范在C++11之后被废弃，取而代之的是noexcept关键字。
noexcept用于标识函数不会抛出任何异常，编译器可以针对这类函数做更多优化，同时如果标记了noexcept的函数抛出了异常，程序会直接调用std::terminate终止运行。示例如下：
#include <iostream>
// 标记该函数不会抛出异常
void safe_func() noexcept {
std::cout << "这个函数不会抛出异常" << std::endl;
}
// 条件noexcept，根据表达式结果决定是否标记noexcept
template <typename T>
void wrapper_func(T& t) noexcept(noexcept(t.foo())) {
t.foo();
}
int main() {
safe_func();
return 0;
}异常安全等级
异常安全是指当函数抛出异常时，程序的状态不会遭到破坏，通常分为三个等级：
- 基本异常安全：异常抛出后，程序的所有对象都处于有效状态，没有资源泄漏，但对象的语义状态可能发生变化。
- 强异常安全：异常抛出后，程序状态回滚到函数调用前的状态，就像函数从来没有被调用过一样。
- 不抛异常安全：函数绝对不会抛出任何异常，是最高的异常安全等级。
下面是一个实现强异常安全的函数示例，使用拷贝再交换的思路保证状态回滚：
#include <iostream>
#include <memory>
#include <utility>
class DataHolder {
private:
std::unique_ptr<int[]> data;
int size;
public:
DataHolder(int s) : size(s), data(std::make_unique<int[]>(s)) {
if (s <= 0) {
throw std::invalid_argument("数据大小必须大于0");
}
for (int i = 0; i < s; ++i) {
data[i] = 0;
}
}
// 强异常安全的赋值操作
DataHolder& operator=(const DataHolder& other) {
if (this != &other) {
// 先拷贝数据，拷贝过程如果抛出异常，当前对象状态不变
auto new_data = std::make_unique<int[]>(other.size);
for (int i = 0; i < other.size; ++i) {
new_data[i] = other.data[i];
}
// 交换数据，这个操作不会抛出异常
data.swap(new_data);
size = other.size;
}
return *this;
}
int getSize() const { return size; }
};
int main() {
try {
DataHolder a(5);
DataHolder b(10);
a = b; // 赋值操作如果失败，a的状态不会发生变化
std::cout << "赋值后a的大小：" << a.getSize() << std::endl;
} catch (const std::exception& e) {
std::cout << "捕获到异常：" << e.what() << std::endl;
}
return 0;
}函数异常的注意事项
使用C++函数异常时需要注意几个常见问题：
- 不要在析构函数中抛出异常，否则可能导致
std::terminate被调用，如果析构过程中发生错误，可以记录日志但不抛出。 - 抛出的异常类型最好是标准库的异常类型或者继承自
std::exception的自定义类型，方便统一捕获处理。 - 对于明确不会抛出异常的函数，尽量标记
noexcept，既能提升性能，也能明确函数的异常行为。 - 避免在构造函数中抛出普通类型异常，如果构造函数需要失败，可以抛出标准异常，调用方需要捕获处理构造失败的情况。
总结
C++函数异常是提升程序健壮性的重要工具，正确使用可以让错误处理更清晰，减少错误扩散的概率。开发者需要掌握异常的抛出捕获、noexcept的使用、异常安全等级的设计，同时注意常见的使用误区，才能充分发挥函数异常的作用，写出更稳定的C++程序。