C++基础（二十一）：异常

于 2024-07-15 09:46:50 发布
阅读量485 收藏 4
点赞数 13
分类专栏： C++面向对象编程 文章标签： java jvm 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_47040031/article/details/140425480
版权

        在这一篇博客中，我们将介绍C++中的异常处理机制。异常处理是编写健壮和可靠代码的关键技术之一。当程序运行过程中出现错误时，通过使用try、catch和throw关键字，我们可以捕获并处理这些异常，从而防止程序崩溃。我们将通过具体的代码示例来演示如何抛出异常、如何捕获并处理异常，以及如何编写能够更好地应对错误情况的代码。通过本节课的学习，大家将掌握基本的异常处理技巧，为编写高质量的C++程序打下坚实的基础。

目录

一、C语言传统的处理错误的方式

二、C++异常概念

三、异常的使用

3.1 异常的抛出和捕获

3.2 异常的重新抛出

3.3异常安全

3.4 异常规范

四、自定义异常体系

五、C++标准库的异常体系

六、异常的优缺点（面试）

6.1 C++异常的优点

6.2 C++异常的缺点

一、C语言传统的处理错误的方式

传统的错误处理机制：

  1. 终止程序，如assert，缺陷：用户难以接受。如发生内存错误，除0错误时就会终止程序。
  2. 返回错误码，缺陷：需要程序员自己去查找对应的错误。如系统的很多库的接口函数都是通过把错误码放到errno中，表示错误

       实际中C语言基本都是使用返回错误码的方式处理错误，部分情况下使用终止程序处理非常严重的错误。

传统的处理错误的方式的缺陷：

  1. 拿到错误码，需要查找错误码表，才能知道是什么发生错误；
  2. 如果一个函数的返回的正确的数据和返回的错误码是一样的无法区分，发生错误时很难处理；
  3. 如果调用的函数栈很深，一层层返回错误码，函数栈帧的退出消耗空间；

二、C++异常概念

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

  1. throw: 当问题出现时，程序会抛出一个任意类型的异常对象。这是通过使用 throw 关键字来完成的。
  2. catch: 在您想要处理问题的地方，通过异常处理程序来捕获异常。catch 关键字用于捕获异常，可以有多个catch进行捕获。
  3.   try:    try块中的代码是可能会发生异常的代码，它后面通常跟着一个或多个 catch 块。

       如果有一个块使用throwz抛出一个任意类型的异常对象，捕获异常的方法会使用 try 和 catch 关键字。try 块中放置可能抛出异常的代码，try 块中的代码被称为保护代码。catch块就是对于异常的处理办法，使用 try/catch 语句的语法如下所示：

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

 示例如下：

#include <iostream>
#include <string>
using namespace std;

int div1(int n, int m)
{
	if (m == 0)
	{
		//throw - 1;
		throw  string("发生除0错误");       //可以抛出任意类型的对象 ，直接跳到throw匹配的地方执行
	}
	return n / m;
}



int main()
{
	try
	{
		int n, m;
		cin >> n >> m;
		cout << div1(n , m) << endl;
	}

	catch(int err)
	{
		cout << "发生除0错误" << err << endl;
	}

	catch (const string& err)
	{
		cout <<  err << endl;
	}
}

三、异常的使用

3.1 异常的抛出和捕获

异常的抛出和匹配原则：

  1. 异常是通过抛出对象而引发的，该对象的类型决定了应该激活哪个catch的处理代码。
  2. 被选中的异常处理代码是调用链（函数的调用关系）中与该对象类型匹配且离抛出异常位置最近的那一个。
  3. 抛出异常对象后，会生成一个异常对象的拷贝，因为抛出的异常对象可能是一个临时对象， 所以会生成一个拷贝对象，这个拷贝的临时对象会在被catch以后销毁。（这里的处理类似于函数的传值返回）
  4. catch(...)可以捕获没有匹配的任意类型的异常，避免没有异常捕获时程序直接终止了，问题是不知道异常错误是什么。
  5. 实际中抛出和捕获的匹配原则有个例外，并不都是类型完全匹配，可以抛出的派生类对象， 使用基类捕获，这个在实际中非常实用，我们后面会详细讲解这个。

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

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

3.2 异常的重新抛出

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

#include <iostream>
#include <string>
using namespace std;

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;
}

