在C++异常处理流程中，我们常常需要在catch块中完成部分资源清理或日志记录工作后，将捕获到的异常继续向上层传递。此时如果使用不当的抛出方式，就会导致原始异常的类型、携带的错误信息等丢失，影响上层对异常的正确判断和处理。正确重新抛出C++异常的核心是使用不带表达式的throw语句。
错误重抛方式的常见问题
很多初学者会在catch块中重新使用带表达式的throw语句来抛出捕获的异常，比如下面的示例：
#include <iostream>
#include <stdexcept>
void func() {
throw std::runtime_error("原始错误信息");
}
int main() {
try {
func();
} catch (const std::exception& e) {
std::cout << "捕获到异常：" << e.what() << std::endl;
// 错误重抛方式，会丢失原始异常的调用栈等信息
throw e;
}
return 0;
}
上面的代码中，catch块捕获的是异常对象的引用，但是使用throw e;时，会触发异常对象的拷贝构造，生成一个新的异常对象向上抛出。如果上层捕获的是基类引用，此时可能会发生对象切片，丢失派生类特有的信息，同时原始的调用栈信息也不会被保留。
正确保留原始异常的重抛方法
要保留原始异常的全部信息，只需要在catch块中使用不带任何表达式的throw;语句即可。这种写法会直接重新抛出当前捕获到的原始异常对象，不会触发拷贝构造，也不会修改异常的任何信息。
#include <iostream>
#include <stdexcept>
void func() {
throw std::runtime_error("原始错误信息");
}
int main() {
try {
func();
} catch (const std::exception& e) {
std::cout << "捕获到异常：" << e.what() << std::endl;
// 正确重抛方式，保留原始异常全部信息
throw;
}
return 0;
}
在这个示例中，throw;会将最初func函数抛出的std::runtime_error对象原封不动地向上传递，上层如果捕获std::exception引用，依然可以拿到完整的错误信息和原始异常类型。
不同场景下的重抛示例
自定义异常类型的重抛
对于自定义异常类型，不带表达式的throw同样可以保留原始信息：
#include <iostream>
#include <exception>
#include <cstring>
// 自定义异常类型
class MyException : public std::exception {
private:
char msg[128];
public:
MyException(const char* message) {
strncpy(msg, message, sizeof(msg) - 1);
msg[sizeof(msg) - 1] = ' ';
}
const char* what() const noexcept override {
return msg;
}
};
void innerFunc() {
throw MyException("自定义异常原始信息");
}
void outerFunc() {
try {
innerFunc();
} catch (const MyException& e) {
std::cout << "outerFunc捕获到异常：" << e.what() << std::endl;
// 重新抛出自定义异常，保留原始信息
throw;
}
}
int main() {
try {
outerFunc();
} catch (const MyException& e) {
std::cout << "main捕获到异常：" << e.what() << std::endl;
}
return 0;
}
捕获所有异常后的重抛
如果需要捕获所有类型的异常再做重抛，可以使用catch(...)块配合throw;实现：
#include <iostream>
#include <stdexcept>
void func() {
throw std::logic_error("逻辑错误");
}
int main() {
try {
func();
} catch (...) {
std::cout << "捕获到未知类型异常，准备重抛" << std::endl;
// 捕获所有异常后重新抛出，保留原始信息
throw;
}
return 0;
}
注意事项
- 不带表达式的
throw;只能用在catch块或者catch块调用的函数中，如果在其他位置使用会导致程序调用std::terminate终止。 - 如果catch块中捕获的是异常对象的拷贝而不是引用，使用
throw;重抛的依然是当前catch块中的拷贝对象，不会回到最初的异常对象，因此建议catch时尽量使用引用捕获异常。 - 重新抛出异常的调用栈信息是否保留，和编译器实现有关，但是异常的类型和携带的用户自定义信息一定会被完整保留。
总结：C++中重新抛出异常的保留原始信息的关键是使用不带表达式的throw;语句，避免在catch块中使用带表达式的throw抛出拷贝后的异常对象，同时尽量使用引用捕获异常，确保原始信息不丢失。