C++——异常的使用

作者：小 琛
欢迎转载，请标明出处

异常的提出

在我们平时写C语言程序时，经常出现会出现一些错误，有些是我们可以预测到的，这些我们可以通过返回错误码，或者设置回调函数打印错误信息等方法处理。但还有些程错误是我们不好预测的，如断错误，这时产生错误我们没有处理就会终止程序，然而我们经常运行程序后遇到错误不希望终止，如我们进程使用一些垃圾软件会闪退，这就是因为他门的程序异常没有处理好，所以遇到预测范围外的错误时，程序就会直接终止。所以为了解决这种情况，在C++里面就提出了异常处理机制，当一个函数无法处理产生的错误时，就抛出异常，让函数的调用者直接或者间接处理从错误。

异常的概念与使用

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

• throw：当问题出现时，程序会抛出一个异常。这是通过使用throw关键字来完成的。
• catch：在使用者想要处理问题的地方，通过异常处理程序捕获异常。catch关键字用于捕获异常，允许多个catch进行捕获。
• try：块中的代码标识将被激活的特定异常，它后面通常跟着一个或者多个catch块。
  
  举个例子：

int main()
{
	try
	{
		vector<int> v(10, 5);
		// 这里如果系统内存不够也会抛异常
		v.reserve(1000000000);
		// 这里越界会抛异常
		v.at(10) = 100;
	}
	catch (...)
	{
		cout << "error" << endl;
	}
	return 0;
}

异常使用的注意点

1.代码中抛出异常对象后，会在函数调用链里与该对象类型匹配且离抛出异常处最近的catch匹配（就近原则）。

2.异常抛出后，会打乱程序执行流，会释放局部存储对象，因此在调试含异常的代码比较难调试。

3.异常抛出的类型必须和catch捕捉的类型必须匹配才可捕获，只有以下三种情况例外：
(1)允许非const对象到const对象的转换
(2)允许派生类到基类的转换，这一点很重要，因为C++库的exception就用到了这条原理。
(3)将数组转换为指向数组的指针，将函数转换为指向函数的指针。

4.(异常的再次抛出)catch可以将收到的异常处理后再次抛给外层调用链，再由外层catch进一步处理。

5.不要在析构函数里和构造函数里抛异常。分别可能会导致对象数据清理不完全，造成内存泄漏。可能会造成对象初始化不完全，在别人使用时可能调用都野指针。

C++标准库中的exception

在写一些项目时，会分工不同的人来合作，假设有三个人来实现三个不同的功能的接口，而我要调用他们三个人设计的接口，他们都使用了异常。但我又不知道他们抛出的异常都有什么类型，就算知道，在大型项目里也要常设计好多种类型的异常，难道要每种类型设置一个catch吗？那怎么办呢？

exception是C++标准库提供的一个抽象类，通过重写基类里的what函数实现针对不同异常的处理（what是用来展示异常原因的）。那么我调用他们的接口就可以接收所有的子类异常了，通过e.what()就可以展示出异常信息。

如果不明白看下面栗子。

int main()
{
	try
	{
		vector<int> v(10, 5);
		// 这里如果系统内存不够也会抛异常
		v.reserve(1000000000);
		// 这里越界会抛异常
		v.at(10) = 100;
	}
	catch (exception& e)
	{
		cout << e.what() << endl;
	}
	return 0;
}

exception对应的内容：

参考文章：
文献链接