noexcept修饰符，noexcept操作符
noexcept的两个作用：
1）作为noexcept修饰符，声明函数是否抛出异常；
2）作为noexcept操作符，判断表达式是否抛出异常；
noexcept修饰符
noexcept修饰符有两种形式：一种是简单在函数声明后加noexcept，另一种是接受一个常量表达式作为参数，如：
void except_func() noexcept; // 这里noexcept作为修饰符
void except_func() noexcept(常量表达式); // 这里noexcept作为运算符
声明为noexcept的函数抛出了异常，会怎么样？
如果一个函数声明为noexcept，但还是抛出了异常，会直接调用std::terminate中断程序的执行。
注：C++98中，用throw()来声明不抛出异常，throw(异常类型)声明可能抛出的异常类型。noexcept效率比throw更高一些，因为编译器可以用std::terminate()来终止程序运行，而throw异常机制会有一些额外开销，如函数栈依次展开并析构自动变量。
例1，C++98中，用throw()声明不抛出异常的函数：
template<class T> class A{
public:
static constexpr T min() throw() { return T(); }
static constexpr T max() throw() { return T(); }
static constexpr T lowest() throw() { return T(); }
...
};
相应地，在C++11中，使用noexcept替换throw()
template<class T> class A{
public:
static constexpr T min() noexcept { return T(); }
static constexpr T max() noexcept { return T(); }
static constexpr T lowest() noexcept { return T(); }
...
};
noexcept操作符
noexcept普通形式
noexcept(e);
可以让一个函数f()是否抛出异常，与另一个函数g()保持一致：
void f() noexcept(noexcept(g())); // f和g的异常说明保持一致
改写成让f()是否抛出异常，取决于模板参数T()表达式：
template<class T>
void f() noexcept(noexcept(T())) { }
例2，C++98中，用throw()声明可能抛出std::bad_alloc异常的函数：
void* operator new(std::size_t) throw(std::bad_alloc);
void* operator new[](std::size_t) throw(std::bad_alloc);
相应地，C++11中，可用noexcept(false)来替代throw
void* operator new(std::size_t) noexcept(false);
void* operator new[](std::size_t) noexcept(false);
可以看到，noexcept声明函数可能抛出的异常时，无需指明具体的类型，而throw却需要指明。
不过，出于安全考虑，C++11标准中，类的析构函数默认是noexcept(true)。如果显示指定noexcept或noexcept(false)，就不会再保持默认值。
参考
[1]MichaelWon, IBM XL编译器中国开发团队. 深入理解C++11:C++11新特性解析与应用[M]. 机械工业出版社, 2013.