3.3异常安全

  1. 构造函数完成对象的构造和初始化，最好不要在构造函数中抛出异常，否则可能导致对象不 完整或没有完全初始化。
  2. 析构函数主要完成资源的清理，最好不要在析构函数内抛出异常，否则可能导致资源泄漏(内 存泄漏、句柄未关闭等)
  3. C++中异常经常会导致资源泄漏的问题，比如在new和delete中抛出了异常，导致内存泄漏

          在lock和unlock之间抛出了异常导致死锁，C++经常使用RAII来解决以上问题，关于RAII我们智能指针这节进行讲解。

3.4 异常规范

  1. 异常规格说明的目的是为了让函数使用者知道该函数可能抛出的异常有哪些。 可以在函数的后面接throw(类型)，列出这个函数可能抛掷的所有异常类型。
  2. 函数的后面接throw()，表示函数不抛异常。
  3. 若无异常接口声明，则此函数可以抛掷任何类型的异常。
// 这里表示这个函数会抛出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++11 中新增的noexcept，表示不会抛异常
thread() noexcept;
thread(thread&& x) noexcept;

四、自定义异常体系

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

#define _CRT_SECURE_NO_WARNINGS 1 // 禁用一些编译器安全警告

#include <iostream>
#include <string>
using namespace std;

// 定义一个基础的异常类 Exception
class Exception
{
public:
    // 构造函数，初始化错误信息和错误ID
    Exception(const string& errmsg, int id)
        :_errmsg(errmsg), _id(id)
    {}

    // 虚函数 what，返回错误信息
    virtual string what() const
    {
        return _errmsg;
    }

protected:
    string _errmsg; // 错误信息
    int _id; // 错误ID
};

// 继承自 Exception 的 SQL 异常类
class SqlException : public Exception
{
public:
    // 构造函数，初始化错误信息、错误ID和SQL语句
    SqlException(const string& errmsg, int id, const string& sql)
        :Exception(errmsg, id), _sql(sql)
    {}

    // 重写 what 函数，返回详细的 SQL 异常信息
    virtual string what() const
    {
        string str = "SqlException:";
        str += _errmsg;
        str += "->";
        str += _sql;
        return str;
    }
private:
    const string _sql; // 相关的 SQL 语句
};

// 继承自 Exception 的缓存异常类
class CacheException : public Exception
{
public:
    // 构造函数，初始化错误信息和错误ID
    CacheException(const string& errmsg, int id)
        :Exception(errmsg, id)
    {}

    // 重写 what 函数，返回详细的缓存异常信息
    virtual string what() const
    {
        string str = "CacheException:";
        str += _errmsg;
        return str;
    }
};

// 继承自 Exception 的 HTTP 服务器异常类
class HttpServerException : public Exception
{
public:
    // 构造函数，初始化错误信息、错误ID和请求类型
    HttpServerException(const string& errmsg, int id, const string& type)
        :Exception(errmsg, id), _type(type)
    {}

    // 重写 what 函数，返回详细的 HTTP 服务器异常信息
    virtual string what() const
    {
        string str = "HttpServerException:";
        str += _type;
        str += ":";
        str += _errmsg;
        return str;
    }
private:
    const string _type; // 请求类型
};

// 模拟 SQL 管理功能，可能抛出 SqlException
void SQLMgr()
{
    srand(time(0));
    if (rand() % 7 == 0)
    {
        throw SqlException("权限不足", 100, "select * from name = '张三'");
    }
    //throw "xxxxxx";
}

// 模拟缓存管理功能，可能抛出 CacheException 或调用 SQLMgr
void CacheMgr()
{
    srand(time(0));
    if (rand() % 5 == 0)
    {
        throw CacheException("权限不足", 100);
    }
    else if (rand() % 6 == 0)
    {
        throw CacheException("数据不存在", 101);
    }
    SQLMgr();
}

// 模拟 HTTP 服务器功能，可能抛出 HttpServerException 或调用 CacheMgr
void HttpServer()
{
    // ...
    srand(time(0));
    if (rand() % 3 == 0)
    {
        throw HttpServerException("请求资源不存在", 100, "get");
    }
    else if (rand() % 4 == 0)
    {
        throw HttpServerException("权限不足", 101, "post");
    }
    CacheMgr();
}

// 主函数，循环调用 HttpServer 并捕获异常
int main()
{
    while (1)
    {
        try {
            HttpServer();
        }
        catch (const Exception& e) // 捕获 Exception 类及其派生类的异常
        {
            // 多态
            cout << e.what() << endl;
        }
        catch (...)
        {
            cout << "Unknown Exception" << endl;
        }
    }
    return 0;
}

