C C++最全异常(C++)_c++捕获所有的异常(2)，35岁以后的C C++程序员出路在哪里-CSDN博客

本文链接：https://blog.csdn.net/2401_84978490/article/details/138877887

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上C C++开发知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

如果你需要这些资料，可以戳这里获取

运行结果如下：
在这里插入图片描述

catch(…)

在这里插入图片描述

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

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

在这里插入图片描述

异常的重新抛出

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

int Division(int a, int b) {
	// 当b == 0时抛出异常
	if (b == 0)
	{
		throw "除0错误!";
	}
	return a / 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;
}

异常安全

构造函数完成对象的构造和初始化，最好不要在构造函数中抛出异常，否则可能导致对象不完整或没有完全初始化
析构函数主要完成资源的清理，最好不要在析构函数内抛出异常，否则可能导致资源泄漏(内存泄漏、句柄未关闭等)
C++中异常经常会导致资源泄漏的问题，比如在new和delete中抛出了异常，导致内存泄漏，在lock和unlock之间抛出了异常导致死锁，C++经常使用RAII来解决以上问题，RAII后面智能指针讲解。

异常规范

异常规格说明的目的是为了让函数使用者知道该函数可能抛出的异常有哪些。可以在函数的后面接
throw(类型)，列出这个函数可能抛掷的所有异常类型。
函数的后面接throw()，表示函数不抛异常。
若无异常接口声明，则此函数可以抛掷任何类型的异常。

例子：

// 这里表示这个函数会抛出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 new (std::size_t size, void\* ptr) throw();

注意：

函数声明的异常规范不是强制的

自定义异常体系

如果你抛一个异常，他抛一个异常，XXX都抛了异常，那么上层捕获的人就会很难受。所以实际中都会定义一套继承的规范体系。这样大家抛出的都是继承的派生类对象，捕获一个基类就可以了。
在这里插入图片描述

class MyExcetion
{
public:
	MyExcetion(int errid, const char\* errmsg)
		:\_errid(errid)
		, \_errmsg(errmsg)
	{}

	int GetErrId() const
	{
		return _errid;
	}

	virtual string what() const
	{
		return _errmsg;
	}

protected:
	int _errid;
	string _errmsg;
	// ...
};

class CacheExcetion : public MyExcetion
{
public:
	CacheExcetion(int errid, const char\* errmsg)
		:MyExcetion(errid, errmsg)
	{}

	virtual string what() const
	{
		string msg = "CacheExcetion：";
		return msg;
	}

protected:
	// ...
};

void f1()
{
	// ....
	int i;
	cin >> i;
	if (i == 0)
	{
		throw CacheExcetion(1, "数据不存在");
	}
}

int main()
{
	try
	{
		f1();
	}
	catch (const MyExcetion& e) // 只捕获基类
	{
		cout << "错误描述：" << e.what() << endl; // 多态
	}
	catch (...) // 任意类型的异常
	{
		cout << "未知异常" << endl;
	}

	return 0;
}

运行结果如下：
在这里插入图片描述

C++标准库的异常体系

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

标准异常类的成员：

在上述继承体系中，每个类都有提供了构造函数、复制构造函数、和赋值操作符重载。
logic_error类及其子类、runtime_error类及其子类，它们的构造函数是接受一个string类型的形式参数，用于异常信息的描述
所有的异常类都有一个what()方法，返回const char* 类型（C风格字符串）的值描述异常信息。

标准异常类的具体描述

异常名称	描述
exception	所有标准异常类的父类
bad_alloc	当operator new and operator new[]，请求分配内存失败时
bad_exception	这是个特殊的异常，如果函数的异常抛出列表里声明了bad_exception异常，当函数内部抛出了异常抛出列表中没有的异常，这是调用的unexpected函数中若抛出异常，不论什么类型，都会被替换为bad_exception类型
bad_typeid	使用typeid操作符，操作一个NULL指针，而该指针是带有虚函数的类，这时抛出bad_typeid异常
bad_cast	使用dynamic_cast转换引用失败的时候
ios_base::failure	io操作过程出现错误
logic_error	逻辑错误，可以在运行前检测的错误
runtime_error	运行时错误，仅在运行时才可以检测的错误