C++学习笔记

该关键字告诉编译器，函数中不会发生异常,这有利于编译器对程序做更多的优化。
如果在运行时，noexecpt函数向外抛出了异常（如果函数内部捕捉了异常并完成处理，这种情况不算抛出异常），程序会直接终止，调用std::terminate()函数，该函数内部会调用std::abort()终止程序。

移动构造函数（move constructor）
移动分配函数（move assignment）
析构函数（destructor）。这里提一句，在新版本的编译器中，析构函数是默认加上关键字noexcept的。下面代码可以检测编译器是否给析构函数加上关键字noexcept。

编译器在编译时能过做的检测非常有限，因此在C++11中异常声明被简化为以下两种情况：
（1）函数可以抛出任何异常(和之前的默认情况相同)；
（2）函数不可以抛出任何异常。

在C++11中，声明一个函数不可以抛出任何异常使用关键字noexcept.

void mightThrow(); // could throw any exceptions.
void doesNotThrow() noexcept; // does not throw any exceptions.

void old_stytle() throw();
void new_style() noexcept;

它们的区别在于程序运行时的行为和编译器优化的结果。
使用throw()， 如果函数抛出异常，异常处理机制会进行栈回退，寻找(一个或多个）catch语句。
此时，检测catch可以捕捉的类型，如果没有匹配的类型，std::unexpected()会被调用。
但是std::unexpected()本身也可能抛出异常。
如果std::unexpected()抛出的异常对于当前的异常规格是有效的，
异常传递和栈回退会像以前那样继续进行。
这意味着，如果使用throw， 编译器几乎没有机会做优化。
事实上，编译器甚至会让代码变得更臃肿、庞大：
（1）栈必须被保存在回退表中；
（2）所有对象的析构函数必须被正确的调用（按照对象构建相反的顺序析构对象）；
（3）编译器可能引入新的传播栅栏（propagation barriers）、引入新的异常表入口，使得异常处理的代码变得更庞大；
（4）内联函数的异常规格（exception specification）可能无效的。

当使用noexcept时，std::teminate()函数会被立即调用，而不是调用std::unexpected();
因此，在异常处理的过程中，编译器不会回退栈，这为编译器的优化提供了更大的空间。

简而言之，如果你知道你的函数绝对不会抛出任何异常，应该使用noexcept, 而不是throw().