C++中的noexcept关键字有什么作用？（异常规范）

noexcept用于声明函数绝不抛出异常，提升编译器优化与标准库行为（如vector移动优先）；违约则调用std::terminate；支持条件表达式和类型特征，是现代C++关键契约。

noexcept 用来声明一个函数**不会抛出任何异常**，是C++11引入的异常规范机制，核心作用是让编译器和调用者明确知道该函数的异常安全性，从而支持更激进的优化和更安全的模板行为（比如移动操作、容器重分配）。

告诉编译器：这个函数绝不会 throw

加了 noexcept 的函数，如果在运行时意外抛出了异常（比如调用了可能抛异常的函数却没捕获），程序会立即调用 std::terminate() 终止，而不是尝试栈展开。这比旧式的 throw() 更轻量、更高效。

• 写法简单：void func() noexcept; 或 int calc() const noexcept(true);
• 等价写法：noexcept 就是 noexcept(true)；noexcept(false) 表示可能抛异常（通常省略不写）
• 编译器可据此省略异常处理表、跳过栈展开准备，生成更小更快的代码

影响移动语义和标准容器行为

很多标准库操作（如 std::vector 扩容时的元素移动）会优先选择 noexcept 的移动构造/赋值函数。如果移动操作被标记为 noexcept，容器就能放心地用移动代替拷贝，提升性能；否则可能退回到更保守的拷贝策略。

• 例如：std::vector<myclass></myclass> 在 resize 时，若 MyClass 的移动构造函数是 noexcept，就直接移动；否则可能先拷贝再销毁，避免异常导致状态不一致
• 建议：只要你的移动操作确实不抛异常，就显式加上 noexcept

可用于条件 noexcept 表达式

通过 noexcept(表达式) 可以做编译期判断：该表达式是否保证不抛异常。常用于模板中实现 SFINAE 或 constexpr if 分支。

标签： 栈 c++ 标准库