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 是函数类型的一部分。下面两个函数类型不同，可以重载：
立即学习“C++免费学习笔记（深入）”；
void f() noexcept;-
void f();（等价于void f() noexcept(false);）
标准库中很多模板（如 std::move_if_noexcept）依赖这个特性做编译期分支。你也可以用 noexcept(expr) 运算符在编译期判断表达式是否可能抛出，比如：
template<typename T>
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 已弃用，且语义不同）
基本上就这些。它不复杂，但容易忽略——加对了，异常安全和性能都能悄悄提升一大截。
