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

可用于条件 noexcept 表达式

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

• 例如：noexcept(std::declval().move()) 判断 T::move() 是否 noexcept
• 搭配 std::is_nothrow_move_constructible_v 等类型特征，能写出更精准的泛型逻辑

不是万能的，也不能替代 try/catch

noexcept 是契约，不是保险。它不阻止你写 throw，也不捕获异常——只是在违约时终止程序。它不解决“如何处理错误”，而是回答“这个函数是否承诺绝不传播异常”。

• 不要给可能调用未知第三方代码的函数乱加 noexcept
• 析构函数默认是 noexcept（C++11起），手动加 noexcept(false) 需谨慎，容易导致未定义行为
• 普通函数若无明确理由，不强制加 noexcept；但移动、交换、析构等关键操作，建议明确标注

基本上就这些。noexcept 不复杂但容易忽略，合理使用能让代码更高效、更可靠，尤其在现代C++的资源管理和泛型编程中很关键。