C++之异常

异常：

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

 

C语言中的错误处理

在我们的C语言中遇到了错误通常有这三种处理方法

1.程序终止：比如程序异常，出现了除0错误。还有断言assert引起的终止。

2.返回错误码，然后需要我们自己去查对应的错误。

3.C 标准库中setjmp和longjmp组合。

 

而在C++中就有了异常，那么是如何使用的呢？

通常是三步

1.throw:当问题出现时，程序会抛出一个异常。

2.catch:在您想要处理问题的地方，通过异常处理程序捕获异常.可以有多个catch进行捕获。

3. try 块中的代码标识将被激活的特定异常,它后面通常跟着一个或多个catch块。

先用一段简单的代码来说明

double Div(int a, int b)
{
	if (b == 0)
		throw "Division by zero condition!";
	else
		return (double)a / (double)b;
}

double Fun()
{
	int a = 0;
	int b = 0;
	cin >> a >> b;
	return Div(a, b);
}

int main()
{
	try
	{
		cout << Fun() << endl;
	}
	catch (const char* errmsg)
	{
		cout << errmsg << endl;
	}

	catch (...)
	{
		cout << "do not know exception type" << endl;
	}
	return 0;
}

 

 

当然异常的使用也是有规则的

1.异常是通过抛出对象而引发的。该对象的类型决定了该激活哪个catch的处理代码。

2.被选中的处理代码是调用链中与该对象类型匹配且离抛出异常位置最近的那一个，如果后面还有catch会跳过。

3. 抛出异常对象后，会生成一个异常对象的拷贝，因为抛出的异常对象可能是一个临时对象，所以会生成一个拷贝对象，这个拷贝的临时对象会在被catch以后销毁。

4.catch(...)可以捕获任意类型的异常。但不知道异常错误是什么。

 

异常匹配的例外：

可以抛出的派生类对象，使用基类捕获。

 

异常的重新抛出

   什么是异常的重新抛出呢？

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

double Div(int a, int b)
{
	if (b == 0)
		throw "Division by zero condition!";
	else
		return (double)a / (double)b;
}

double Fun()
{
	char* arr = new char(10);

	try
	{
		int a = 0;
		int b = 0;
		cin >> a >> b;
		cout << Div(a, b) << endl;
	}
	catch (...)
	{
		cout << "delete[] arr" << endl;
		delete[] arr;
		throw;	
	}

	cout << "delete[] arr" << endl;
	delete[] arr;
}

int main()
{
	try
	{
		cout << Fun() << endl;
	}
	catch (const char* errmsg)
	{
		cout << errmsg << endl;
	}

	catch (...)
	{
		cout << "do not know exception type" << endl;
	}
	return 0;
}

我们在Fun里进行了再次抛出异常，捕获。在这个例子里，如果不重新抛出，一旦出现除0错误将会来到catch而不会释放掉一开始申请的空间，会造成内存泄漏的问题。

 

异常安全

异常安全问题主要有四点

1.最好不要在构造函数中抛出异常，因为构造函数是完成对象的构造和初始化，在构造函数中抛异常可能导致，对象初始化不完全的问题。

2.最好不要在析构函数中抛出异常，析构函数是完成清理工作，在析构函数中抛异常可能导致资源泄漏。

3.在new 和 delete之间抛异常可能会导致内存泄漏

4.在 lock 和 unlock 中抛异常可能导致死锁问题。

 

异常规范问题

主要有三种类型

// 这里表示这个函数会抛出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();

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

 

 

最后我们谈一下异常的优缺点

优点：

1.异常对象定义好了，想比错误码可以更清晰的展示错误的各种信息。可以更好的定位程序bug。

2. 返回错误码的传统方式有个很大的问题就是，在函数调用链中，深层的函数返回了错误，那么我们得层层返回错误，最外层才能拿到错误。

3. 很多的第三方库都包含异常，比如boost、gtest、gmock等等常用的库，那么我们使用它们也需要使用异常。

4.部分函数使用异常更好处理，比如构造函数没有返回值，不方便使用错误码方式处理。比如T& operator这样的函数，如果pos越界了只能使用异常或者终止程序处理，没办法通过返回值表示错误

 

缺点：

1. 异常会导致程序的执行流乱跳，并且非常的混乱，并且是运行时出错抛异常就会乱跳。这会导致我们跟踪调试时以及分析程序时，比较困难。

2.异常会有一些性能的开销。

3.C++没有回收机制，有了异常很容易会产生异常安全的问题。

4.C++标准库定义的异常体系定义的不太好

5.异常要规范使用，如果随意抛异常，外层捕获的用户将会很难受。