五、C++标准库的异常体系

       C++ 提供了一系列标准的异常，定义在  中，我们可以在程序中使用这些标准的异常。它们是以父 子类层次结构组织起来的，如下所示：

六、异常的优缺点（面试）

6.1 C++异常的优点

  1. 异常对象定义好了，相比错误码的方式可以清晰准确的展示出错误的各种信息，甚至可以包 含堆栈调用的信息，这样可以帮助更好的定位程序的bug。
  2. 返回错误码的传统方式有个很大的问题就是，在函数调用链中，深层的函数返回了错误，那 么我们得层层返回错误，最外层才能拿到错误，具体看下面的详细解释。
  3. 很多的第三方库都包含异常，比如boost、gtest、gmock等等常用的库，那么我们使用它们也需要使用异常。
  4.  部分函数使用异常更好处理，比如构造函数没有返回值，不方便使用错误码方式处理。比如 T& operator这样的函数，如果pos越界了只能使用异常或者终止程序处理，没办法通过返回值表示错误。

6.2 C++异常的缺点

  1. 异常会导致程序的执行流乱跳，并且非常的混乱，并且是运行时出错抛异常就会乱跳。这会 导致我们跟踪调试时以及分析程序时，比较困难。
  2. 异常会有一些性能的开销。当然在现代硬件速度很快的情况下，这个影响基本忽略不计。
  3. C++没有垃圾回收机制，资源需要自己管理。有了异常非常容易导致内存泄漏、死锁等异常安全问题。这个需要使用RAII来处理资源的管理问题。学习成本较高。
  4. C++标准库的异常体系定义得不好，导致大家各自定义各自的异常体系，非常的混乱。
  5. 异常尽量规范使用，否则后果不堪设想，随意抛异常，外层捕获的用户苦不堪言。所以异常 规范有两点：一、抛出异常类型都继承自一个基类。二、函数是否抛异常、抛什么异常，都 使用 func（） throw();的方式规范化。

总结：异常总体而言，利大于弊，所以工程中我们还是鼓励使用异常的。另外OO的语言基本都是 用异常处理错误，这也可以看出这是大势所趋。

至此，这一讲内容介绍完毕，内容简单，星光不问赶路人，加油吧，感谢阅读，如果对此专栏感兴趣，点赞加关注！

