C++11新特性之关键字noexcept

用于指定某个函数不抛出异常

为了替代 throw() 而提出的一个新的关键字

throw

double func1 (char param) throw(int);

函数 func1 只能抛出 int 类型的异常。如果抛出其他类型的异常，try 将无法捕获，并直接调用 std::unexpected。

如果函数会抛出多种类型的异常，那么可以用逗号隔开，

double func2 (char param) throw(int, char, exception);

如果函数不会抛出任何异常，那么只需写一个空括号即可，

double func3 (char param) throw();

同样的，如果函数 func3 还是抛出异常了，try 也会检测不到，并且也会直接调用 std::unexpected。

noexcept

预先知道函数不会抛出异常有助于简化调用该函数的代码，而且编译器确认函数不会抛出异常，它就能执行某些特殊的优化操作。

void func(int x) noexcept; //不抛出异常

void func1(int x); //抛出异常

（1）对于一个函数来说，noexcept说明要么出现在该函数的所有生命语句和定义语句中，要么一次也不出现。

（2）可以再函数指针的声明和定义中指定noexcept。

（3）在typedef和类型别名中不可以出现noexcept。

（4）在成员函数中，noexcept需要跟在const以及引用限定符之后，在final、override或虚函数=0之前。

void func() noexcept { throw exception(); }

注意：上面的程序违反了异常说明，但是编译通过（编译器在编译阶段不会检查报错），在程序执行过程中，程序会调用terminate以确保遵守不在运行时抛出异常的承诺。

noexcept可以接受一个可选的实参，该参数必须能转换为bool类型

void func(int x) noexcept(true); //不抛出异常 
void func(int x) noexcept(false); //抛出异常

noexcept运算符是一个一元运算符，它的返回值是一个bool类型的右值常量表达式，用于表示给定的表达式是否会抛出异常。

noexcept(f()); //如果f()不抛出异常则结果为true，否则为false 
noexcept(e); //当e调用的所有函数都做了步抛出说明且e本身不含有throw语句时，表达式为true，否则返回false

使用建议

我们所编写的函数默认都不使用，只有遇到以下的情况你再思考是否需要使用，

1. 析构函数这不用多说，必须也应该为 noexcept。
2. 构造函数（普通、复制、移动），赋值运算符重载函数尽量让上面的函数都是 noexcept，这可能会给你的代码带来一定的运行期执行效率。
3. 还有那些你可以 100% 保证不会 throw 的函数

比如像是 int，pointer 这类的 getter，setter 都可以用 noexcept。因为不可能出错。但请一定要注意，不能保证的地方请不要用，否则会害人害己！切记！如果你还是不知道该在哪里用，可以看下准标准库 Boost 的源码，全局搜索 BOOST_NOEXCEPT，你就大概明白了。