c++++中替代异常规范throw()的机制是noexcept。void foo() throw()表示函数不抛异常或仅抛指定类型异常，但语法繁琐且效率低；而从c++11开始引入的noexcept语义更清晰、性能更好，其基本写法为void bar() noexcept，也可结合条件表达式使用，如template
C++异常规范语法在现代C++中已经不推荐使用了，取而代之的是更清晰、更安全的
noexcept机制。如果你还在用
throw()这种写法，那可能你的代码已经有点“复古”了。
异常规范 throw()
是什么？
在 C++11 之前，如果你想说明一个函数不会抛出异常，可以这样写：
void foo() throw();
这表示
foo()不会抛任何异常。你也可以写成
throw(std::bad_alloc)，表示只可能抛这个类型的异常。但说实话，这种语法不仅繁琐，而且运行时检查成本高，实用性有限。
立即学习“C++免费学习笔记（深入）”；
为什么现在都改用 noexcept
？
从 C++11 开始，标准委员会引入了
noexcept，作为替代方案。它有两个主要优势：
-
语义更清晰：
noexcept
只有两种状态——要么不抛异常，要么可能抛。 - 性能更好：编译器可以在知道某个函数不会抛异常的情况下进行优化。
基本写法是这样的：
void bar() noexcept; // 表示该函数不抛异常
如果你只想在某些条件下才保证不抛异常，还可以加表达式：
templatevoid func() noexcept(noexcept(T().swap(T()))) { // 如果 T 的 swap 不抛异常，那么整个函数也不抛 }
这段稍微复杂点，但用起来很灵活，特别是在泛型编程中特别有用。
使用 noexcept
的几个建议
-
对于析构函数，尽量加上
noexcept
：因为默认情况下析构函数会被隐式声明为noexcept
，如果手动写的析构函数抛异常，可能会导致未定义行为。 -
标准库中的移动构造函数和移动赋值操作符大多标记为
noexcept
：这是为了提升性能，在容器重新分配内存时可以更快地移动元素。 -
如果你确定一个函数不会抛异常，就加上
noexcept
：这样有助于编译器优化，也能让代码意图更明确。
举个例子：
class MyClass {
public:
~MyClass() noexcept {} // 明确说明不会抛异常
};小细节注意一下
noexcept
和throw()
最大的区别在于，前者是 编译期常量表达式，后者是在运行时做检查。- 如果你在
noexcept
函数里真的抛了异常，默认行为是调用std::terminate()
，程序直接终止。所以要确保这类函数确实不会抛异常。 - 如果你想兼容新旧代码，可以用宏来统一处理：
#if __cplusplus >= 201103L # define MY_NOTHROW noexcept #else # define MY_NOTHROW throw() #endif
基本上就这些。说到底，
noexcept比
throw()更简洁、更高效，也更适合现代C++的风格。虽然不是强制要求，但在大多数场景下都应该优先使用
noexcept。
