noexcept 关键字声明函数不抛异常，提升性能与稳定性。它影响编译器优化，减小二进制体积，并在 std::vector 等 标准库 操作中优先启用移动语义。应将其用于明确不抛异常的函数，如移动 构造函数 、 析构函数 及频繁调用的小函数。例如自定义类型的移动操作若仅涉及 指针 赋值，标记 noexcept 可显著优化性能。模板中可用 noexcept(表达式）条件化声明，结合 std::is_nothrow_move_constructible 实现 泛型 安全。noexcept 还支持异常安全最高级别——不抛异常，确保资源管理代码可靠执行。通过 noexcept(函数调用）可在编译期检测是否承诺不抛出，常用于 static_assert 和模板特化选择。总之，noexcept 不仅是安全性声明，更是现代 c++ 性能优化 与异常控制的关键机制。
在 C ++ 中，noexcept关键字用于指定一个函数不会抛出异常。它不仅是代码安全性的声明，也会影响编译器的优化决策和程序的行为。合理使用 noexcept 能提升性能并增强程序稳定性，尤其是在处理资源管理和 标准库 调用时尤为重要。
noexcept 的基本语法与含义
noexcept 可以作为函数说明符出现在函数声明或定义中，表示该函数承诺不抛出任何异常。
示例：
void my_function() noexcept {
// 保证不会抛出异常
}
也可以带条件：
void may_throw() noexcept(false); // 可能抛出异常
template<typename T>
void depends_on_T() noexcept(std::is_nothrow_move_constructible<T>::value);
这里的 noexcept 后接一个 常量 表达式，若为 true，则函数标记为不抛异常；否则允许抛出。
立即学习“C++ 免费学习笔记（深入）”；
为什么noexcept 重要
编译器知道某个函数不会抛出异常时，可以省略异常 栈展开所需的额外信息（如 unwind table），从而减小二进制体积、提高运行效率。此外，标准库在某些场景下依赖 noexcept 来选择更高效的路径。
常见影响包括：
- std::vector 在重新分配内存时，如果元素的移动构造函数是 noexcept，会优先使用移动而非拷贝，显著提升性能
- 某些容器操作（如 swap）要求强异常安全保证，noexcept 有助于实现这一点
- 析构函数默认隐式带有 noexcept，除非显式指定可能抛出
何时应使用 noexcept
以下情况建议使用 noexcept：
- 所有明确不会抛出异常的函数，尤其是频繁调用的小函数
- 自定义类型的移动构造函数和移动 赋值 运算符，若确实不抛异常，应标记 noexcept
- 析构函数（即使未显式写，也默认 noexcept(true)，但避免在其中抛异常）
- 回调函数 或被标准 算法 调用的函数，若可控制异常行为，推荐标明
例如：
class MyType {
public:
MyType(MyType&& other) noexcept
: data(other.data) {
other.data = nullptr;
}
private:
int* data;
};
这里移动构造函数只涉及指针操作，不会抛出异常，因此标记 noexcept 是正确且有益的。
noexcept 与异常安全设计
异常安全分为几个级别：基本保证、强保证、不抛异常（nothrow）。noexcept 帮助实现“不抛异常”这一最高级别。
当编写关键路径代码（如资源释放、锁管理）时，确保这些函数为 noexcept 可防止异常传播导致未定义行为。
注意：即使函数未声明 throw 或 noexcept，也不代表它不会抛出异常。只有明确标注 noexcept(true)才具有承诺意义。
可通过 noexcept 操作符检测表达式是否声明为不抛异常：
static_assert(noexcept(some_function()), “expected not to throw”);
这在模板编程中非常有用，用于条件选择实现路径。
基本上就这些。noexcept 不只是一个安全标签，它是现代 C ++ 中优化与异常控制的重要组成部分。正确使用能让代码更高效、更可靠。
