【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.mzph.cn/news/814869.shtml

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

相关文章

基于SpringBoot的“线上教学平台”的设计与实现（源码+数据库+文档+PPT)

基于SpringBoot的“线上教学平台”的设计与实现（源码+数据库+文档+PPT)

基于SpringBoot的“线上教学平台”的设计与实现&#xff08;源码数据库文档PPT) 开发语言&#xff1a;Java 数据库&#xff1a;MySQL 技术&#xff1a;SpringBoot 工具&#xff1a;IDEA/Ecilpse、Navicat、Maven 系统展示 线上教学平台结构图 管理员登录界面图 学员管理界…
阅读更多...
深入理解JavaScript - JavaScript中call、apply、bind方法

深入理解JavaScript - JavaScript中call、apply、bind方法

一、call() / apply() JavaScript中的函数是对象&#xff0c;与其他JavaScript对象一样,JavaScript函数也有方法。其中有两个自带的方法 – call和apply&#xff0c;可以利用这两个方法来间接调用某个函数。 通过一个简单的例子体会一下call和apply的用法&#xff1a; funct…
阅读更多...
嵌入式学习54-ARM3

嵌入式学习54-ARM3

S3c2440中断控制器 内部外设&#xff1a; DMA &#xff1a;&#xff08;直接内存存取&#xff09; Direct Memor…
阅读更多...
基于docker的开发者集成环境

基于docker的开发者集成环境

docker-compose一键部署开发者环境。 常见的中间件&#xff1a;nginx, mysql, redis, mongo, rabbitmq, nacos, rocketmq, zookeeper等。 GIthub项目地址 1. 下载项目&#xff1a;git clone https://github.com/xhga/docker-develop-env.git 2. 进入文件夹&#xff1a;cd d…
阅读更多...
服务器测试之intel E8102CQDA2

服务器测试之intel E8102CQDA2

这个卡是个双口100G双芯片的卡&#xff0c;QSFP28 单口速率100G&#xff0c;双口200G 1.BIOS下pcie带宽设置 服务器BIOS下支持设置PCIE link width 设置x8x8&#xff0c;否则只能显示一个网口&#xff0c;如下图 E810-2CQDA2需要BIOS下设置该卡槽位pcie slot link width 设置x8…
阅读更多...
Paddle实现人脸对比（二）

Paddle实现人脸对比（二）

我之前发过一篇基于孪生网络的人脸对比的文章&#xff0c;这篇文章也到了百度的推荐位置&#xff1a; 但是&#xff0c;效果并不是很好。经过大量的搜索&#xff0c;我发现了一种新的方法&#xff0c;可以非常好的实现人脸对比。 原理分析 我们先训练一个普通的人脸分类模型&…
阅读更多...
OpenCV4.10使用形态运算提取水平线和垂直线

OpenCV4.10使用形态运算提取水平线和垂直线

目标 在本教程中&#xff0c;您将学习如何&#xff1a; 应用两个非常常见的形态运算符&#xff08;即膨胀和侵蚀&#xff09;&#xff0c;并创建自定义内核&#xff0c;以便在水平轴和垂直轴上提取直线。为此&#xff0c;您将使用以下 OpenCV 函数&#xff1a; erode()dilate…
阅读更多...
认识异常（2）

认识异常（2）

❤️❤️前言~&#x1f973;&#x1f389;&#x1f389;&#x1f389; hellohello~&#xff0c;大家好&#x1f495;&#x1f495;&#xff0c;这里是E绵绵呀✋✋ &#xff0c;如果觉得这篇文章还不错的话还请点赞❤️❤️收藏&#x1f49e; &#x1f49e; 关注&#x1f4a5;&a…
阅读更多...
python创建word文档并向word中写数据

python创建word文档并向word中写数据

一、docx库的安装方法 python创建word文档需要用到docx库&#xff0c;安装命令如下&#xff1a; pip install python-docx 注意&#xff0c;安装的是python-docx。 二、使用方法 使用方法有很多&#xff0c;这里只介绍创建文档并向文档中写入数据。 import docxmydocdocx.Do…
阅读更多...
基于生成对抗网络在服装领域的发展脉络和应用趋势

基于生成对抗网络在服装领域的发展脉络和应用趋势

