【C++】异常
文章目录
- 一、C语言传统的处理错误的方式
- 二、异常的概念
- 三、异常的使用
-
- 1. 异常的抛出与捕获
- 2. 异常的重新抛出
- 3. 异常安全
- 4. 异常规范
- 四、自定义异常体系
- 五、C++标准库的异常体系
- 六、异常的优缺点
一、C语言传统的处理错误的方式
传统的错误处理机制：
终止程序，如assert，缺陷：用户难以接受，如发生内存错误，除0错误时就会终止程序。返回错误码，缺陷：需要程序员自己去查找对应的错误如系统的很多库的接口函数都是通过把错误码放到errno中，表示错误。
实际中C语言基本都是使用返回错误码的方式处理错误，部分情况下使用终止程序处理非常严重的
错误
二、异常的概念
异常是一种处理错误的方式，当一个函数发现自己无法处理的错误时就可以抛出异常，让函数的
直接或间接的调用者处理这个错误。
throw：当问题出现时，程序会抛出一个异常。这是通过使用 throw 关键字来完成的。catch：在您想要处理问题的地方，通过异常处理程序捕获异常catch 关键字用于捕获异
常，可以有多个catch进行捕获。try: try 块中的代码标识将被激活的特定异常,它后面通常跟着一个或多个 catch 块。
如果有一个块抛出一个异常，捕获异常的方法会使用 try 和 catch 关键字。try 块中放置可能抛
出异常的代码，try 块中的代码被称为保护代码。使用 try / catch 语句的语法如下所示：
try
{
// 保护的标识代码
}catch( ExceptionName e1 )
{
// catch 块
}catch( ExceptionName e2 )
{
// catch 块
}catch( ExceptionName eN )
{
// catch 块
}
三、异常的使用
1. 异常的抛出与捕获
异常的抛出和匹配原则
- 异常是通过抛出对象而引发的，该对象的类型决定了应该激活哪个catch的处理代码。
- 被选中的处理代码是调用链中与该对象类型匹配且离抛出异常位置最近的那一个。
- 抛出异常对象后，会生成一个异常对象的拷贝，因为抛出的异常对象可能是一个临时对象，
所以会生成一个拷贝对象，这个拷贝的临时对象会在被catch以后销毁。（这里的处理类似
于函数的传值返回） catch(...)可以捕获任意类型的异常，问题是不知道异常错误是什么。- 实际中抛出和捕获的匹配原则有个例外，并不都是类型完全匹配，可以抛出的派生类对象，
使用基类捕获，这个在实际中非常实用，我们后面会详细讲解这个。
在函数调用链中异常栈展开匹配原则
- 首先检查throw本身是否在try块内部，如果是再查找匹配的catch语句。如果有匹配的，则
调到catch的地方进行处理。 - 没有匹配的catch则退出当前函数栈，继续在调用函数的栈中进行查找匹配的catch。
- 如果到达main函数的栈，依旧没有匹配的，则终止程序。 上述这个沿着调用链查找匹配的
catch子句的过程称为栈展开。所以实际中我们最后都要加一个catch(…)捕获任意类型的异
常，否则当有异常没捕获，程序就会直接终止。 - 找到匹配的catch子句并处理以后，会继续沿着catch子句后面继续执行。
下面我们来举一个例子：
double Division(int a, int b)
{
//当b==0时抛出异常
if (b == 0)
throw"Division by zero condition!";
else
return (double)a / (double)b;
}
void Func()
{
int len, time;
cin >> len >> time;
cout << Division(len, time) << endl;
}
int main()
{
try {
Func();
}
catch (const char* str)
{
cout << str << endl;
}
return 0;
}
如图，程序的调用逻辑是
main->Func-> Division，当Division抛出异常时，由于Division本身不在try块中，而 Func 函数中也没有，所以异常会继续到 main 函数中查找；同时，由于 division 函数抛出的异常的类型为 string，所以它会匹配 const char* str的 catch 块。
注意：如果 division 中抛出了异常，而 division 本身及其上层的函数都没有对异常进行捕获，即没有 try/catch 语句；或者说有 try/catch 语句但是没有与抛出类型匹配的 catch 块，程序都会直接终止：
实际中抛出和捕获的匹配原则有个例外，并不都是类型完全匹配，可以抛出派生类对象，然后使用基类的引用捕获，这个在实际中非常实用，具体做法我们会在下文给出例子。
2. 异常的重新抛出
程序直接抛出异常可能会导致发生一些意想不到的错误，比如内存泄露，因为程序抛出异常后会直接跳转到对应 catch 块处理异常，处理完毕后也会直接执行 catch 块后面的代码，而不会回来继续执行抛出异常位置后面的代码；如下 ：
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];
int len, time;
cin >> len >> time;
cout << Division(len, time) << endl;
cout << "delete []" << array << endl;
delete[] array;
}
int main()
{
try
{
Func();
}
catch (const char* errmsg)
{
cout << errmsg << endl;
}
catch (...)
{
cout << "Unkown Exception" << endl;
}
return 0;
}
我们可以直接在 Division 函数中处理异常并释放资源，但我们通常会选择捕获异常后不处理异常，只释放资源，然后将异常重新抛出，这样可以使得程序的异常都在某一个地方集中进行捕获，方便记录日志与集中处理；如下：
void Func()
{
// 这里可以看到如果发生除0错误抛出异常，另外下面的array没有得到释放。
// 所以这里捕获异常后并不处理异常，异常还是交给外面处理，这里捕获了再
// 重新抛出去。
int* array = new int[10];
int len, time;
cin >> len >> time;
try
{
cout << Division(len, time) << endl;
}
catch (...) // 异常的重新抛出
{
cout << "delete []" << array << endl;
delete[] array;
throw; // 捕到什么抛什么
}
cout << "delete []" << array << endl;
delete[] array;
}
因为我们要实现捕获异常释放资源重新抛出就需要写多个不同参数类型的 catch 块，这显然很麻烦，所以 C++ 还支持捕获与抛出任意类型的异常，实际中通常我们都会在最后加一个 catch(…) 来捕获任意类型的异常，以此来处理未知异常，放在程序被直接终止。
3. 异常安全
构造函数完成对象的构造和初始化，最好不要在构造函数中抛出异常，否则可能导致对象不
完整或没有完全初始化。析构函数主要完成资源的清理，最好不要在析构函数内抛出异常，否则可能导致资源泄漏(内
存泄漏、句柄未关闭等)。C++中异常经常会导致资源泄漏的问题，比如在new和delete中抛出了异常，导致内存泄
漏，在lock和unlock之间抛出了异常导致死锁，C++经常使用RAII来解决以上问题，关于RAII
我们在后面的智能指针一节中会讲解。
4. 异常规范
异常规范中建议程序员对每个函数进行异常接口说明，其目的是让函数使用者知道该函数可能抛出的异常有哪些，如下：
// 这里表示这个函数会抛出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++98 函数异常接口只是建议性做法，而不是语法硬性要求的，由于写出一个函数可能抛出的所有异常比较麻烦，所以 C++98 的异常规范在实际开发中几乎没有人遵守，形同虚设；
为了让人们能够对函数进行异常接口说明，C++11 对异常接口说明进行了简化：
- 函数后面不加关键字
noexcept，表示该函数可能会抛出任意类型异常。 - 函数后面加关键字
noexcept，表示该函数不会抛异常。
// C++11 中新增的 noexcept，表示不会抛异常
thread() noexcept;
thread(thread&& x) noexcept;
注意： C++11 还对使用 noexcept 修饰的函数进行了检查，如果该函数被 noexcept 修饰，但是可能会抛出异常，则编译器会报一个警告,但并不影响程序的正确性：
四、自定义异常体系
实际使用中很多公司都会自定义自己的异常体系进行规范的异常管理，因为一个项目中如果大家随意抛异常，那么外层的调用者基本就没办法玩了，所以实际中都会定义一套继承的规范体系。这样大家抛出的都是继承的派生类对象，捕获一个基类就可以了。
//基类
class Exception
{
public:
Exception(int errid, const string& msg)
:_errid(errid)
, _errmsg(msg)
{}
virtual string what() const
{
return _errmsg;
}
int GetErrid() const
{
return _errid;
}
protected:
int _errid; // 错误码
string _errmsg; // 错误描述
};
//数据库查询子类
class SqlException : public Exception
{
public:
SqlException(int errid, const string& errmsg, string sql)
:Exception(errid, errmsg)
,_sql(sql)
{}
virtual string what() const
{
string msg = "SqlException:";
msg += _errmsg;
msg += "->";
msg += _sql;
return msg;
}
protected:
string _sql;
};
//缓存访问子类
class CacheException :public Exception
{
public:
CacheException(int errid, const string& errmsg)
:Exception(errid, errmsg)
{}
virtual string what()const
{
string msg = "CacheException:";
msg += _errmsg;
return msg;
}
};
//网络请求子类
class HttpServerException : public Exception
{
public:
HttpServerException(const string& errmsg, int id, const string& type)
:Exception(id, errmsg)
, _type(type)
{}
virtual string what() const
{
string msg = "HttpServerException：";
msg += _errmsg;
msg += "->";
msg += _type;
return msg;
}
private:
const string _type;
};
//SQL查询
void SQLMgr()
{
srand(time(0));
if (rand() % 7 == 0)
{
throw SqlException(100, "权限不足", "select * from name = '张三'");
}
cout << "调用成功" << endl;
}
//缓存访问
void CacheMgr()
{
srand(time(0));
if (rand() % 5 == 0)
{
throw CacheException(100, "权限不足");
}
else if (rand() % 6 == 0)
{
throw CacheException(101, "数据不存在");
}
SQLMgr();
}
//网络请求
void HttpServer()
{
// 模拟服务出错
srand(time(0));
if (rand() % 3 == 0)
{
throw HttpServerException("请求资源不存在", 100, "get");
}
else if (rand() % 4 == 0)
{
throw HttpServerException("权限不足", 101, "post");
}
CacheMgr();
}
int main()
{
while (1)
{
this_thread::sleep_for(chrono::seconds(1));
try
{
HttpServer();
}
catch (const Exception& e) // 这里捕获父类对象就可以
{
// 多态
cout << e.what() << endl;
}
catch (...)
{
cout << "Unkown Exception" << endl;
}
}
return 0;
}
这里的子类都重写了父类的 what 方法，通过 what 方法，返回自己的错误编号、错误描述信息以及该类特有的一些信息，比如属于哪一类异常，比如 SQL 查询语句和网络请求类型；
三个函数 SQLMgr、CacheMgr 和 HttpServer，分别对应 SQL 查询、缓存访问和网络请求，这些函数都可能会抛出异常，例如权限不足、数据不存在等。在主函数中使用了 try-catch 语句来捕获这些异常，如果捕获到了异常，则调用 e.what() 方法输出具体的异常信息。函数的调用逻辑是 main ->HttpServe -> CacheMgr -> SQLMgr。
这里我们需要注意两点：
- 为什么在 main 函数中调用父类对象的 what 方法就可以捕获其他三个子类的异常对象，并且输出的还是对应子类的异常信息？这是因为父类中 what 是虚函数，而所有的子类都对 what 进行了重写；同时，main 函数中的 catch 的形参是父类类型的引用；当捕获到子类的对象时这里就会触发多态，去调用子类对象中的 what 方法。
- 为什么要用一个变量来表示错误编号？这是为了方便对不同异常进行分类，从而对某些异常进行特殊处理；比如，当我们坐火车发送消息时，由于火车信号不好，经常会网卡，所以就很可能导致本次 http 请求失败抛出异常；但是对于这种异常我们需要间隔一定时间再次发起 http 网络请求，因为此刻信号说不定又能够支持我们发送消息了。这就是为什么当网络不好时使用qq/微信发送消息会有一个圆圈一直在转。
上面这样来设计异常处理程序，我们可以在程序出错时可以快速定位问题，特别是在复杂的系统中，异常往往是难以避免的。通过准确地捕获异常，我们可以及时发现错误并进行修复，提高程序的稳定性和可靠性。同时，将不同类型的异常分别封装为不同的子类，也可以更加清晰地表达异常的类型和具体信息，为后续的维护和优化带来方便。
五、C++标准库的异常体系
C++ 提供了一系列标准的异常，定义在 exception 中，我们可以在程序中使用这些标准的异常；它们是以父子类层次结构组织起来的，如下所示：
其中，我们比较常见类有 bad_alloc – new 空间失败时抛出此异常；runtime_error – 一些运行时错误，比如除0错误，空指针解引用等；out_of_range – 通常是越界访问；overflow_error – 通常是栈溢出。
虽然我们可以直接使用 C++ 标准提供的这些异常，也可以去继承 exception 类来实现自己的异常类，但在实际开发中很多企业都会像上面一样自己定义一套单独的异常继承体系，因为C++标准库设计的不够好用。再加上我们平时自己写代码基本不会使用异常，所以对于 C++ 标准异常我们作为了解内容即可。
int main()
{
try
{
vector<int>v(10, 5);
//这里如果系统内存不够也会抛异常
v.reserve(1000000000);
//这里越界会抛异常
v.at(10);
}
catch (const exception& e)
{
cout << e.what() << endl;
}
catch (...)
{
cout << "Unkown Exception" << endl;
}
return 0;
}
六、异常的优缺点
异常的优点：
- 相比传统C语言返回错误码的方式，异常可以更加清晰准确的展示出错误的各种信息，甚至可以包含堆栈调用的信息，这样可以帮助我们更好的定位程序 bug；
- 返回错误码的传统方式还有一个很大的问题，即在函数调用链中，如果深层的函数返回了错误，那么我们必须层层返回错误，最外层才能拿到错误；而如果是异常，我们就可以直接将其抛出，此时程序会自动跳转到异常捕获的地方处理异常；
- 很多的第三方库都包含异常，比如 boost、gtest、gmock 等等常用的库，我们使用它们时也需要使用异常；
- 部分函数使用异常更好处理，比如构造函数没有返回值，不方便使用错误码方式处理；又比如 T& operator 这样的函数，如果下标越界了只能终止程序或者抛出异常，而没办法通过返回值来表示错误。
异常的缺点：
- 当运行时出错时，抛出异常会导致程序的执行流乱跳，并且非常的混乱，导致我们跟踪调试以及分析程序时比较困难；
- 异常会有一些性能的开销，因为异常返回的是一个局部对象 – 现在的容器都实现了移动构造，且编译器也会进行优化 (识别为右值，直接进行移动构造)，所以这点基本可以忽略不计；
- C++没有垃圾回收机制，资源需要自己管理，有了异常非常容易导致内存泄漏、死锁等异常安全问题 – 这个问题需要使用 RAII 来处理资源的管理问题；
- C++标准库的异常体系定义得不好，导致大家各自定义自己的异常体系，非常的混乱；
- 异常如果不规范使用会造成非常严重的后果，随意抛异常会让外层捕获异常的用户苦不堪言 – 尽量遵从异常规范，比如抛出异常类型都继承自一个基类，不抛异常的函数都是用 noexcept 修饰等。
异常总体而言利大于弊，所以在工程开发中我们是鼓励使用异常的；另外面向对象的语言基本都是用异常处理错误，这也是大势所趋。(注：我们进行个人开发时基本不会用到异常，所以现在对异常有一个了解即可，要想真正的学习异常还是得在公司里面进行实际开发才行)