c++ noexcept关键字有什么用 c++异常规范详解【技巧】

noexcept是C++11引入的关键字，用于声明函数绝不抛出异常，影响编译器优化、类型系统及标准库移动语义；它是非检查型的，异常时直接调用std::terminate；作为函数类型一部分，支持条件noexcept表达式，移动操作应显式标注以启用容器高效移动。

noexcept 是 C++11 引入的关键字，用于显式声明一个函数**不会抛出任何异常**。它不是可有可无的修饰，而是直接影响编译器优化、类型系统、标准库行为（尤其是移动操作）的核心机制。

noexcept 的核心作用：告诉编译器“绝对不抛异常”

与旧式 throw() 异常规范不同，noexcept 是**非检查型（non-checking）且无运行时代价**的。编译器不会在运行时插入异常拦截逻辑，只在编译期做静态保证和优化决策：

• 若标记为 noexcept 的函数意外抛出异常，程序直接调用 std::terminate()（不栈展开），行为确定、开销极低；
• 编译器可据此启用更激进的优化，比如省略异常处理表、内联更积极、避免保存异常相关寄存器上下文；
• 它是函数类型的一部分——void() noexcept 和 void() 是两种不同的函数类型，不能互相赋值或重载区分（但可用于模板特化和 SFINAE）。

noexcept 在移动语义中的关键地位

标准容器（如 std::vector）在扩容、重新分配时，会优先选择移动而非拷贝元素——但前提是移动操作被标记为 noexcept。否则，为保障强异常安全，容器退回到更慢的拷贝方式。

例如：

立即学习“C++免费学习笔记（深入）”；

struct Good {
    Good(Good&&) noexcept = default; // ✅ 容器愿意用移动
};
struct Bad {
    Bad(Bad&&) { /* 可能抛异常 */ } // ❌ 容器宁可拷贝也不冒风险
};

登录后复制

因此，只要你的移动构造/移动赋值函数确实不抛异常，务必显式加上 noexcept（或使用 = default，它默认带 noexcept）。

标签： go 栈 c++ 标准库