c++中的noexcept关键字有什么用_c++异常安全与性能优化【C++11】

noexcept是C++11引入的异常规范关键字，声明函数不抛异常，影响编译器优化、标准库行为及函数重载；需谨慎用于确定无异常的操作，避免误用导致性能下降或未定义行为。

noexcept 是 C++11 引入的关键字，用来显式声明一个函数**不会抛出任何异常**。它不只是注释，而是编译器可验证的契约，直接影响异常处理机制、函数调用开销、以及某些标准库操作（如 move 构造、容器重分配）能否安全启用优化。

noexcept 能让编译器生成更轻量的调用代码

当函数被标记为 noexcept，编译器知道无需为其准备栈展开（stack unwinding）支持。这意味着：

• 省去异常处理表（exception table）的生成和查找开销
• 避免在调用前后插入隐式的 try/catch 或清理帧（cleanup frame）
• 某些情况下允许内联或更激进的优化（尤其对 trivial 操作）

例如：std::vector::push_back 在移动元素时，若元素的移动构造函数是 noexcept，vector 就敢用移动而非拷贝——因为移动失败也不会导致数据损坏；否则会退回到更保守（但更慢）的拷贝策略。

noexcept 是类型系统的一部分，影响函数签名和重载解析

noexcept 是函数类型的一部分。下面两个函数类型不同，可以重载：

• void f() noexcept;
• void f();（等价于 void f() noexcept(false);）

标准库中很多模板（如 std::move_if_noexcept）依赖这个特性做编译期分支。你也可以用 noexcept(expr) 运算符在编译期判断表达式是否可能抛出，比如：

template
auto safe_move(T&& x) noexcept(noexcept(T(std::move(x)))) 
  -> decltype(T(std::move(x))) {
    return T(std::move(x));
}

不加 noexcept 可能导致意外的性能回退或行为变化

常见易错点：

• 析构函数默认是 noexcept(true)，但如果你手动写了可能抛异常的析构函数（不推荐），必须显式写 ~T() noexcept(false)，否则违反规则会直接调用 std::terminate
• 移动构造/移动赋值若未声明 noexcept，标准容器（如 vector、deque）在扩容时大概率拒绝使用移动，改用拷贝——性能可能差一个数量级
• 虚函数的 noexcept 说明符必须在基类和派生类中一致，否则编译报错（它是协变的一部分）

怎么合理使用 noexcept

原则：只对**确实不会、也不应该抛异常**的函数加 noexcept。

• 空操作、纯计算、内置类型操作、swap、move 等通常适合
• 涉及 I/O、内存分配（new）、字符串转换等操作，一般不该加（除非你明确捕获并处理了所有异常）
• 可以先不加，用 noexcept 运算符测试：static_assert(noexcept(obj.func()), "func must be noexcept");
• 用 noexcept 替代老式 throw()（后者在 C++11 已弃用，且语义不同）

基本上就这些。它不复杂，但容易忽略——加对了，异常安全和性能都能悄悄提升一大截。