未来可期，静待花开~
关注
  • 13
    点赞
  • 踩
  • 4
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
C++软件调试与异常排查从入门到精通系列文章汇总
dvlinker的技术专栏
06-29 15万+
根据近几年排查软件异常的实践与经验，系统地讲解了C++软件异常常见原因与常用排查方法，以图文并茂的方式给出具体的分析实例，带领大家逐步掌握C++软件异常排查的相关技术与要领。
引发C++软件异常的常见原因分析与总结（实战经验分享）
dvlinker的技术专栏
05-30 5万+
本文根据近几年排查C++软件异常的实践经历与实战经验，详细地总结出引发C++软件异常的常见原因，给大家提供一些借鉴和参考，以帮助大家快速地定位问题。
C++基础：异常处理
水木年崋
05-22 2264
介绍异常机制、捕获、类别等
C++ std::array用法
weixin_57165154的博客
04-13 1990
Array的那些事
C++：函数：匿名函数Lambda
C++ JAVA的专栏
11-16 4504
C++：函数：匿名函数Lambda
C++ std::deque
肥猫王德福的博客
02-02 4507
重点： deque: double-end queue，双端队列 std::deque 不像 vector 把所有的对象保存在一块连续的内存块，而是采用多个连续的存储块，在一个映射结构中对这些内存块及顺序进行跟踪。 优点快速地随机访问，支持[ ]操作符和at()。首尾两端进行快速的push、pop操作O(1)，支持其他位置插入和删除操作O(n) 。 缺点:内存占用较多。 1. deque、构造函数1.1 deque简介   1. deque、构造函数 1.1 deque简介   std::dequ.
C++11 多线程（std::thread）详解
热门推荐
jcShan709的博客
07-17 10万+
注：此教程以 Visual Studio 2019 Version 16.10.3 （MSVC 19.29.30038.1) 为标准 文章目录线程？进程？多线程？什么是多线程？进程与线程的区别C++11的std::threadstd::thread常用成员函数构造&析构函数常用成员函数举个栗子例一：thread的基本使用例二：thread执行有参数的函数例三：thread执行带有引用参数的函数注意事项（剩下的内容还没写完，明天再更） 线程？进程？多线程？ 什么是多线程？ 百度百科中的解释： 多.
【C++】基础：Google编码风格学习
DevFrank的博客
03-13 2734
当函数被声明为内联函数后，编译器会将其内联展开，而不是按通常的函数调用机制进行调用。命名空间将全局作用域细分为独立的，具名的作用域，可有效防止全局作用域的命名冲突。通常人们假定 short 是16位，int是32位，long是32位，long long是64位。若要使用函数重载，则必须能让读者一看调用点就胸有成竹，而不用花心思猜测调用的重载函数到底是哪一种，这一规则也适用于构造函数。函数声明处的注释描述函数功能，定义处的注释描述函数实现。函数命名，变量命名，文件命名要有描述性，少用缩写。
C++ 异常处理
风间琉璃的博客
10-10 6725
C++标准库当中的异常也是一个基础体系，其中exception就是各个异常类的基类，我们可以在程序中使用这些标准的异常，它们之间的继承关系如下：std::exception 该异常是所有标准C++异常的父类。std::bad_alloc 该异常可以通过new抛出。std::bad_cast 该异常可以通过dynamic_cast抛出。std::bad_exception 这在处理C++程序中无法预期的异常时非常有用。
C/C++编程：std::thread 详解
OceanStar的博客
07-15 1万+
上一篇博客《C++11 并发指南一(C++11 多线程初探)》中只是提到了 std::thread 的基本用法，并给出了一个最简单的例子，本文将稍微详细地介绍 std::thread 的用法。 std::thread 在 <thread>头文件中声明，因此使用 std::thread 时需要包含 <thread> 头文件。 std::thread 构造 default (1) thread() noexcept; initialization (2) temp
C++基础入门：异常处理和模板编程.docx
08-06
C++异常处理是程序设计中的一个关键组成部分，它允许开发者优雅地处理运行时错误和异常情况，而不是让程序崩溃。异常处理通过try、catch和throw关键字实现。try块包含可能会抛出异常的代码，catch块则捕获并处理相应...
"C++ 快速入门：面向对象编程基础"
07-10
C++是一种通用的、静态类型编译型的、过程式的、面向对象的、模板的编程语言，由Bjarne Stroustrup在20世纪70年代末期开发。... - C++支持异常处理机制，允许程序在发生错误时进行优雅的恢复。 8. **C兼容性**： - C+
C++运行环境：Dev-C++6.5
07-04
Dev-C++是一款经典的C++集成开发环境（IDE），特别适合初学者进行C++基础编程学习。这个软件提供了编译、调试、编辑等一站式服务，使得编程过程更为便捷。以下是关于Dev-C++及其与C++编程相关的一些核心知识点： 1....
C++箴言：防止异常离开析构函数
07-26
本文给大家分享了C++箴言：防止异常离开析构函数。
c++基础教程
04-18
本教程“C++基础教程”旨在帮助初学者掌握C++编程的基本概念和技术，为后续深入学习打下坚实的基础。 一、C++语言概述 C++是由Bjarne Stroustrup在C语言的基础上扩展而来的，它引入了类和对象的概念，支持面向对象...
配置Java开发环境
Broken_x的博客
07-10 1556
Java开发环境配置
java版的上门家政系统和PHP版的上门家政有什么区别？
baina666的博客
07-12 526
综上所述，Java版和PHP版的上门家政系统各有优缺点，选择哪种语言主要取决于项目的具体需求、预算、开发团队的技术栈以及未来的扩展计划等因素。同时，由于Java生态系统的复杂性和多样性，也可能需要投入更多的时间和资源来学习和掌握相关的技术和工具。Java版：Java拥有庞大的生态系统和丰富的第三方库，这为家政系统的开发和扩展提供了强大的支持。Java版：由于Java的编译执行机制和高效的垃圾回收算法，Java版家政系统通常具有更高的运行效率和更好的性能表现，尤其是在处理高并发、大数据量等复杂场景时。
【Go系列】 Sync并发控制
最新发布
u013379032的博客
07-14 640
在上一篇文章中，我们介绍了goroutine和channel，理论上，通过channel可以实现并发控制，但是其他语言的开发者可能更习惯一些原子操作的库。当然Go语言也会提供这样的库，所以我们今天了解一下sync库。
elk部署springboot
Chihirozy的博客
07-11 383
elk部署springboot。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

未来可期，静待花开~

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值