noexcept关键字用于声明函数不抛出异常，提升性能与异常安全：正确使用可优化代码生成、减小体积、增强STL容器效率，且应合理应用于移动操作、析构函数等场景。
在C++中，noexcept关键字用于表明一个函数是否可能抛出异常。它不仅是异常安全设计的重要组成部分，也对程序的性能优化具有深远影响。正确使用noexcept能够帮助编译器做出更优的代码生成决策，同时提升程序的可预测性和稳定性。
noexcept的基本用法
noexcept出现在函数声明或定义的末尾，用来指定该函数不会抛出任何异常：
void myFunction() noexcept; // 保证不抛出异常void mayThrow() noexcept(false); // 明确表示可能抛出异常
如果一个被声明为noexcept的函数实际上抛出了异常，程序将调用std::terminate()直接终止，不再进行栈展开。这虽然严格，但避免了异常处理带来的不确定行为。
noexcept也可以作为运算符使用，判断表达式是否会抛出异常：
立即学习“C++免费学习笔记（深入）”；
bool isNoexcept = noexcept(someFunction()); // 返回true或false这种形式常用于模板编程中，根据函数是否异常安全选择不同的实现路径。
异常安全与资源管理
在RAII（Resource Acquisition Is Initialization）机制下，异常安全的核心是确保资源在异常发生时仍能被正确释放。而noexcept在此过程中扮演关键角色。
例如，标准库容器如std::vector在重新分配内存时会尝试移动或复制元素。若移动构造函数标记为noexcept，vector会优先使用移动而非复制，以提升性能并保证强异常安全。
常见场景包括：
- 移动构造函数和移动赋值操作应尽可能标记为noexcept，否则STL容器可能退化为复制操作
- 析构函数默认隐式为noexcept，不应手动抛出异常
- swap函数通常建议声明为noexcept，以支持高效且安全的交换逻辑
对性能的影响
noexcept直接影响编译器的优化策略。当编译器确定某个函数不会抛出异常时，可以：
- 省略异常表（exception table）的生成，减小二进制体积
- 减少栈帧的维护开销，提升函数调用效率
- 启用更激进的内联和寄存器分配策略
特别是在底层库或高频调用的函数中，使用noexcept能带来可观的运行时收益。例如，一个被频繁调用的数学计算函数若确认无异常，标记为noexcept后可显著降低调用开销。
最佳实践建议
合理使用noexcept需要权衡安全性与灵活性：
- 只对确实不会抛出异常的函数使用noexcept，避免误标导致程序意外终止
- 在公共接口中谨慎引入noexcept，因为它成为接口契约的一部分，后续难以更改
- 模板函数中可结合noexcept运算符实现条件性异常说明，如：
template
void wrapper(T&& x) noexcept(noexcept(std::declval()())) { ... } - 标准库中大量使用noexcept的地方值得参考，如std::move、std::forward等
基本上就这些。noexcept不只是一个异常控制工具，更是连接异常安全与高性能之间的桥梁。掌握其原理和应用场景，有助于写出更稳健、更高效的C++代码。
