🎬 个人主页：HABuo
📖 个人专栏：《C++系列》《Linux系列》《数据结构》《C语言系列》《Python系列》《YOLO系列》
⛰️ 如果再也不能见到你，祝你早安，午安，晚安
目录
前言：
C++ 中的异常处理是一种用于处理运行时错误的技术，它允许程序在遇到错误时能够优雅地恢复或退出，同时提供错误的详细信息。异常处理主要涉及三个关键字：try、catch 和 throw。此外，C++ 标准库提供了一系列异常类，但是C++库中的异常类写的不好，被人所诟病，一般公司里面都有一套自己的异常体系。今天这篇博客我们就来了解一下C++中的异常处理。
本章重点:
本篇文章着重讲解C++异常处理的方式,三个关键字,tyr,catch,throw,并且介绍异常的用法和自定义体系的异常以及智能指针在异常处理中的使用场景.其中,会复习C语言异常处理的方式
📚一、C语言处理异常的方式
最经典的处理方式:使用assert
assert的缺陷：
我们在C语言中经常使用这个关键字，但是你注意到没有，我们是在debug版本使用的欸，所以assert在release模式下会失效，并且即使在debug模式下只要有错误就会直接终止程序,这明显不符合实际,比如说在使用微信时,由于网络问题信息没发出去,这时直接将微信程序终止了,这样做会被乱棍打死!
错误码返回异常信息
错误码errno的缺陷:
返回的错误码是一个数字,程序员还需去查表来得知这个错误码是什么意思,并且就算查找了错误码的信息,可能它说的不清楚,也不好看错误信息，如果调用的函数栈很深，一层层返回错误码，整个处理很难受
所以既然你不好，那咱就换一个，所以C++有一套自己的异常处理方式!
📚二、异常处理的基本概念
📖2.1 什么是异常
当一个函数发现自己无法处理的错误时就可以抛出异常，让函数直接或间接的调用者处理这个错误。
throw:当问题出现时，程序会抛出一个异常。这是通过使用 throw 关键字来完成的catch:在您想要处理问题的地方，通过异常处理程序捕获异常.catch 关键字用于捕获异常try:try 块中的代码标识将被激活的特定异常,它后面通常跟着一个或多个 catch 块。
📖2.2 异常使用语法
-
使用
try块来包裹可能会抛出异常的代码。 -
使用
throw来抛出一个异常。可以抛出任意类型的对象，但通常建议使用标准异常类或自定义异常类（继承自标准异常类）。 -
使用
catch块来捕获并处理异常。catch块可以指定捕获的异常类型，也可以使用省略号...来捕获所有异常。
try{
int a,b;
cin>>a>>b;
if(b == 0)
throw "除0错误"
cout<<(a/b)<<endl;
}
catch(string str)
{
//......
}如果有一个块抛出一个异常，捕获异常的方法会使用 try 和 catch 关键字。try 块中放置可能抛出异常的代码，try 块中的代码被称为保护代码,一旦throw后,会直接跳到catch的位置,后面的代码不会执行
📖2.3 异常的抛出和匹配原则
异常的抛出和匹配有以下机制:
抛出的内容和捕捉的内容要一致
如果你在throw时抛出一个字符串，但是在catch捕获异常时的参数却写的是整数，那么这个抛出的异常就不会去这个catch
namespace hab {
int div(int x, int y)
{
if (y == 0)
{
throw string("发生除0错误");// throw 可以抛出任意类型的对象
//直接跳转到catch匹配的地方
}
return x / y;
}
};
int main()
{
try {
int n, m;
cin >> n >> m;
cout << hab::div(n, m) << endl;
}
catch (int err) {//不匹配这个跳转到下一个catch语句
cout << err << endl;
}
catch (const string& err) {
cout << err << endl;
}
return 0;
}try可以嵌套多层
try和catch不仅仅可以在一个作用域使用,还可以在最外层try,然后嵌套多层函数,在最里面的函数throw!
void a(){throw "测试中";}
void b(){a();}
void c(){b();}
int main()
{
try{
c();
}
catch(string str)
{}
}throw和catch遵循就近原则
若写了多个catch,并且这些catch都和throw的内容匹配，则会跳转到与throw最近的内个catch中!
double Division(int a, int b)
{
// 当b == 0时抛出异常
if (b == 0)
throw "除0错误!";
else
return ((double)a / (double)b);
}
void Func()
{
try {
int len, time;
cin >> len >> time;
cout << Division(len, time) << endl;
}
catch (const char* errmsg){//这个catch与throw相距最近,会优先到这儿
cout << errmsg << "111" << endl;
}
}
int main()
{
try {
Func();
}
catch (const char* errmsg){
cout << errmsg << "222" << endl;
}
return 0;
}
catch(...)可以捕获任意类型的异常
在公司写大工程的时候,会和很多同事合作写代码,大家都会抛出异常,但是你不能确定是不是所有人抛出的类型你都有相应的catch可以接收,若抛出一个异常没有被捕获会直接报错,所以…的作用很明显,用来兜底!一般用于接收一些未知异常
double Division(int a, int b)
{
if (b == 0)
throw "除0错误!";
else
return ((double)a / (double)b);
}
void Func()
{
int len, time;
cin >> len >> time;
cout << Division(len, time) << endl;
catch (const char* errmsg） {
cout << errmsg << "111" << endl;
}
}
int main()
{
try {
Func();
}
catch (const char* errmsg） {
cout << errmsg << "222" << endl;
}
catch(...){
cout<<"未知异常"<<endl;
}
return 0;
}基类可以接受抛出的子类对象
抛出和捕获有一个例外,那就是可以抛出子类对象,用基类捕获,这个在实际场景中非常实用,我们会在后面详谈
📖2.4 异常的重新抛出
有可能在捕获异常时,一次捕获不能完全解决问题,比如我们想在main函数中处理所有的异常,在非main函数中处理一下其它事情，然后再将异常到main中统一做处理
double Division(int a, int b)
{
// 当b == 0时抛出异常
if (b == 0)
{
throw "Division by zero condition!";
}
return (double)a / (double)b;
}
void Func()
{
// 这里可以看到如果发生除0错误抛出异常，另外下面的array没有得到释放。
// 所以这里捕获异常后并不处理异常，异常还是交给外面处理，这里捕获了再
// 重新抛出去。
int* array = new int[10];
try {
int len, time;
cin >> len >> time;
cout << Division(len, time) << endl;
}
catch (...){
cout << "delete []" << array << endl;
delete[] array;
throw;
}
cout << "delete []" << array << endl;
delete[] array;
}
int main()
{
try{
Func();
}
catch (const char* errmsg){
cout << errmsg << endl;
}
return 0;
}
在上面的场景中,如果抛出异常,就会直接走到catch处,不会调用delete释放释放在堆上开辟的空间,就会有问题,所以第一次catch时先处理释放空间的问题然后将异常再次抛出后再处理异常问题
📖2.5 异常规范
这玩意也相当鸡肋，了解一下：
- 异常规格说明的目的是为了让函数使用者知道该函数可能抛出的异常有哪些。 可以在函数的后面接throw(类型)，列出这个函数可能抛掷的所有异常类型。
- 函数的后面接throw()，表示函数不抛异常。
- 若无异常接口声明，则此函数可以抛掷任何类型的异常。
// 这里表示这个函数会抛出A/B/C/D中的某种类型的异常
void fun() throw(A，B，C，D);
// 这里表示这个函数只会抛出bad_alloc的异常
void* operator new (std::size_t size) throw (std::bad_alloc);
// 这里表示这个函数不会抛出异常
void* operator delete (std::size_t size, void* ptr) throw();
// C++11 中新增的noexcept，表示不会抛异常
thread() noexcept;
thread (thread&& x) noexcept;
📚三、RAII思想在异常体系中的使用
相信，RAII思想是什么，在你的大脑中产生了大大的疑问，我们将在下一篇博客中详细介绍它，先不着急，我们先见见猪跑。
在异常体系中在堆上申请空间，或者打开某个问题时常容易出问题，因为堆上开辟的空间要显示调用delete处理而打开的文件也要显示调用fclose关闭所以一旦发生异常就会直接跳转到catch的位置，有可能直接忽略了释放函数这也就是导致了资源并没有被释放！这就导致了内存泄漏的问题！
在异常体系中最好使用RAII思想申请资源，即使抛出异常后直接跳到catch也没问题，当出了对象作用域会自动调用析构释放!
double Division(int a, int b)
{
// 当b == 0时抛出异常
if (b == 0)
{
throw "Division by zero condition!";
}
return (double)a / (double)b;
}
void Func()
{
shared_ptr<int> array(new int(10));
try {
int len, time;
cin >> len >> time;
cout << Division(len, time) << endl;
}
}
int main()
{
try{
Func();
}
catch (const char* errmsg){
cout << errmsg << endl;
}
return 0;
}
📚四、自定义异常体系
实际使用中很多公司都会自定义自己的异常体系进行规范的异常管理，因为一个项目中如果大家随意抛异常，那么外层的调用者基本就没办法玩了，所以实际中都会定义一套继承的规范体系。这样大家抛出的都是继承的派生类对象，捕获一个基类就可以了
不同的部分可以抛出不同的异常,然后在总的main函数中使用基类捕获所有的异常再来进行特殊的处理
📚五、C++标准库的异常体系
C++标准库中的异常体系相当鸡肋，一般公司里都有自己的一套异常体系，这部分内容大家了解即可。
下表是对上面层次结构中出现的每个异常的说明：
📚六、总结
异常的优缺点（重要有可能被当作面试问题）：
| 优点 | 缺点 |
|---|---|
| 1. 清晰的包含错误信息 | 1. 异常会导致执行流乱跳，给调试分析程序bug带来困难 |
2. 对于 T operator[] (int i) 这类函数越界错误，异常可以很好地处理 | 2. C++没有GC，异常可能导致资源泄露，需使用RAII解决 |
| 3. 多层调用时，内层发生错误不需要层层处理，外层直接捕获即可 | 3. C++标准库中的异常体系定义不太好用，很多公司选择自定义 |
| 4. 便于与使用异常的第三方库（如 Boost、GTest、GMock）集成 | 4. C++允许抛出任意类型异常，若无规范管理易造成混乱，通常需要建立继承体系的异常规范 |
异常整体而言利大于弊，但在日常练习或小项目中较少使用；公司项目中通常会选择使用异常来处理错误。
扫一扫
2万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
