直接调用 std::terminate() 终止程序,不进入任何 catch 块;noexcept 函数抛异常时跳过栈展开与异常处理基础设施,catch 代码在二进制中根本不存在。

直接调用 std::terminate() 终止程序,不会进入任何 catch 块。
noexcept 函数抛异常时的运行时行为
一旦声明为 noexcept(等价于 noexcept(true))的函数内部执行了 throw,程序会立即终止,不进行栈展开(stack unwinding),也不尝试匹配 catch 子句。
这不是“异常未被捕获”的常规情况,而是契约被破坏后的强制中止——编译器在生成代码时已省略所有异常处理基础设施(如栈帧清理、catch 表注册),所以根本不存在捕获路径。
- 输出可能包含
terminate called after throwing an instance of 'int'或类似信息(取决于 libc++/libstdc++ 实现) - 不会调用
std::unexpected()(那是 C++98throw(...)的机制,已被废弃) - 析构函数若被标记为
noexcept(默认如此)却抛出异常,同样触发std::terminate()
为什么 catch 语句完全失效
因为 noexcept 是编译期承诺,编译器据此做激进优化:
立即学习“C++免费学习笔记(深入)”;
- 省略异常处理表(.eh_frame 等)生成
- 跳过对局部对象析构函数的异常安全包装
- 在调用链中不预留异常传播通道
换句话说:catch 块在二进制里根本不存在。你写的 try { BlockThrow(); } catch(...) { ... } 中,BlockThrow() 调用后程序就直接跳转到 std::terminate(),连 catch 的地址都不会被加载。
noexcept(false) 和未声明 noexcept 的区别
这两者行为一致:都表示“可能抛异常”,编译器保留完整异常支持,throw 后可被正常捕获。
-
void f() noexcept(false);—— 显式声明,语义清晰,但冗余(默认就是它) -
void f();—— 隐式等价于noexcept(false),标准库绝大多数函数属此类 -
void f() noexcept;—— 契约最严格,违反即崩溃
注意:类的移动构造函数、移动赋值运算符若未显式声明 noexcept,即使内部只调用 noexcept 成员,也不会自动获得 noexcept 属性——必须手动加,否则 std::vector 扩容时仍可能降级为拷贝。
最容易被忽略的隐式 noexcept 场景
有些函数看似没写 noexcept,但实际是隐式 noexcept(true):
- 析构函数(除非基类或成员的析构函数是
noexcept(false)) -
operator delete和operator delete[](全局或类内定义) - 空的、无副作用的 inline 函数若只含字面量操作,某些编译器可能推导为
noexcept,但不可依赖
真正安全的做法永远是:明确写出 noexcept,并确保函数体中所有路径(包括间接调用)都不抛异常——哪怕只是调用了一个未标记 noexcept 的标准库函数(如 std::vector::at()),就已违反契约。


















