C++异常

Posted 2022-09-07 cuckoo-

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了C++异常相关的知识，希望对你有一定的参考价值。

异常处理

概念：

当一个函数发现自己无法处理的错误时就可以抛出异常，让函数的直接或间接的调用者处理这个错误

throw:当问题出现时，程序会抛出一个异常。这是通过使用throw关键字来完成的

catch:在您想要处理问题的地方，通过异常处理程序序捕获异常.catch 关键字用于捕获异常，可以有多个catch进行捕获。

try: try 块中的代码标识将被激活的特定异常,它后面通常跟着一个或多个 catch 块。

try   
    // 保护的标识代码 
catch( ExceptionName e1 ) 
  
    // catch 块 
catch( ExceptionName e2 ) 
  
    // catch 块 
catch( ExceptionName eN ) 
  
    // catch 块

异常的使用：

抛出与匹配原则：

1. 异常是通过抛出对象而引发的，该对象的类型决定了应该激活哪个catch的处理代码。

2. 被选中的处理代码是调用链中与该对象类型匹配且离抛出异常位置最近的那一个。

3.抛出异常对象后，会生成一个异常对象的拷贝，因为抛出的异常对象可能是一个临时对象，所以会生成一个拷贝对象，这个拷贝的临时对象会在被catch以后销毁。（这里的处理类似于函数的传值返回）

4. catch(...)可以捕获任意类型的异常，问题是不知道异常错误是什么。

5.实际中抛出和捕获的匹配原则有个例外，并不都是类型完全匹配，可以抛出的派生类对象，使用基类捕获，这个在实际中非常实用，我们后面会详细讲解这个。

   在函数调用用链中异常栈展开匹配原则：
      1.首先检查throw本身是否在try块内部，如果是再查找匹配的catch语句。如果有匹配的，则调到catch 的地方进行处理。
       2.没有匹配的catch则退出当前函数栈，继续在调用函数的栈中进行查找匹配的catch。

3. 如果到达main函数的栈，依旧没有匹配的，则终止程序。上述这个沿着调用链查找匹配的catch子句的过程称为栈展开。所以实际中我们最后都要加一个catch(...)捕获任意类型的异常，否则当有异常没捕获，程序就会直接终止。

4. 找到匹配的catch子句并处理以后，会继续沿着catch子句后面继续执行。

异常的重新抛出：
有可能单个的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];    
    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;

异常安全：

1.构造函数完成对象的构造和初始化，最好不要在构造函数中抛出异常，否则可能导致对象不完整或没有完全初始化

2.析构函数主要完成资源的清理，最好不要在析构函数内抛出异常，否则可能导致资源泄漏(内存泄漏、句柄未关闭等)

3.C++中异常经常会导致资源泄漏的问题，比如在new和delete中抛出了异常，导致内存泄漏，在lock和 unlock之间抛出了异常导致死锁，C++经常使用RAII来解决以上问题

异常规范：

1.异常规格说明的目的是为了让函数使用者知道该函数可能抛出的异常有哪些。可以在函数的后面接 throw(类型)，列出这个函数可能抛掷的所有异常类型。

2.函数的后面接throw()，表示函数不抛异常。

3.若无异常接口声明，则此函数可以抛掷任何类型的异常。

异常优缺点：

优点：

1.异常对象定义好了，相比错误码的方式可以清晰准确的展示出错误的各种信息，甚至可以包含堆栈调用的信息，这样可以帮助更好的定位程序的bug。

2.返回错误码的传统方式有个很大的问题就是，在函数调用链中，深层的函数返回了错误，那么我们得层层返回错误，最外层才能拿到错误

// 1.下面这段伪代码我们可以看到ConnnectSql中出错了，先返回给ServerStart，ServerStart再返回 给main函数，main函数再针对问题处理具体的错误。 
// 2.如果是异常体系，不管是ConnnectSql还是ServerStart及调用函数出错，都不用检查，因为抛出的 异常异常会直接跳到main函数中catch捕获的地方，main函数直接处理错误。 
int ConnnectSql()     
    // 用户名密码错误    
    if (...)        
        return 1;
    // 权限不足    
    if (...)        
        return 2; 

int ServerStart()     
    if (int ret = ConnnectSql() < 0)        
        return ret;    
    int fd = socket()     
    if（fd < 0）        
        return errno; 

int main()     
    if(ServerStart()<0)        
    ...
    return 0;