咱们一起学C++ 第三百零四篇C++异常处理的进阶要点与实践-CSDN博客

咱们一起学C++ 第三百零四篇C++异常处理的进阶要点与实践

一、携手探索C++异常处理进阶知识

大家好！在C++的学习之旅中，异常处理是保障程序稳定运行的关键环节。之前我们已经了解了异常处理的基础，今天咱们一起深入探索异常处理的进阶知识，共同进步。掌握这些内容，能让我们在编写程序时更好地应对各种错误情况，提升程序的质量和可靠性。

二、异常匹配：精准捕获异常的关键

（一）异常匹配的规则

在C++的异常处理中，异常匹配就像是一把钥匙找对应的锁。当程序抛出一个异常时，异常处理系统会按照源代码中catch块出现的顺序，从近到远查找能处理这个异常的catch块。一旦找到匹配的catch块，就认为异常被处理了，不再继续查找。
异常匹配并不要求异常对象和catch块中的参数类型完全一致。比如，派生类对象或者指向派生类对象的引用，都可以和基类的catch块匹配。这就好比一把派生类的“钥匙”，也能打开基类的“锁”。不过，如果catch块是按值捕获异常对象（而不是引用），那么派生类对象在传递给catch块时，会被“切割”成基类对象，派生类中特有的信息就会丢失。所以，为了避免这种情况，通常通过引用而不是值来捕获异常。
举个例子，假设我们有一个基类Animal和一个派生类Dog：

#include <iostream>
class Animal {};
class Dog : public Animal {};
void throwDog() {
 throw Dog();
}
int main() {
 try {
 throwDog();
 } catch (Animal& a) {
 std::cout << "捕获到Animal类型的异常（可以捕获Dog类型，因为Dog是Animal的派生类）" << std::endl;
 } catch (Dog& d) {
 std::cout << "捕获到Dog类型的异常" << std::endl;
 }
 return 0;
}

在这个例子中，throwDog函数抛出一个Dog对象。在main函数的try - catch结构中，catch (Animal& a)这个块可以捕获Dog类型的异常，因为Dog是Animal的派生类。如果有多个catch块，异常处理系统会按照顺序查找，先找到catch (Animal& a)就执行它里面的代码，后面的catch (Dog& d)就不会执行了。

（二）捕获所有异常

有时候，我们希望有一个“万能”的catch块，能捕获所有类型的异常。在C++中，可以用省略号...来实现：

#include <iostream>
void mayThrowException() {
 // 这里假设会抛出不同类型的异常，具体情况根据实际代码逻辑
 throw 1; 
}
int main() {
 try {
 mayThrowException();
 } catch (...) {
 std::cout << "捕获到了某个异常" << std::endl;
 }
 return 0;
}

在这个例子里，catch (...)可以捕获mayThrowException函数抛出的任何类型的异常。但要注意，这种“全能捕获者”最好放在catch块列表的最后，不然会把后面更具体的catch块“架空”，导致它们永远不会被执行。而且，省略号异常处理器无法获取异常的具体信息，不知道捕获的异常到底是什么类型。它通常用于在捕获异常后进行一些通用的资源清理操作，然后重新抛出异常，让更上层的代码去处理。

三、重新抛出异常：灵活处理异常的手段

（一）为什么要重新抛出异常

在程序运行过程中，有些情况下我们在捕获异常后，需要先进行一些资源清理工作，比如关闭网络连接、释放堆内存等，然后把异常交给更上层的代码去处理。这时候就需要重新抛出异常。
例如，在一个网络通信程序中，当发送数据时发生异常，我们可能需要先关闭已经建立的网络连接，然后让调用这个发送函数的上层代码知道发生了错误，以便进行更合适的处理。

（二）重新抛出异常的实现

在C++中，重新抛出异常很简单，在catch块里使用不带参数的throw语句就行。看下面这个例子：

#include <iostream>
#include <memory>
void innerFunction() {
 throw std::runtime_error("内部函数抛出的异常");
}
void outerFunction() {
 try {
 innerFunction();
 } catch (const std::runtime_error& e) {
 // 可以在这里进行资源清理操作，比如释放智能指针管理的内存
 std::cout << "捕获到内部函数的异常，进行一些清理工作" << std::endl;
 throw; 
}
}
int main() {
 try {
 outerFunction();
 } catch (const std::runtime_error& e) {
 std::cerr << "最终捕获到异常: " << e.what() << std::endl;
 }
 return 0;
}

在这个例子中，innerFunction抛出一个std::runtime_error异常。outerFunction捕获到这个异常后，先进行了一些清理工作（这里只是简单输出提示信息），然后使用throw重新抛出异常。这样，异常就会继续向上层传递，最终在main函数中被捕获并处理。通过这种方式，我们可以在不同的层次对异常进行处理，使程序的异常处理逻辑更加灵活。

四、异常处理的实践建议

（一）合理组织catch块顺序

在编写try - catch结构时，要合理安排catch块的顺序。通常先捕获派生类异常，再捕获基类异常。因为派生类异常更具体，如果先捕获基类异常，那么派生类异常就会被基类的catch块先捕获，导致后面专门处理派生类异常的catch块永远不会被执行。

（二）避免过度使用省略号捕获异常

虽然省略号捕获异常很方便，但不要过度使用。因为它无法获取异常的具体信息，不利于精准定位和处理问题。只有在确实不知道会抛出什么类型的异常，或者需要进行通用的资源清理时，才使用省略号捕获异常。

五、总结与期待

今天我们学习了C++异常处理中的异常匹配、捕获所有异常以及重新抛出异常等进阶知识。这些内容在实际编程中非常重要，希望大家通过不断练习，熟练掌握这些技巧，提高程序的稳定性和健壮性。
写作不易，如果这篇博客对你学习C++有所帮助，希望你能关注我的博客，点赞并评论。你的支持是我持续创作的动力，让我们一起在C++的学习道路上继续前行，探索更多的编程奥秘！