
🌟🌟作者主页:ephemerals__****
🌟🌟所属专栏:C++
目录
前言
在C++项目开发中,**异常处理(Exception Handling)**是确保程序稳定性和可靠性的重要机制。无论是文件读取失败、内存分配错误,还是网络请求超时,程序运行过程中总会遇到各种意外情况。如果没有合理的异常处理,程序可能会崩溃,导致数据丢失或系统故障,严重影响用户体验。通过C++的异常处理机制,开发者可以在错误发生时优雅地捕获并处理异常,避免程序意外终止,同时提供必要的错误信息以便调试和优化。本篇文章,作者将介绍C++的异常处理基础、常见用法及最佳实践,帮助大家构建更健壮的C++应用程序。
一、什么是异常
当程序在运行过程中出现问题,没有达到理想效果时,异常可以帮助我们对这些问题进行通信并做出相应的处理,将问题的检测与解决问题的过程分离开,更好地应对大型项目可能出现的各种情况。
相比于C语言处理错误的方式--返回错误码,我们在c++中,遇到异常时可以抛出一个对象,该对象所携带的错误信息可以更加全面。
二、异常的使用
当程序没有达到我们想要的效果时,我们可以使用throw抛出一个对象来引发一个异常,该对象的类型决定了异常捕获的位置。
示例代码:
cpp
#include <iostream>
using namespace std;
void func()
{
try
{
int x = 0;
cout << "input x:";
cin >> x;
if (x == 0)//假设x为0视为出现异常
{
throw "输入错误";
}
cout << "正常" << endl;
}
catch (const char* s)
{
cout << s << endl;
}
}
int main()
{
func();
func();
return 0;
}
运行结果:

当我们使用throw抛出异常时,程序会检查throw语句是否在try语句块中,如果在,则去寻找对应的catch语句(参数与对象类型相同),然后停止执行throw后的语句,转而执行catch语句块中的语句,然后执行后续代码。
注:如果throw语句未使用在try语句块中,程序会遇到"未捕获异常",导致程序终止。
如果当前catch语句的参数与抛出的对象类型不匹配呢?
来看以下代码:
cpp
#include <iostream>
using namespace std;
void func3()
{
try
{
int x = 0;
if (x == 0)
{
throw x;
}
}
catch (float a)
{
cout << "func3" << endl;
}
}
void func2()
{
try
{
func3();
}
catch (int x)
{
cout << "func2" << endl;
}
}
void func1()
{
try
{
func2();
}
catch (int x)
{
cout << "func1" << endl;
}
}
int main()
{
try
{
func1();
}
catch (char c)
{
cout << "main" << endl;
}
return 0;
}
上述代码中,main函数调用func1函数,func1函数调用func2函数,func2函数调用func3函数。func3抛出一个类型为int的异常,很明显,与catch的float类型不匹配。此时程序会沿着整个调用链依次查找catch,直到找到匹配的类型,再执行相应catch语句。
我们看下运行结果:

可以看到,func2捕获了异常。这里虽然func1的catch语句的参数也为int,但是程序沿着调用链查找时,还没有查找到fun1的位置。所以被执行的catch语句块是在调用链中与抛出对象匹配且距离最近的那一个。程序沿着调用链进行查找的过程称之为栈展开。
那么如果调用链中所有的catch参数类型都与抛出对象不匹配呢?那么程序会调用标准库中的terminate函数,进而终止程序。但在大型项目中,不发生严重错误的情况下,我们不希望程序终止,所以一般会在main函数中写一个最终捕获(catch(...)),它可以捕获任意类型的异常。
cpp
int main()
{
try
{
func1();
}
catch (...)//最终捕获
{
//...
}
}
注意:如果throw匹配到了调用链中其他函数的catch语句,那么沿着该调用链中没有匹配到的函数,其栈帧都将销毁:

由于本函数内catch匹配失败会导致栈帧销毁,所以throw抛出的对象其实是一份拷贝,该拷贝对象会在匹配成功的catch语句块结束之后销毁。(类似于函数传值返回)
三、catch语句匹配的特例
除了要求类型相同之外,catch在一些其他情况也允许参数匹配,例如:
-
普通对象--被const对象捕获
-
数组--被数组元素类型的指针捕获
-
函数--被指向同类型函数的指针捕获
-
派生类--被基类捕获(非常实用)
四、异常的重新抛出
有些时候的异常在抛出之后,需要进行一些矫正,再交给调用链中其他函数的catch去处理。这时我们就可以在本函数当中先捕获该异常,待处理完成之后,再次抛出该异常。
示例代码:
cpp
void func()
{
try
{
int x = 0;
//...
throw x;//抛出异常
}
catch (const char* s)
{
//进行一些操作之后再次抛出该异常,交给其他catch捕获处理
throw;
}
}
五、异常安全问题
有时我们动态申请了某些资源,但可能因为抛出异常,未执行后续资源清理的代码而导致内存泄漏、 死锁 或文件未关闭的问题。此时可以在本函数中使用最终捕获,先接收任意类型异常,处理资源清理问题,最后重新抛出该异常。
对于更复杂的情况:如申请多个资源,其中因一个资源抛出异常,但最终捕获又释放了所有资源;另一个资源抛出异常,最终捕获又进行多次释放等等。这时考虑使用智能指针(博主会在后续文章中介绍)。
六、异常规范
实际开发中,预先知道某个函数是否会抛出异常 很有好处,方便处理。我们在函数参数列表之后加入C++11关键字noexcept,表示该函数不会抛出异常。如果函数抛出了异常,会导致程序终止。
注意:并不会在编译时检查noexcept函数是否带有throw语句,而是在程序运行时按照是否真的抛出了异常来进行判断。
noexcept(expression)也可以检查一个表达式(或函数,传入函数地址)是否可能抛出异常,如果可能,返回false,否则返回true。
七、标准库异常体系
c++标准库定义了一套自己的异常体系库,包含在头文件<exception>中。

标准异常体系库查阅:exception - C++ Reference
我们需要使用它时,用基类exception捕获异常,然后调用what()函数打印错误信息即可。
示例代码:
cpp
#include <iostream>
#include <exception>
using namespace std;
int main()
{
try
{
int x = 0;
cin >> x;
if (x == 0)
{
throw exception("输入错误");
}
cout << "正常" << endl;
}
catch (exception& e)
{
cout << e.what() << endl;
}
return 0;
}
运行结果:

总结
本篇文章,我们主要学习了异常的使用方法及其处理机制。相比c语言错误码的方式,c++的异常可以更加全面地处理程序出现的问题。但异常也有些缺点,例如造成程序执行混乱,内存泄漏等等。之后博主会和大家介绍c++的智能指针,它可以解决异常容易造成内存泄漏的问题。如果你觉得博主讲的还不错,就请留下一个小小的赞在走哦,感谢大家的支持❤❤❤