【C++学习】深入理解C++异常处理机制：异常类型，捕获和处理策略

文章目录

  • ♫一.异常的提出
  • ♫二.异常的概念
  • ♫三.异常的使用
      • ♫3.1 异常的抛出和捕获
      • ♫3.2.异常的重新抛出
      • ♫3.3异常安全
      • ♫3.4 异常规范
  • ♫4.自定义异常体系
  • ♫5.C++标准库的异常体系
  • ♫6.异常的优缺点

♫一.异常的提出

  • 之前：
    C语言传统的处理错误的方式与带来的弊端：
  1. 终止程序。如assert，缺陷：用户难以接受。如发生内存错误，除0错误时就会终止程序。
  2. 返回错误码。缺陷：需要程序员自己去查找对应的错误。如系统的很多库的接口函数都是通
    过把错误码放到errno中，表示错误实际中C语言基本都是使用返回错误码的方式处理错误，部分情况下使用终止程序处理非常严重的错误。但是错误码表里面有很多，去一一查询特别的麻烦，所以就在寻找一种新的解决方法，也就是异常处理。
    错误码表参考http://t.csdnimg.cn/h3H6q
  • 现在：
    提出异常来解决这些弊端…

♫二.异常的概念

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

  1. 使用方法：
    • throw: 当问题出现时，程序会抛出一个异常。这是通过使用 throw 关键字来完成的。
    • catch: 在想要处理问题的地方，通过异常处理程序捕获异常 catch 关键字用于捕获异常，可以有多个catch进行捕获。如果在main函数都结束了，都没有被捕获，则编译器会报错。
    • try: try 块中的代码标识将被激活的特定异常,它后面通常跟着一个或多个 catch 块。
      如果有一个块抛出一个异常，捕获异常的方法会使用 try 和 catch 关键字。try 块中放置可能抛出异常的代码，try 块中的代码被称为保护代码。使用 try/catch 语句的语法如下所示：
try
{// 保护的标识代码
}catch( ExceptionName e1 )
{// catch 块
}catch( ExceptionName e2 )
{// catch 块
}catch( ExceptionName eN )
{// catch 块
}

举个实际的例子：

