在c++++中保留原始异常信息的关键是使用throw;语句。1. 使用throw;可在捕获异常后重新抛出原异常,保留其类型和错误信息,且无性能开销;2. 避免使用throw e;,因其会创建新对象并可能导致类型切割,丢失原始上下文;3. 若需添加信息,可抛出新异常并拼接e.what()内容;4. 若要完整记录异常链,可使用std::throw_with_nested或第三方库实现嵌套异常。

在C++中重新抛出异常时,如果你想保留原始的异常信息,关键在于正确使用throw;语句。直接使用throw;可以在捕获异常后将其再次抛出,并保持原始异常的类型和内容不变。如果你只是用throw加上一个新的异常对象,那就会丢失原来的上下文。

下面我们就来看几种常见的场景和做法,帮助你在不同情况下正确地重新抛出异常。

使用 throw; 保留原始异常
当你在catch块中处理完异常之后,想要将它继续向上层抛出,最简单也是最推荐的方式就是使用不带参数的throw;语句。
立即学习“C++免费学习笔记(深入)”;
try {
// 可能抛出异常的代码
} catch (const std::exception& e) {
// 记录日志或其他处理
std::cerr << "Caught exception: " << e.what() << std::endl;
// 重新抛出原异常
throw;
}这种方式不会创建新的异常对象,而是将当前捕获的异常继续传播出去。这样做的好处是:

- 保留原始异常类型
- 保留原始错误信息(如
what()的内容) - 不会引入额外的性能开销
慎用 throw e;,它会“切割”异常
有时候你会看到这样的写法:
try {
// ...
} catch (const std::exception& e) {
throw e;
}这种写法看起来像是重新抛出了异常,但其实它创建了一个新的异常对象,并且可能发生对象切割(slicing)。比如你捕获的是一个std::runtime_error,而用std::exception引用接收,再throw e;,那么抛出的就是std::exception类型的对象,而不是原本更具体的类型。
这会导致两个问题:
- 上层无法通过
catch(std::runtime_error&)来捕获到这个异常 - 原始的错误信息可能丢失或被简化
所以,除非你确实想替换异常类型,否则不要使用throw e;。
如果需要包装异常,可以嵌套抛出
有时你想在重新抛出异常时添加一些上下文信息,这时候可以考虑抛出一个新的异常,并将原始异常的信息保存进去。
try {
// 可能抛出异常的代码
} catch (const std::exception& e) {
throw std::runtime_error(std::string("Additional context: ") + e.what());
}这种方式虽然不能完全保留原始异常类型,但至少保留了错误信息。如果你使用的C++标准支持嵌套异常(C++11及以上),还可以用std::throw_with_nested配合自定义异常类型来实现完整的异常链。
例如:
struct my_exception : public std::runtime_error {
using std::runtime_error::runtime_error;
};
try {
try {
throw std::runtime_error("Inner error");
} catch (...) {
throw my_exception("Outer error");
}
} catch (const std::exception& e) {
std::cerr << e.what() << std::endl;
}不过这部分稍微复杂一点,适用于需要详细调试信息的场景。
总结一下怎么选
-
保留原样异常? → 用
throw; -
只想加点信息? → 抛出新异常并拼接
e.what() -
要完整记录异常链? → 考虑用
std::nested_exception或第三方库支持
基本上就这些方法,不复杂但容易忽略细节。










