noexcept是C++11引入的异常规范，表明函数不抛异常，若违反则调用std::terminate；它提升性能并增强类型安全，常用于移动构造函数等场景，相比throw()无运行时开销，推荐在确定无异常时使用。

noexcept 是 C++11 引入的关键字，用来表明一个函数是否会抛出异常。简单来说，它是一个异常规范（exception specification），告诉编译器和开发者：这个函数在正常情况下不会抛出任何异常。

noexcept 的基本含义

当一个函数被标记为 noexcept，意味着该函数承诺不抛出异常。如果这样的函数实际上抛出了异常，程序会直接调用 std::terminate() 终止运行，而不是进行正常的异常传播。

使用 noexcept 有两个主要好处：

• 提升性能：编译器可以对不抛异常的函数进行更多优化。
• 增强类型安全：帮助标准库（如 STL）选择更高效的路径，比如在移动对象时优先使用不会抛异常的移动构造函数。

noexcept 的语法形式

常见的 noexcept 使用方式有以下几种：

// 形式1：明确声明函数不抛异常
void func1() noexcept;

// 形式2：条件性 noexcept，表达式为 true 时不抛异常
void func2() noexcept(true);  // 等价于 noexcept
void func3() noexcept(false); // 可能抛异常，等价于不加 noexcept

// 形式3：基于条件表达式
template
void swap(T& a, T& b) noexcept(noexcept(a = std::move(b)) && noexcept(b = std::move(a)));

上面第三个例子中，外层 noexcept 中的条件判断的是内层表达式是否为 noexcept，这称为“动态异常规范”。

实际应用场景示例

最常见的用途之一是在自定义类的移动操作中正确使用 noexcept。

#include 
#include 

class MyString {
public:
    MyString() { }
    MyString(MyString&& other) noexcept {  // 移动构造函数标记为 noexcept
        // 快速转移资源，不抛异常
    }

    MyString& operator=(MyString&& other) noexcept {
        if (this != &other) {
            // 资源转移逻辑
        }
        return *this;
    }
};

int main() {
    std::vector vec;
    vec.push_back(MyString());
    // 当 vector 扩容时，如果移动构造函数是 noexcept，
    // 则优先调用移动而非拷贝，提升性能
    return 0;
}

在这个例子中，如果移动构造函数没有标记为 noexcept，vector 在扩容时可能选择更安全但更慢的拷贝方式，而不是移动。

noexcept 与 throw() 的区别

C++98/03 中使用 throw() 来表示不抛异常：

void old_func() throw(); // 已废弃

而 noexcept 更高效且更灵活：

• throw() 在运行时检查，若抛异常会调用 std::unexpected()，带来额外开销。
• noexcept 是编译期决定，无运行时开销，推荐使用。

基本上就这些。合理使用 noexcept 不仅能让代码更高效，还能让标准库做出更好的决策。关键是：只在确定不会抛异常的函数上使用它，否则可能导致程序意外终止。