noexcept 是什么？

noexcept是C++11引入的一个关键字，用于指定一个函数或函数模板在运行时是否不会抛出异常。当函数被标记为noexcept时，它向编译器和程序的其他部分承诺不会抛出任何类型的异常。这一特性有助于提高代码的安全性和性能，因为编译器可以根据这一信息进行优化，避免生成处理异常的额外代码。

基本用法

在函数声明和定义中，可以使用noexcept关键字来指定该函数不会抛出异常。例如：

void foo() noexcept {
    // 函数体，不能包含抛出异常的语句
}

如果函数定义中包含抛出异常的语句，编译器将产生错误。

性能优化

当编译器知道函数不会抛出异常时，它可以进行一些优化，提高代码的执行速度。例如，在移动语义的场景下，如果移动构造函数和移动赋值运算符被标记为noexcept，容器和算法可以更自信地使用移动操作来优化性能。

异常规范的一致性

如果函数在声明和定义中都使用了noexcept，那么它们的异常规范必须一致。如果函数在声明中标记为noexcept，但在定义中抛出了异常，这将导致未定义行为，通常是程序终止。

注意事项

1. 析构函数：根据C++标准，析构函数默认是noexcept的。即使不显式声明，析构函数通常也不应该抛出异常。
2. 滥用问题：不是所有的函数都适合使用noexcept，只有在确定函数不会抛出异常或者确实需要管理异常时才应使用它。滥用noexcept可能会导致错误的代码。
3. 异常处理：即使使用了noexcept，仍然应该在适当的地方进行异常处理，以确保程序的健壮性。

与其他特性的交互

noexcept与C++的异常处理机制紧密相关，但它与传统的异常抛出和捕获机制不同。noexcept更多地是一种声明和承诺，它告诉编译器和程序的其他部分该函数不会抛出异常。如果noexcept函数确实抛出了异常，程序将调用std::terminate()来终止执行，而不是像未标记为noexcept的函数那样传播异常。

总的来说，noexcept是C++中用于提高代码性能和异常安全性的一个重要特性。它要求开发者在编写函数时更加谨慎地考虑异常处理策略，从而有助于编写出更加健壮和高效的代码。