咱们一起学C++ 第三百零五篇深入理解C++异常处理的后续机制-CSDN博客

咱们一起学C++ 第三百零五篇深入理解C++异常处理的后续机制

一、写在前面：共同攻克C++异常处理难题

大家好！在C++的学习道路上，异常处理是一个至关重要的部分，它能帮助我们的程序更稳健地运行。今天，咱们继续深入探讨C++异常处理的一些后续机制，希望通过分享和交流，我们能一起掌握这些知识，提升编程技能。

二、重新抛出异常与异常传递

（一）重新抛出异常的应用场景

在C++异常处理中，重新抛出异常是一个很实用的技巧。有时候，我们在捕获异常后，发现当前的代码块无法完全处理这个异常，需要将其传递给更上层的代码来处理，但在传递之前，又需要进行一些必要的操作，比如释放资源。这时候，重新抛出异常就派上用场了。
例如，在一个文件操作的程序中，我们打开了一个文件进行读写操作，在操作过程中可能会抛出异常。当捕获到异常时，我们需要先关闭文件，然后再把异常传递给上层代码，让上层代码决定如何处理这个错误。下面是一个简单的示例：

#include <iostream>
#include <fstream>
void readFile() {
 std::ifstream file("nonexistent_file.txt");
 if (!file) {
 throw std::runtime_error("无法打开文件");
 }
 // 文件操作代码，这里省略
 file.close();
}
void processFile() {
 try {
 readFile();
 } catch (const std::runtime_error& e) {
 // 在这里可以进行一些资源清理工作，比如关闭其他相关资源
 std::cerr << "捕获到异常，进行资源清理..." << std::endl;
 throw; // 重新抛出异常
 }
}
int main() {
 try {
 processFile();
 } catch (const std::runtime_error& e) {
 std::cerr << "最终捕获到异常: " << e.what() << std::endl;
 }
 return 0;
}

在这个例子中，readFile函数在无法打开文件时抛出异常。processFile函数捕获到异常后，先进行了一些资源清理工作（这里只是简单输出提示信息），然后使用throw重新抛出异常。这样，异常就会传递到main函数中进行最终处理。

（二）异常传递的过程

当一个异常被抛出后，如果当前的try - catch结构没有匹配的catch块来处理它，异常就会向上层语境传递，也就是传递给调用当前函数的上层函数中的try - catch结构。这个过程会一直持续，直到找到一个能够匹配该异常的catch块为止。如果一直没有找到匹配的catch块，就会触发terminate()函数。

三、异常未捕获的处理机制

（一）terminate()函数的作用

如果程序中没有任何一个catch块能够捕获抛出的异常，那么terminate()函数就会被自动调用。terminate()函数在<exception>头文件中定义，默认情况下，它会调用标准C库函数abort()，导致程序异常终止。这就好比程序遇到了一个无法解决的大麻烦，只能选择“罢工”。
在Unix系统中，abort()函数还会导致主存储器信息转储（core dump），这有助于开发人员分析程序崩溃的原因。当abort()被调用时，程序不会调用正常的终止函数，全局对象和静态对象的析构函数也不会执行。除了未捕获异常的情况，terminate()函数在以下两种情况下也会执行：一是局部对象的析构函数抛出异常时，栈正在进行清理工作（栈反解）被打断；二是全局对象或静态对象的构造函数或析构函数抛出异常。

（二）set_terminate()函数的使用

我们可以使用set_terminate()函数来设置自己的terminate()函数。set_terminate()函数返回被替换的指向terminate()函数的指针，这样我们就可以在需要的时候恢复原来的terminate()函数。自定义的terminate()函数不能有参数，返回值类型必须是void，而且它不能返回也不能抛出异常，只能执行某种程序终止逻辑。
下面是一个使用set_terminate()函数的示例：

#include <exception>
#include <iostream>
void myTerminate() {
 std::cerr << "自定义的terminate函数被调用，程序出现严重错误！" << std::endl;
 // 可以在这里进行一些日志记录等操作
 std::abort();
}
int main() {
 // 设置自定义的terminate函数
 std::terminate_handler oldHandler = std::set_terminate(myTerminate);
 try {
 // 这里故意抛出一个未捕获的异常
 throw std::runtime_error("未捕获的异常");
 } catch (...) {
 std::cerr << "捕获到异常" << std::endl;
 }
 // 恢复原来的terminate函数（这里其实不会执行到，只是演示用法）
 std::set_terminate(oldHandler);
 return 0;
}

在这个例子中，我们定义了一个myTerminate函数作为自定义的terminate()函数。在main函数中，使用std::set_terminate(myTerminate)设置自定义的terminate()函数。当抛出一个未捕获的异常时，就会调用myTerminate函数，输出错误信息并终止程序。

四、析构函数与异常

在C++中，一般不允许析构函数抛出异常。因为在异常处理过程中，栈会进行清理工作，释放局部对象。如果析构函数抛出异常，就会打断栈的清理过程，导致程序调用terminate()函数。这会使得程序的行为变得不可预测，可能会导致资源泄漏等问题。
例如，下面这个类的析构函数抛出异常，就会引发问题：

#include <iostream>
class ProblematicClass {
public:
 ~ProblematicClass() {
 throw std::runtime_error("析构函数抛出异常");
 }
};
int main() {
 try {
 ProblematicClass obj;
 } catch (...) {
 std::cerr << "捕获到异常" << std::endl;
 }
 return 0;
}

在这个例子中，ProblematicClass的析构函数抛出异常，尽管main函数中有catch (...)块，但仍然会调用terminate()函数，因为在处理异常时，obj的析构函数抛出的异常打断了栈的清理过程。所以，在编写析构函数时，要确保不会抛出异常，以保证程序的稳定性。

五、总结与期待

今天我们深入学习了C++异常处理的重新抛出异常、异常传递、未捕获异常处理以及析构函数与异常的关系等知识。这些内容对于编写健壮的C++程序非常重要，希望大家在实际编程中能够灵活运用，避免常见的错误。
写作这篇博客花费了我不少时间和精力，如果它对您学习C++有所帮助，希望您能关注我的博客，点赞并评论。您的支持是我持续创作的动力，让我们一起在C++的学习道路上不断前进，探索更多的编程奥秘！