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
void depends_on_T() noexcept(std::is_nothrow_move_constructible
这里的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++中优化与异常控制的重要组成部分。正确使用能让代码更高效、更可靠。