文章目录 1、概述2、深度学习图像生成模型2.1、深度信念网络(Deep belief network&#xff0c;DBN)2.2、变分自编码器(Variational auto-encoder&#xff0c;VAE)2.3、生成对抗网络(Generative adversarial networks&#xff0c;GAN) 3、 模型对比分析4、基于多模态转换的服装图…
阅读更多...
nexus搭建maven与docker镜像的私有仓库

nexus搭建maven与docker镜像的私有仓库

引言 通过nexus搭建maven与docker镜像的私有仓库，实现jar包与镜像动态更新、共享、存储。 一、nexus部署 通过docker-compose部署nexus name: java services:#############################环境#############################env-nexus:restart: always## 3.58.1image: so…
阅读更多...
代码随想录算法训练营第三十七天| LeetCode 738.单调递增的数字、总结

代码随想录算法训练营第三十七天| LeetCode 738.单调递增的数字、总结

一、LeetCode 738.单调递增的数字 题目链接/文章讲解/视频讲解&#xff1a;https://programmercarl.com/0738.%E5%8D%95%E8%B0%83%E9%80%92%E5%A2%9E%E7%9A%84%E6%95%B0%E5%AD%97.html 状态&#xff1a;已解决 1.思路 如何求得小于等于N的最大单调递增的整数&#xff1f;98&am…
阅读更多...
【C语言基础】：编译和链接（计算机中的翻译官）

【C语言基础】：编译和链接（计算机中的翻译官）

文章目录 一、翻译环境和运行环境1. 翻译环境1.1 编译1.1.1 预处理1.1.2 编译1.1.3 汇编 1.2 链接 2. 运行环境 一、翻译环境和运行环境 我们在Visual Studio上写的C语言代码其实都是一些文本信息&#xff0c;计算机是不能够直接执行他们的&#xff0c;计算机只能够执行二进制…
阅读更多...
第6章 6.4.1 案例一：爬取亚洲各地区的实时时间（MATLAB入门课程）

第6章 6.4.1 案例一：爬取亚洲各地区的实时时间（MATLAB入门课程）

讲解视频&#xff1a;可以在bilibili搜索《MATLAB教程新手入门篇——数学建模清风主讲》。​ MATLAB教程新手入门篇&#xff08;数学建模清风主讲&#xff0c;适合零基础同学观看&#xff09;_哔哩哔哩_bilibili 本案例将引导大家爬取亚洲各地区的实时时间。我们将从下面这个网…
阅读更多...
第 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;然后顺序遍…
阅读更多...
【C++庖丁解牛】底层为红黑树结构的关联式容器--哈希容器(unordered_map和unordered_set)

【C++庖丁解牛】底层为红黑树结构的关联式容器--哈希容器(unordered_map和unordered_set)

&#x1f341;你好&#xff0c;我是 RO-BERRY &#x1f4d7; 致力于C、C、数据结构、TCP/IP、数据库等等一系列知识 &#x1f384;感谢你的陪伴与支持 &#xff0c;故事既有了开头&#xff0c;就要画上一个完美的句号&#xff0c;让我们一起加油 目录 1. unordered系列关联式容…
阅读更多...
系统架构设计图

系统架构设计图

首先明确应用架构的定义&#xff0c;从百度百科上即可了解到何为应用架构&#xff1a; 应用架构&#xff08;Application Architecture&#xff09;是描述了IT系统功能和技术实现的内容。应用架构分为以下两个不同的层次&#xff1a; 企业级的应用架构&#xff1a;企业层面的应…
阅读更多...
arm工作模式、arm9通用寄存器、异常向量表中irq的异常向量、cpsr中的哪几位是用来设置工作模式以及r13,r14,15别名是什么？有什么作用？

arm工作模式、arm9通用寄存器、异常向量表中irq的异常向量、cpsr中的哪几位是用来设置工作模式以及r13,r14,15别名是什么？有什么作用？

ARM 首先先介绍一下ARM公司。 ARM成立于1990年11月&#xff0c;前身为Acorn计算机公司 主要设计ARM系列RISC处理器内核 授权ARM内核给生产和销售半导体的合作伙伴ARM公司不生产芯片 提供基于ARM架构的开发设计技术软件工具评估版调试工具应用软件总线架构外围设备单元等等CPU中…
阅读更多...
【MySQL】MySQL在Centos 7环境安装

【MySQL】MySQL在Centos 7环境安装

目录 准备工作 第一步&#xff1a;卸载不要的环境 第二步&#xff1a;下载官方的mysql 第三步 上传到Linux中 第四步 安装 正式安装 启动 ​编辑 登录 准备工作 第一步&#xff1a;卸载不要的环境 使用root进行安装 如果是普通用户&#xff0c;使用 su - 命令&#…
阅读更多...
langchain RunableBranch 分类判断选择不同链

langchain RunableBranch 分类判断选择不同链

import os from dotenv import load_dotenv from langchain_community.llms import Tongyi load_dotenv(key.env) # 指定加载 env 文件 key os.getenv(DASHSCOPE_API_KEY) # 获得指定环境变量 DASHSCOPE_API_KEY os.environ["DASHSCOPE_API_KEY"] # 获得指定环境…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023