void func(){int x;  cin >> x;if (x % 2 == 0)    //当为偶数时，就抛出异常{throw("异常，x为偶数");  }cout << x << endl;
}
int main(){try {func();  //捕获在执行func()时的异常}catch (const char* x){    cout << x << endl;}return 0;
}

♫三.异常的使用

♫3.1 异常的抛出和捕获

  • 异常的抛出和匹配原则

    1. 异常是通过抛出对象而引发的，该对象的类型决定了应该激活哪个catch的处理代码。
      例如： 就比如上面的那个代码，throw 抛出的是一个字符串，那么在catch的时候，应该捕获的是字符串。

      throw(“异常，x为偶数”) 与 catch (const char* x)要匹配

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

//函数ff抛异常后，会在哪一个catch语句被捕获呢？
//根据这个规则首先会看捕获一，但是捕获一的类型不匹配，然后才会去看捕获2与捕获3，
//所以，这里被选中的处理代码是捕获3
void ff()
{int x = 0;cin >> x;if (x % 2 == 0){throw(1111111);}
}
void  func()
{try{ff();}catch (const char* s)    //捕获一{cout <<__LINE__<<" " << s << endl;}
}
int main()
{try{func();}catch (const char* s)  //捕获二{cout << __LINE__ <<" " << s << endl;}catch (int x)         //捕获三{cout << __LINE__ <<" " << x << endl;}return 0;
}
  1. 抛出异常对象后，会生成一个异常对象的拷贝，因为抛出的异常对象可能是一个临时对象，所以会生成一个拷贝对象，这个拷贝的临时对象会在被catch以后销毁。（这里的处理类似于函数的传值返回）
  2. catch(…)可以捕获任意类型的异常，问题是不知道异常错误是什么。所以为了防止所抛异常没有被处理，在程序最后最好加一个捕获所有。
int main()
{try{func();}catch (const char* s)  {cout << __LINE__ <<" " << s << endl;}catch (int x)         {cout << __LINE__ <<" " << x << endl;}catch (...)  //前面的catch语句没有捕获的异常，这里都会被捕获，只是不知道被捕获异常的类型。{cout << "未知异常" << endl;}return 0;
}
  1. 实际中抛出和捕获的匹配原则有个例外，并不都是类型完全匹配，可以抛出的派生类对象，使用基类捕获，这个在实际中非常实用，库里面就是这样使用的。（后面会讲到）

♫- 在函数调用链中异常栈展开匹配原则

在这里插入图片描述
如上图：

  1. 首先检查throw本身是否在try块内部，如果是再查找匹配的catch语句。如果有匹配的，则调到catch的地方进行处理。
  2. 没有匹配的catch则退出当前函数栈，继续在调用函数的栈中进行查找匹配的catch。
  3. 如果到达main函数的栈，依旧没有匹配的，则终止程序。
  4. 上述这个沿着调用链查找匹配的catch子句的过程称为栈展开。所以实际中我们最后都要加一个catch(…)捕获任意类型的异常，否则当有异常没捕获，程序就会直接终止。
  5. 找到匹配的catch子句并处理以后，会继续沿着catch子句后面继续执行。

♫3.2.异常的重新抛出

有可能单个的catch不能完全处理一个异常，在进行一些校正处理以后，希望再交给更外层的调用链函数来处理，catch则可以通过重新抛出将异常传递给更上层的函数进行处理。

举个例子：
第一条catch语句捕获了异常不是为了处理异常，而是为释放掉ptr的内存后，（如果这里不捕获异常的话，则不会执行delete语句，会造成内存泄漏问题），将异常重新抛出，在其他地方去处理这个异常。

void ff(){throw("异常");
}
void func(){int* ptr = new int[10];try {ff();}catch (...){ delete[] ptr;        //抛出之前析构throw;      //捕获到什么抛什么}delete[] ptr;
}
int main(){try {func();}catch (const char* str)   //接受异常处理{cout << str << endl;}return 0;
}

♫3.3异常安全

  1. 构造函数完成对象的构造和初始化，最好不要在构造函数中抛出异常，否则可能导致对象不完整或没有完全初始化
    例如下面代码：
//在构造对象aa时，调用A类的构造函数，在初始化完ptr1后，调用func函数（这里是故意
//捏造的这个场景，func函数内部会抛异常），就会直接跳到catch语句，这样会致ptr2
//没有被初始化，对象aa不完整。只初始化了一般，另一半是随机值或则是野指针，都是坑。
void func(){throw("异常");
}
class A{
public:A(){cout << "A()" << endl;ptr1 = new int;func();ptr2 = new int;}~A(){cout << "~A()" << endl;ptr1 =nullptr;ptr2 = nullptr;}
private:int* ptr1;int* ptr2;
};
int main(){try{A aa;}catch (const char* s){cout << s << endl;}catch (...){cout << "未知异常" << endl;}return 0;
}
  1. 析构函数主要完成资源的清理，最好不要在析构函数内抛出异常，否则可能导致资源泄漏(内存泄漏、句柄未关闭等)。
    • 析构函数与上面的构造函数类似，如果有抛异常了就会跳到catch语句，可能导致资源没有清理完，造成资源泄漏。
  2. C++中异常经常会导致资源泄漏的问题，比如在new和delete中抛出了异常，导致内存泄漏，在lock和unlock之间抛出了异常导致死锁，C++经常使用RAII来解决以上问题，会在下一个文章专门讲解。
    举个例子：
//当给ptr 开了空间后，调用func函数，导致直接跳转到catch语句，没有完成delete，
//导致内存泄漏问题。
void func(){throw("异常");
}
int main(){int* ptr;try {ptr = new int;func();delete ptr;}catch (const char* s){cout << s << endl;}return 0;
}

解决方法：

void func(){throw("异常");
}
int main(){int* ptr;try {ptr = new int;func();delete ptr;   //没有异常清理}catch (const char* s){delete ptr;     //有异常则在catch语句里面释放cout << s << endl;}return 0;
}

♫3.4 异常规范

  1. 异常规范说明的目的是：为了让函数使用者知道该函数可能抛出的异常有哪些。 可以在函数后面接throw(类型)，列出这个函数可能抛掷的所有异常类型。
  2. 函数的后面接throw()，表示函数不抛异常。
  3. 若无异常接口声明，则此函数可以抛掷任何类型的异常。
// 这里表示这个函数会抛出A/B/C/D中的某种类型的异常
void fun() throw(A，B，C，D);
// 这里表示这个函数只会抛出bad_alloc的异常
void* operator new (size_t size) throw (std::bad_alloc);
// 这里表示这个函数不会抛出异常
void* operator delete (size_t size, void* ptr) throw();// C++11 中新增的noexcept，表示不会抛异常
//不加则表示会抛异常
thread() noexcept;
thread (thread&& x) noexcept;
  • 但是，如果一个函数本来会抛异常，但是后面说明写的是不会抛异常 throw()，编译器也不会报错，只是会提醒。
  • *注意：*编译器指挥检查本函数会不会抛异常，检查不出来该函数内部调用的其他函数是否抛异常。

例子：


void ff()throw(){throw("BBBBB");
}
void ff2()throw(const char*){cout << "hello" << endl;
}
void ff3()noexcept{throw("BBBBB");
}
int main(){return 0;
}

在这里插入图片描述

♫4.自定义异常体系

实际使用中很多公司都会自定义自己的异常体系进行规范的异常管理，因为一个项目中如果大家随意抛异常，那么外层的调用者基本就没办法玩了，所以实际中都会定义一套继承的规范体系。这样大家抛出的都是继承的派生类对象，捕获一个基类就可以了。

例如：

  • Exception是父类，其他都是派生类，并且父类里面的函数what()是虚函数，其他类继承父类，并且添加了需要的其他成员，派生类完成了对what函数的重写，所以在使用中，只需要用父类对象去接受，然后调用what函数即可（父类传给父类，就调用父类的what函数，派生类传给父类，就调用该派生类重写后的what函数）。（这里与库里面的异常体系类似）
class Exception    //基类
{
public:Exception(const string& errmsg, int id)  //构造:_errmsg(errmsg), _id(id){}virtual string what() const   {return _errmsg;}
protected:string _errmsg;   //记录错误信息int _id;        //记录错误编号
};
class SqlException : public Exception
{
public:SqlException(const string& errmsg, int id, const string& sql):Exception(errmsg, id), _sql(sql){}virtual string what() const    //重写{string str = "SqlException:";str += _errmsg;str += "->";str += _sql;return str;    //返回想要打印的错误信息}
private:const string _sql;   //添加想要增加的信息
};
class CacheException : public Exception
{
public:CacheException(const string& errmsg, int id):Exception(errmsg, id){}virtual string what() const{string str = "CacheException:";str += _errmsg;return str;}
};
class HttpServerException : public Exception
{
public:HttpServerException(const string& errmsg, int id, const string& type):Exception(errmsg, id), _type(type){}virtual string what() const{string str = "HttpServerException:";str += _type;str += ":";str += _errmsg;return str;}
private:const string _type;
};

♫5.C++标准库的异常体系

C++ 提供了一系列标准的异常，定义在中，我们可以在程序中使用这些标准的异常。它们是以父子类层次结构组织起来的，如下所示：
文档链接：https://legacy.cplusplus.com/reference/exception/exception/
在这里插入图片描述
在这里插入图片描述
这里是利用了继承与多态，exception是父类，其他都是派生类，并且父类里面的函数what()是虚函数，其他派生类完成了对what函数的重写，所以在使用中，只需要用父类对象去接受，然后调用what函数即可（父类传给父类，就调用父类的what函数，派生类传给父类，就调用该派生类重写后的what函数）。

使用方法：

int main()
{int* p;try {p = new int[10];}//用父类对象接受catch (const exception& e)  //如果开空间失败，会抛异常（库里面有实现）{cout << e.what() << endl;  //调用what函数}return 0;
}

♫6.异常的优缺点

  • C++异常的优点：
    1. 异常对象定义好了，相比错误码的方式可以清晰准确的展示出错误的各种信息，甚至可以包含堆栈调用的信息，这样可以帮助更好的定位程序的bug。
    2. 返回错误码的传统方式有个很大的问题就是，在函数调用链中，深层的函数返回了错误，那么我们得层层返回错误，最外层才能拿到错误。
    3. 很多的第三方库都包含异常，比如boost、gtest、gmock等等常用的库，那么我们使用它们也需要使用异常。
    4. 部分函数使用异常更好处理，比如构造函数没有返回值，不方便使用错误码方式处理。比如T& operator这样的函数，如果pos越界了只能使用异常或者终止程序处理，没办法通过返回值表示错误。
T& operator[](size_t pos){if (pos < size){return _a[pos];}else{//这里越界了应该返回什么呢？//0吗，不行，万一_a里面有数据为0呢？//所以这里越界就只能终止程序}
}
  • C++异常的缺点：
    1. 异常会导致程序的执行流乱跳，并且非常的混乱，并且是运行时出错抛异常就会乱跳。这会导致我们跟踪调试时以及分析程序时，比较困难。
    2. 异常会有一些性能的开销。当然在现代硬件速度很快的情况下，这个影响基本忽略不计。
    3. C++没有垃圾回收机制，资源需要自己管理。有了异常非常容易导致内存泄漏、死锁等异常安全问题。这个需要使用RAII来处理资源的管理问题。
    4. C++标准库的异常体系定义得不好，导致大家各自定义各自的异常体系，非常的混乱。
    5. 异常尽量规范使用，否则后果不堪设想，随意抛异常，外层捕获的用户苦不堪言。所以异常规范有两点：
    • 一、抛出异常类型都继承自一个基类。
    • 二、函数是否抛异常、抛什么异常，都使用 func（） throw();的方式规范化。

本篇完~

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.hqwc.cn/news/617268.html

如若内容造成侵权/违法违规/事实不符，请联系编程知识网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

14_SpringMVC

14_SpringMVC

文章目录 MVCSpringMVC与JavaEE对比SpringMVCSpringMVC的核心流程SpringMVC入门案例RequestMapping注解的使用Handler方法的返回值Handler方法的形参keyvalue形式的请求参数Json请求参数 RESTful风格接口静态资源处理FilterHandlerInterceptor异常处理SpringMVC核心流程流程图 …
阅读更多...
Spring之AOP的详细讲解

Spring之AOP的详细讲解

目录 一.SpringAOP是什么&#xff1f; 1.1理论知识点 1.2简单的AOP例子 二.SpringAOP的核心概念 2.1切点(Pointcut) 2.2通知&#xff08;Advice&#xff09; 2.3切⾯(Aspect) 2.4通知类型 2.5切⾯优先级 Order 2.6切点表达式 2.6.1 execution表达式 2.6.2annotati…
阅读更多...
【MYSQL】MySQL整体结构之系统服务

【MYSQL】MySQL整体结构之系统服务

一、系统服务层 学习了MySQL网络连接层后&#xff0c;接下来看看系统服务层&#xff0c;MySQL大多数核心功能都位于这一层&#xff0c;包括客户端SQL请求解析、语义分析、查询优化、缓存以及所有的内置函数&#xff08;例如&#xff1a;日期、时间、统计、加密函数...&#xff…
阅读更多...
SAP SD学习笔记07 - 紧急发注（急单），现金贩卖，贩卖传票Type/ 明细Category 及其Customize

SAP SD学习笔记07 - 紧急发注（急单），现金贩卖，贩卖传票Type/ 明细Category 及其Customize

上面讲SAP中主干流程的时候&#xff0c;还有后面讲一括处理的时候&#xff0c;都用的是 OR 标准受注。 SAP SD学习笔记01 - 简单走一遍SD的流程&#xff1a;受注&#xff0c;出荷&#xff0c;请求_怎么学好sd模块-CSDN博客 下面开始讲一些稀奇古怪的非标准流程。 当然&#x…
阅读更多...
【竞技宝jjb.lol】LOL：T1成功击败HLE晋级MSI！

【竞技宝jjb.lol】LOL：T1成功击败HLE晋级MSI！

北京时间2024年4月13日,英雄联盟LCK2024春季季后赛继续进行,昨天迎来败者组决赛HLE对阵T1。本场比赛HLE率先拿下一局之后,T1连续两局在后期决策上碾压HLE拿到赛点,第四局zeus祭出上单VN在中期杀穿HLE后排,最终T1以3-1的比分击败HLE晋级春季决赛,同时也拿到了MSI的参赛资格。以下…
阅读更多...
第 128 场 LeetCode 双周赛题解

第 128 场 LeetCode 双周赛题解

A 字符串的分数 模拟 class Solution {public:int scoreOfString(string s) {int res 0;for (int i 1; i < s.size(); i) res abs(s[i] - s[i - 1]);return res;} };B 覆盖所有点的最少矩形数目 排序&#xff1a;先按照 x i x_i xi​ 排序&#xff0c;然后顺序遍…
阅读更多...
计算机体系架构

计算机体系架构

冯诺依曼架构 我们编写的程序存储在哪里呢&#xff1f;CPU内部的结构其实很简单&#xff0c;除了ALU、控制单元、寄存器和少量Cache&#xff0c;根本没有多余的空间存放我们编写的代码&#xff0c;我们需要额外的存储器来存放我们编写的程序&#xff08;指令序列&#xff09;。…
阅读更多...
【鸿蒙开发】第二十章 Camera相机服务

【鸿蒙开发】第二十章 Camera相机服务

1 简介 开发者通过调用Camera Kit(相机服务)提供的接口可以开发相机应用&#xff0c;应用通过访问和操作相机硬件&#xff0c;实现基础操作&#xff0c;如预览、拍照和录像&#xff1b;还可以通过接口组合完成更多操作&#xff0c;如控制闪光灯和曝光时间、对焦或调焦等。 2 …
阅读更多...
【Altium Designer 20 笔记】隐藏PCB上的信号线（连接线）

【Altium Designer 20 笔记】隐藏PCB上的信号线（连接线）

使用网络类隐藏特定类型的信号线 如果你想要隐藏特定类型的信号线&#xff08;例如电源类&#xff09;&#xff0c;你可以首先创建一个网络类。使用快捷键DC调出对象类浏览器&#xff0c;在Net Classes中右击添加类&#xff0c;并重命名&#xff08;例如为“Power”&#xff0…
阅读更多...
第1章、react基础知识；

第1章、react基础知识；

一、react学习前期准备&#xff1b; 1、基本概念&#xff1b; 前期的知识准备&#xff1a; 1.javascript、html、css&#xff1b; 2.构建工具&#xff1a;Webpack&#xff1a;https://yunp.top/init/p/v/1 3.安装node&#xff1a;npm&#xff1a;https://yunp.top/init/p/v/1 …
阅读更多...
EasyPoi表格导入添加校验

EasyPoi表格导入添加校验

EasyPoi表格导入添加校验 项目添加maven依赖实体类自定义校验controller测试结果 项目添加maven依赖 <?xml version"1.0" encoding"UTF-8"?> <project xmlns"http://maven.apache.org/POM/4.0.0"xmlns:xsi"http://www.w3.org/2…
阅读更多...
欧美地区媒体发稿：8个高效率方式分析提高知名度

欧美地区媒体发稿：8个高效率方式分析提高知名度

1.媒体发稿推广的意义媒体发稿营销推广是指由企业和产品的信息传递给目标群体的一个过程。在欧美地区&#xff0c;媒体发稿营销推广针对企业品牌建设与市场开拓尤为重要。根据媒体发稿营销推广&#xff0c;企业能够提高知名度&#xff0c;提升曝光度&#xff0c;提升销售。 2.寻…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023