noexcept是C++11引入的编译期异常契约，声明函数不抛异常以支持优化和标准库高效路径；需谨慎使用，仅用于真正不抛异常的函数，否则触发std::terminate。
noexcept 是 C++11 引入的关键字，用于声明函数**不会抛出任何异常**。它不是运行时检查机制，而是一种编译期契约——告诉编译器“我保证不抛异常”，从而支持更激进的优
化，并让标准库（如 std::vector 的移动操作）在类型满足 noexcept 时启用更高效的路径（比如移动而非拷贝）。
基本语法与两种写法
noexcept 可以单独使用，也可带常量表达式：
-
void f() noexcept;—— 明确承诺不抛异常，若违反（如内部调用抛异常的函数），程序直接调用std::terminate()终止，不栈展开。 -
void g() noexcept(noexcept(expr));—— 条件 noexcept：当expr调用本身是 noexcept 时，g也是；否则不是。常用于转发函数或模板中自动推导异常规格。
哪些函数强烈建议加 noexcept
以下函数若逻辑上确实不抛异常，加上 noexcept 能提升性能与正确性：
- 析构函数（默认是
noexcept，显式写上更清晰） - 移动构造函数和移动赋值运算符（
std::vector等容器扩容时依赖此判断能否安全移动） - swap 函数（标准库算法常要求
noexceptswap 以保证强异常安全） - 某些关键工具函数（如
size()、empty()、data()等只做简单访问的操作）
noexcept 不是万能的，注意这些陷阱
盲目添加可能引发未定义行为或掩盖问题：
- 如果函数体内调用了可能抛异常的代码（例如
new失败、throw、调用未标记 noexcept 的第三方函数），又声明了noexcept，一旦触发就会立即终止程序。 - 虚函数的 noexcept 规格必须与基类一致（协变规则），否则编译报错；子类不能比父类更“宽松”（即基类
noexcept，子类不能不写或写成可能抛异常）。 - 函数指针类型包含 noexcept 信息，
void(*)() noexcept和void(*)()是不同类型，不可混用。
如何检查一个函数是否是 noexcept
用标准库类型特性 std::is_nothrow_xxx 或 noexcept(operator) 运行期表达式：
static_assert(noexcept(obj.f()), "f must be noexcept");if (noexcept(a + b)) { /* 安全执行加法 */ }-
std::is_nothrow_move_constructible_v判断类型 T 是否可无异常移动构造
noexcept 是构建异常安全接口的重要拼图，它不增加运行时开销，但要求开发者对函数行为有准确把握。用得好，能让代码既高效又健壮；滥用则可能导致静默崩溃。关键在于——只对真正不抛异常的函数加，且保持契约一致性。
