C++异常处理

《C++ primer》第五版 18.1 异常处理

关键字：throw、noexcept、try…catch、exception

异常处理（exception handle）机制事得代码能将异常的检测和解决过程分离开。检测环节无需知道问题处理模块的所有细节。

1. throw表达式抛出异常
2. try catch语句块检测并处理异常
3. exception用于在throw表达式和相关的catch子句之间传递异常的具体信息

当一个异常抛出后，程序暂停当前函数的执行过程并立即开始查找与异常匹配的catch子句，若在当前函数没有找到，则会在调用当前函数的外部继续查找，沿调用链一直到找到为止。若最终都没有找到则退出主函数后查找过程终止。这个过程被称为栈展开（stack unwinding）过程。
在栈展开的过程中，对象被自动销毁。所以析构函数不应该抛出不能被它自身处理的异常，否则将导致资源不能正确释放。

我写代码的习惯通常是不喜欢抛出异常的，经常是检测到不能正确执行就return，通过返回值来告知调用者出现的异常。这也是C语言的错误处理方式。这种方式可以避免栈展开，包括google等很多公司的C++代码规范中都不建议使用try catch来处理异常。

noexcept可告知编译器此函数不会抛出异常，有助于编译器优化操作。如果声明了noexcept，而函数中又抛出了异常，则程序会调用terminate，直接终止程序。

---

1. 声明函数是否抛出异常

在c++11之前，通常使用throw()声明函数异常：

class A
{
public:
	void show() throw();	// 不抛出异常，与noexcept相同
	void show1() throw(int);	// 可能抛出int型异常，一定没有其他类型异常，可用catch(int& err)捕获；c++11已弃用
	void show2() throw(int,double);	// 异常类型列表，可能抛出int或double类型异常；c++11已弃用
}

c++11开始，使用noecxept声明函数异常：

class A
{
public:
	void show();	// 可能抛出异常	
	void show1() noexcept; // 不抛出异常；若抛出异常则终止程序
	void show2() noexcept(true);	// 不抛出异常，与noexcept相同
	void show3() noexcept(false);	// 可能抛出异常
}

noexcept要不同时出现在函数的定义和声明中，要不就都不出现。还可以在函数指针的声明和定义中出现：

typedef void (*pFun)(int) noexcept;
typedef void *(*pFun2)(size_t);

void *write(size_t v) noexcept
{
	return NULL;
}

int main()
{
    pFun a = write;	// ok
    pFun2 b = malloc;	// ok
    pFun c = malloc;	// 错误，可能发生异常的函数不能赋值给noexcept函数
    pFun2 d = write;	// ok，noexcept可以赋值给可能发生异常的函数
}

2. noexcept运算符

noexcept运算符是一个一元运算符，返回一个bool类型的右值常量表达式，用于表示给定的表达式是否会抛出异常。和sizeof一样，并不会对函数进行运算求值。

const bool no_except = noexcept(malloc(0));

更多时候，函数是否抛出异常并不是由自身决定的，而是由函数内调用的函数决定：

void *MyMalloc(size_t _size) noexcept(noexcept(malloc(_size)))
{
    return malloc(_size);
}

3. 标准异常

异常类	说明	所在头文件
exception	通用错误类型	exception
bad_alloc	new 错误	new
runtime_error	运行时检测出的错误	stdexcept
range_error	运行时错误：超出范围错误
overflow_error	运行时错误：计算上溢
underflow_error	运行时错误：计算下溢
logic_error	程序逻辑错误
domain_error	逻辑错误：参数对应的结果值不存在
invalid_error	逻辑错误：无效参数
length_error	逻辑错误：长度超出范围
out_of_error	逻辑错误：超出有效范围