异常链是指在捕获一个异常后抛出另一个异常并保留原异常信息的机制，便于追溯完整的错误过程。其核心实现步骤包括：1. 在 catch 块中使用 std::current_exception() 获取当前异常指针；2. 将该指针保存到新异常对象中；3. 抛出携带原始异常信息的新异常。通过自定义异常类 myexception 并递归调用 print_exception 函数可逐层打印完整异常链信息。使用时应注意适用场景、统一异常结构、避免内存泄漏，并可考虑日志记录作为替代或补充方案。
在 C++ 中实现异常链（Exception Chaining）的关键在于捕获一个异常后，将其作为新抛出异常的一部分保存下来。这种做法可以保留原始异常信息，便于调试和日志记录。标准库本身没有直接支持异常链的机制，但我们可以借助 std::exception_ptr 和嵌套异常处理来模拟。
什么是异常链
异常链是指在一个异常处理过程中，捕获到某个异常后，又抛出了另一个异常，并且将原异常的信息保留下来。这样做的好处是当最终处理异常时，可以追溯整个异常发生的过程，而不仅仅看到最后一个抛出的异常。
例如：A 函数调用 B 函数，B 抛出异常，A 捕获后可能重新包装这个异常并抛出一个新的异常。如果只看新异常，就丢失了原始错误信息。
立即学习“C++免费学习笔记（深入）”；
如何在 C++ 中保存和传递嵌套异常
C++11 引入了 std::exception_ptr 和 std::rethrow_exception，这为实现异常链提供了基础工具。
步骤如下：
- 使用
try-catch捕获原始异常 - 在 catch 块中使用
std::current_exception()获取当前异常的指针 - 将这个指针保存到新的异常对象中
- 抛出新的异常时携带原始异常信息
struct MyException : public std::runtime_error {
std::exception_ptr nested;
MyException(const std::string& msg, std::exception_ptr eptr = nullptr)
: std::runtime_error(msg), nested(eptr) {}
};然后可以在函数中这样使用：
try {
mightThrow();
} catch (...) {
auto eptr = std::current_exception();
throw MyException("Something went wrong", eptr);
}如何打印完整的异常链信息
为了查看完整的异常链，你需要在 catch 块中递归地提取嵌套异常。
例如：
void print_exception(const std::exception& e, int level = 0) {
std::cerr << "Level " << level << ": " << e.what() << '\n';
if (auto mye = dynamic_cast(&e)) {
if (mye->nested) {
try {
std::rethrow_exception(mye->nested);
} catch (const std::exception& nested_e) {
print_exception(nested_e, level + 1);
} catch (...) {
std::cerr << "Unknown nested exception\n";
}
}
}
} 这样你就能逐层打印出所有嵌套的异常信息。
注意事项与建议
- 不要滥用异常链：它适用于需要详细诊断的场景，比如服务端或复杂系统，而不是简单的脚本逻辑。
- 自定义异常类设计要统一：确保你的项目中所有异常都继承自一个基类，并统一支持嵌套机制。
-
避免内存泄漏：
std::exception_ptr是引用语义，不需要手动释放，但仍需注意异常对象生命周期。 - 考虑日志记录替代方案：有时在抛异常前记录堆栈或上下文信息也是一种更轻量的替代方式。
基本上就这些。实现异常链不复杂，但容易忽略细节，比如如何正确捕获和重新抛出、如何设计异常结构等。只要合理使用，它可以极大提升异常调试效率。
