C++异常处理机制由浅入深, 以及函数调用汇编过程底层刨析. C++11智能指针底层模拟实现
一. 异常
1.1.异常的编程模型和基本使用
- 咱得用一用, 解释一下上述的模型
double Div(int a, int b) {if (b == 0) throw "Zero Div";//抛出一个字符串常量cout << "要是异常抛出, 自我及其一下全部腰斩, 不会执行" << endl;return (double)a / (double)b;
}int main() {try {cout << Div(4, 0) << endl;}catch (int errid) {//捕获错误码整形进行处理cout << "错误编号: " << errid << endl;}catch (const char* msg) {cout << "错误信息" << msg << endl;}cout << "异常处理结束了, 继续向后执行呀, 除非异常处理进行了中断" << endl;return 0;
}
- 分析: 自抛出异常位置开始, 后序代码不再会执行
- 异常处理结束之后, 只要没有终止进程, 继续异常处理完下一条语句执行
1.2. 自定义异常类
class MyException {
public:MyException(int errid, string errmsg) : _errid(errid), _errmsg(errmsg) {}const string& what() const noexcept {return _errmsg;}int GetErrid() const noexcept {return _errid;}
private:int _errid;string _errmsg;
};
1.3.异常处理函数的查找过程(沿函数栈往回查找)
class MyException {
public:MyException(int errid, string errmsg) : _errid(errid), _errmsg(errmsg) {}const string& what() const noexcept {return _errmsg;}int GetErrid() const noexcept {return _errid;}
private:int _errid;string _errmsg;
};void h() {throw MyException(0, "沿着函数调用方向往回找异常处理函数");
}void g() {try {h();}catch (int errid) {cout << "g()错误码是: " << errid << endl;}
}void f() {try{g();}catch (const runtime_error& re) {cout << "f函数中处理函数: " << re.what() << endl;}}int main() {try {f();}catch (const MyException& e) {cout << "主函数中处理函数: " << e.what() << endl;}catch (...) {// 一般为了异常有个处理会在最后加上他cout << "主函数中处理函数: " << "捕获到未知异常" << endl;}return 0;
}
- 结果当然就是沿着函数栈往回找到了主函数中的对应处理函数处理了.....
1.4.异常的重新抛出, 多catch处理(更外层处理)
1.4.1 异常处理过程防止内存泄漏
class Test {
public:Test() {//default ctor } ~Test() {cout << "dtor" << endl;}
};int main() {try {//Test t; 栈区对象肯定没问题的Test* pt = new Test;//堆区呢?throw 1;delete pt; //会怎样??? 不会执行, 内存泄漏}catch (int errid) {cout << "我会不会调用析构???" << endl;cout << errid << endl;}return 0;
}
- 结果自然是没有自动调用析构, 咋了???? 说明内存泄漏了,
- 所以内存泄漏也是写异常处理需要特别注意的问题
1.4.2 异常的多catch处理, 内层不处理处理继续 往外throw,
double Div(int a, int b) {if (b == 0) {throw MyException(0, "Zero Div");}return (double)a / (double)b;
}void func() {// 这里可以看到如果发生除0错误抛出异常,另外下面的array没有得到释放。// 所以这里捕获异常后并不处理异常,异常还是交给外面处理,这里捕获了再// 重新抛出去。int* arr = new int[4]{ 0 };try{int a, b;cout << "请输入被除数和除数: " << endl;cin >> a >> b;cout << Div(a, b) << endl;}catch (...) { //我仅仅处理内存, 至于信息等等继续抛出去其他函数处理 cout << "delete[]" << endl;delete[] arr;throw;//继续往外抛出}
}
int main() {try {func();}catch (const MyException& e) {cout << "错误信息: " << e.what() << endl;}return 0;
}
1.5. 异常类的继承 (多态处理, 基类对象引用子类对象)
- 提出第一个疑问?? 为什么要继承来处理,自己手写不可以吗???
首先自己手写不是不可以, 而是场景不合适, 每个人手写一个异常类, 我们自己是爽了, 可是当需要调用对应的处理函数的时候, 难道每一个地方都需要从新修改一下类名才能调用对应的处理函数吗? 请问你置多态与何地??
可以不可以用基类引用子类对象, 这样调用接口的时候只需要使用基类 调用对应的处理函数就OK了, 我们只需要继承这个基类来进行重写其中需要的处理函数就oK了........
回顾一下多态定义: 传入不同的对象, 调用同一个功能函数会产生不同的效果, 其实也就是子类重写基类虚函数
所以至此, OK了, 其实公司中一般都是会有自己的异常处理机制, 自己的异常处理类, 是有标准的好吧, 我们用的时候就根据情形继承下来重写虚函数就OK了
- eg : 简单的手写一下
class MyException {
public:MyException(int errid, string errmsg): _errid(errid), _errmsg(errmsg){}virtual string what() const noexcept {return _errmsg;}virtual int GetErrid() const noexcept {return _errid;}
protected:int _errid;string _errmsg;
};
//继承的子类
class SqlException : public MyException {
public:SqlException(int errid = 0, const char* msg = "") : MyException(errid, msg){}virtual string what() const noexcept {string tmp("SqlException: ");tmp += _errmsg;return tmp;}
};
class CacheException : public MyException {
public:CacheException(int errid = 0, const char* msg = ""): MyException(errid, msg){}virtual string what() const noexcept {string tmp("CacheException: ");tmp += _errmsg;return tmp;}};
class HttpServerException : public MyException {
public:HttpServerException(int errid = 0, const char* msg = ""): MyException(errid, msg){}virtual string what() const noexcept {string tmp("HttpServerException: ");tmp += _errmsg;return tmp;}
};
二. 介绍部分汇编指令和寄存器, 分析函数调用地汇编过程
2.1. 寄存器 汇编指令基础
- epi : 指令寄存器, 存储的是下一条指令的地址
- esp 和 ebp 都是指针寄存器
- esp : 栈顶寄存器, 指向函数栈栈顶, 栈指针
- ebp : 栈底寄存器, 指向栈底, 帧指针
- push : 数据入函数栈, 修改 esp
- pop : 数据出函数栈, 修改 esp
- sub : 减法操作
- add : 加法操作
- call : 函数调用
- jump : 进入调用函数
- ret : 函数调用结束后的返回地址, 返回外层调用函数
- move : 数据转移, 栈顶和栈底改变
2.2. 函数调用栈的汇编指令部分刨析 (VS2019)
- 参数反向push入栈
- call 调用函数, 进去的时候自动push ret地址 (进入被调用函数)
- 函数调用结束的时候ret 之前push的ret地址 (返回调用函数)
- 清理参数, 看处理机制, 有些是被调用函数自己清理, 有些是调用函数清理
三. 智能指针由浅到深的实现
3.1智能指针 RAII技术简介
- 首先搞清楚第一件事情, 为什么我们需要 智能指针, 智能指针是一个针对指针所指向的资源回收和使用管理的一个类。
- 内存泄漏: 什么叫做内存泄漏,内存泄漏指的是我们失去了对于一段内存的掌控, 但是在失去掌控之前并未将其释放掉..... 操作系统将内存从堆区分配我们的进程, 如果我们不主动将其delete掉, 在进程运行过程中,操作系统便无法将其分配给其他进程使用, 然后原本分配到这个内存的主人在使用完后没有将其delete, 这块内存也没办法分配出去, 于是就相当于是内存泄漏了
- 内存泄漏的危害:长期运行的程序出现内存泄漏,影响很大,如操作系统、后台服务等等,出现内存泄漏会 导致响应越来越慢,最终卡死。
- RAII思想:RAII(Resource Acquisition Is Initialization)是一种利用对象生命周期来控制程序资源(如内存、文件句 柄、网络连接、互斥量等等)的简单技术。
- 于是智能指针便出现了, 利用智能指针定义对象的生命周期是有限的, 智能指针定义成栈区对象, 函数结束时候自动会调用析构函数, 自然就会释放资源了.... (向避免死锁的unique_lock 此处的智能指针都是这个思想)
3.2 智能指针最基本框架模型
存在构造析构和基本的指针操作就OK了, 这个是一个大体的框架模型, 是全部都不需要具有的
template<class T >
class SmartPtr {
public:SmartPtr(T* ptr): _ptr(ptr) {}~SmartPtr() {if (_ptr)delete _ptr;}T& operator() {return *_ptr;}T* operator() {return _ptr;}
private:T* _ptr;
};
3.3 4种智能指针特性分析
- auto_ptr : 四种智能指针之一, 问题所在是进行拷贝构造, 赋值之后会出现指针悬空的问题, 如果对于悬空指针进行操作会报错
- unique_ptr : 为了解决auto拷贝和赋值之后的指针悬空的问题, 直接的将拷贝构造和赋值重载进行了一个禁止掉了
- shared_ptr : 还是解决auto拷贝和赋值之后的指针悬空的问题, 只不过它不是通过禁止拷贝和赋值重载的禁止实现的, 而是通过一种叫做引用技术的方式来避免指针的悬空, 不论是赋值, 还是拷贝, 只是将引用计数 + 1 操作, 这样拷贝之后, 原有的指针就不会因为转移给拷贝本被悬空, 而是和拷贝本一起共享同一地址, 同一内存资源。
- 注意: 针对共享的资源的操作一定要注意保护, 避免函数的重入的问题, 利用互斥锁来保证一次只有一个线程对于共享的临界资源进行写入的操作. 所以向引用计数的 + 和 - 操作全部都是需要使用锁保护的
- weak_ptr : 为了解决循环引用的问题, 循环引用, 也就是相互之间都有引用计数关系, 相互之间的释放真正的delete 受到了限制。。。
- shared_ptr解决循环引用的原理: 在引用计数的时候将 _pre 和 _next指针修改成weak_ptr智能指针即可
- 原理就是,node1->_next = node2;和node2->_prev = node1;时weak_ptr的_next和_prev不会增加 node1和node2的引用计数。
struct ListNode
{int _data;weak_ptr<ListNode> _prev;weak_ptr<ListNode> _next;~ListNode() { cout << "~ListNode()" << endl; }
};
3.4 3种智能指针模拟实现代码
auto_ptr
namespace tyj {template<class T>class auto_ptr {public:auto_ptr(T* ptr) : _ptr(ptr) {}auto_ptr(auto_ptr<T>& ap) {_ptr = ap._ptr;//转移资源ap._ptr = nullptr;//原指针悬空}auto_ptr<T>& operator=(auto_ptr<T>& ap) {if (this != &ap) {if (_ptr)delete _ptr;//清理现有资源_ptr = ap._ptr;ap._ptr = nullptr;}}~auto_ptr() {if (_ptr)delete _ptr;}T& operator*() {return *_ptr;}T* operator->() {return _ptr;}private:T* _ptr;};}int main() {int* pint = new int[4]{ 0 };tyj::auto_ptr<int> smartp(pint);*smartp = 1;cout << *smartp << endl;tyj::auto_ptr<int> smartp2(smartp);//*smartp = 1;//cout << *smartp << endl;//smartp 不可以再进行写入了, 已经悬空了return 0;
}
unique_ptr : 直接禁止掉拷贝构造和赋值重载
namespace tyj {template<class T>class unique_ptr {public:unique_ptr(T* ptr = nullptr): _ptr(ptr){}~unique_ptr() {if (_ptr)delete _ptr;}T& operator*() {return *_ptr;}T* operator->() {return _ptr;}private:T* _ptr;unique_ptr(unique_ptr<T>& up) = delete; //禁止掉构造函数unique_ptr<T>& operator=(unique_ptr<T>& up) = delete;//禁止掉复制重载};
}
shared_ptr : 利用引用计数的方式: 因为引用计数算是临界资源, 所以对其的操作必须通过互斥量进行保护, 进行原子操作。。。 (保护临界资源)
namespace tyj {template <class T>class shared_ptr {public:shared_ptr(T* ptr = nullptr) : _ptr(ptr), _pmtx(new mutex), _pRefCount(new int(1)){}~shared_ptr() {Release(); //释放资源}//增加引用计数, 赋值拷贝shared_ptr(const shared_ptr<T>& sp): _ptr(sp._ptr), _pRefCount(sp._pRefCount), _pmtx(sp._pmtx) {AddRefCount();//增加引用计数}shared_ptr<T>& operator=(shared_ptr<T>& sp) {if (this != &sp) {Release();//先释放可能持有的资源_ptr = sp._ptr;_pmtx = sp._pmtx;_pRefCount = sp._pRefCount;AddRefCount();//增加引用计数}return *this;}int UseCount() { return *_pRefCount; }T* Get() {return _ptr;}T& operator*() {return *_ptr;}T* operator->() {return _ptr;}private:void AddRefCount() {//增加引用计数_pmtx->lock();++(*_pRefCount);_pmtx->unlock();}void Release() {//释放资源, 减去一次引用计数bool deleteFlag = 0;//判断是否需要释放资源, 真正的delete_pmtx->lock();if (--(*_pRefCount) == 0) {delete _ptr;delete _pRefCount;deleteFlag = 1;}_pmtx->unlock();if (deleteFlag) {delete _pmtx;//最后释放锁}}private:T* _ptr;//指向管理资源的指针int* _pRefCount;//引用计数指针mutex* _pmtx;//互斥锁};
}
四. 总结
- 本文先介绍了异常的基本模型, 然后提出了异常学习的重点
- 1. try {保护代码}catch(捕获类型) {异常处理逻辑块}
- 2,可以自定义异常类, 可以继承标准类然后重写其中的处理函数, 和异常信息函数
- 3, 异常的处理函数是沿着函数栈往回寻找的, 是沿着函数调用的反方向往回找的, 在被调用函数中找不到处理函数就回到调用函数中寻找处理函数
- 4. 异常类的继承本质原因: 为了利用基类接收所有的派生类对象, 然后调用相同的函数接口, 实现不同的调用结果和不同的处理机制.... 统一使用者的调用接口和类 (使用者只需要使用基类对象引用接收, 掉函数就OK了, 至于具体传入的是什么对象不需要管)
- 5.寄存器和 汇编指令的学习, esp : 栈顶寄存器 ebp : 栈底寄存器 epi : 指令寄存器等等
- 6. 四种智能指针, 智能指针的迭代进化是有原因的:
- auto_ptr 问题是 拷贝或者赋值之后,本体指针会被悬空掉. unique_ptr为了解决指针悬空的问题, 直接的禁止掉了赋值重载和拷贝构造, shared_ptr 解决悬空的方式是加入引用计数, weak_ptr 针对 shared_ptr 的 循环引用 , 相互之间引用, 相互制约, 无法完全释放资源的问题而产生了, 相比shared_ptr 底层原理就是在循环相互引用的时候不进行引用计数的 ++ 来实现的
C++异常处理机制由浅入深, 以及函数调用汇编过程底层刨析. C++11智能指针底层模拟实现相关推荐
- c语言c2182是什么错误,C语言中一种更优雅的异常处理机制
上一篇文章对C语言中的goto语句进行了较深入的阐述,实际上goto语句是面向过程与面向结构化程序语言中,进行异常处理编程的最原始的支持形式.后来为了更好地.更方便地支持异常处理编程机制,使得程序员在 ...
- C异常处理机制:setjmp和longjmp
setjmp()和longjum()是通过操纵过程活动记录实现的.它是C语言所独有的.它们部分你不了C语言有限的转移能力.这个两个函数协同工作,如下所示: *setjmp(jmp_buf j) ...
- C++ 异常处理机制的实现
http://blog.jobbole.com/103925/ 本文深入讨论了VC++编译器异常处理的实现机制.附件源代码包含了一个VC++的异常处理库. 下载源代码 – 19 Kb 介绍 相对于传统 ...
- C++的异常处理机制
前言 异常是一种程序控制机制,与函数机制独立和互补: 函数是一种以栈结构展开的上下函数衔接的程序控制系统,异常是另一种控制结构,它依附于栈结构,却可以同时设置多个异常类型作为网捕条件,从而以类型匹配在 ...
- kotlin协程硬核解读(5. Java异常本质协程异常传播取消和异常处理机制)
版权声明:本文为openXu原创文章[openXu的博客],未经博主允许不得以任何形式转载 文章目录 1. 异常的本质 1.1 操作系统.程序.JVM.进程.线程 1.2 异常方法调用栈 1.3 ja ...
- 最全最详细的Java异常处理机制
一.异常概述与异常体系结构 异常概述 在使用计算机语言进行项目开发的过程中,即使程序员把代码写得尽善尽美,在系统的运行过程中仍然会遇到一些问题,因为很多问题不是靠代码能够避免的,比如:客户输入数据的格 ...
- 【Python学习教程】Python异常处理机制
文章目录 什么是异常处理,Python常见异常类型(入门必读) Python语法错误 Python运行时错误 Python异常处理机制到底有什么用? Python try except异常处理详解(入 ...
- Go语言的错误异常处理机制及其应用
一.背景 在日常编写golang程序或阅读别人的golang代码时,我们总会看到如下的一堆代码块: xx, err = func(xx) if err != nil {//do sth. to tac ...
- recover 没有捕获异常_GO语言异常处理机制panic和recover分析
本文实例分析了GO语言异常处理机制panic和recover.分享给大家供大家参考.具体如下: Golang 有2个内置的函数 panic() 和 recover(),用以报告和捕获运行时发生的程序错 ...
最新文章
- Ubifs Support
- failed building wheel for termcolor_for循环优化,List分组,多线程的写法
- java转net容易吗_每日一醒(1):学习Java容易忽视的小错误,你注意到了吗?
- CF848E-Days of Floral Colours【dp,分治NTT】
- 漂亮的html页面源码_爬虫数据分析之html
- 渗透中Poc、Exp、Payload、Rce与Shellcode的区别
- 苹果手机计算机键盘声音怎么办,苹果键盘声音怎么设置大小声
- python基础教程菜鸟教程-终于懂得python入门菜鸟教程
- 华为鸿蒙os2.0系统beta,华为发布HarmonyOS 2系统:万物互联时代鸿蒙大一统
- 第一章 项目管理引论
- 使用JAVA命令查看JVM参数
- Mysql中修改字段类型、长度以及添加删除列
- 计算机电子书 2019 归档
- ArcGISServer 10.2发布地理处理服务:以CAD数据至地理数据库为例(2)发布地理处理服务
- 成都拓嘉辰丰:拼多多商家是否可以代销
- 不足200行代码,我用python写了一个上课点名系统。还没开学的你们慌了吗?
- 科技「垦荒」,AI护虎
- ESP32/ESP32S2直连腾讯云,实现微信小程序控制
- 热门应用借微信玩花样:一大波红包正在来袭
- windows8.1 下搭建配置apache+php+mysql