【c++】noexcept关键字

该关键字告诉编译器，函数中不会发生异常,这有利于编译器对程序做更多的优化。

如果在运行时，noexecpt函数向外抛出了异常（如果函数内部捕捉了异常并完成处理，这种情况不算抛出异常），程序会直接终止，调用std::terminate()函数，该函数内部会调用**std::abort()**终止程序。

noexcept的用法

void func_not_throw() noexcept;  保证不抛出异常
void func_not_throw() noexcept(true);  和上式一个意思

void func_throw() noexcept(false);  可能会抛出异常
void func_throw();  和上式一个意思，若不显示说明，默认是会抛出异常（除了析构函数，析构函数默认为抛出异常
1
2
3
4
5

使用noexcept的注意点

1.对于一个函数而言noexcept 说明符要么出现在该函数的所有声明语句和定义语句，要么一次也不出现。
2.函数指针及该指针所指的函数必须具有一致的异常说明。
3.在 typedef 或类型别名中则不能出现 noexcept。
4.在成员函数中，noexcept 说明符需要跟在 const 及引用限定符之后，而在 final、override 或虚函数的 =0 之前。
5.如果一个虚函数承诺了它不会抛出异常，则后续派生的虚函数也必须做出同样的承诺；与之相反，如果基类的虚函数允许抛出异常，则派生类的虚函数既可以抛出异常，也可以不允许抛出异常。
6.需要注意的是，编译器不会检查带有 noexcept 说明符的函数是否有 throw。

void func_not_throw() noexcept {
    throw 1; // 编译通过，不会报错（可能会有警告）
}
1
2
3

这会发生什么呢？程序会直接调用 std::terminate，并且不会栈展开（也可能会调用或部分调用，取决于编译器的实现）。另外，即使你有使用 try-catch，也无法捕获这个异常。

什么时候该使用noexcept？

使用noexcept表明函数或操作不会发生异常，会给编译器更大的优化空间。然而，并不是加上noexcept就能提高效率。
以下情形鼓励使用noexcept：

1. 移动构造函数 移动赋值函数
2. 析构函数（析构函数默认是noexcept）
3. 还有那些你可以 100% 保证不会 throw 的函数

指定异常说明符的益处

1.语义

从语义上，noexcept 对于代码规范是有益的，就像const一样（别人一看见就知道这个变量是不能被修改的，增加了代码的可读性。

2.显示指定 noexcept 的函数，编译器会进行优化

因为在调用 noexcept 函数时不需要处理异常，所以编译器可以生成更高效的二进制码（编译器是否优化不一定，但理论上 noexcept 给了编译器更多优化的机会）。
另外编译器在编译一个 noexcept(false) 的函数时可能会生成很多冗余的代码，虽然只在出错的时候执行，但还是会对指令缓存造成影响，进而影响程序整体的性能。