noexcept关键字用于声明函数不抛出异常，若违反则调用std::terminate；它支持条件形式，常用于移动构造函数、析构函数等以提升性能和异常安全，尤其在STL容器中影响移动与复制的选择，应仅在确信无异常时使用。
在C++中，noexcept关键字用于指定某个函数不会抛出异常。这一机制不仅影响程序的异常安全行为，还可能对性能优化产生实际作用。理解noexcept的语义、使用场景及其与编译器优化之间的关系，有助于写出更高效且更可靠的代码。
noexcept的基本用法
noexcept出现在函数声明或定义的末尾，表示该函数承诺不抛出任何异常：
void my_function() noexcept; // 承诺不抛出异常void dangerous_function(); // 可能抛出异常
如果一个被声明为noexcept的函数在运行时抛出了异常，程序会直接调用std::terminate()终止执行，而不是进入正常的异常处理流程。因此，只有在确定函数绝对不抛异常时才应使用noexcept。
noexcept也可以带条件表达式：
立即学习“C++免费学习笔记（深入）”；
template<typename T>void swap(T& a, T& b) noexcept(noexcept(a.swap(b)));
这里的外层noexcept是说明符，内层noexcept是操作符，用于判断a.swap(b)是否可能抛出异常。这种写法常用于泛型代码中，根据类型特性决定是否标记为noexcept。
异常规范的历史演变
C++早期支持动态异常规范，例如：
void func() throw(std::runtime_error); // C++11前语法，已弃用这种语法要求函数只能抛出列出的异常类型，否则调用unexpected()。但由于运行时检查开销大、难以维护，C++11将其标记为弃用，并引入了更简洁高效的noexcept替代。
如今唯一的标准异常规范就是noexcept，它属于静态声明，编译器可在编译期做出优化决策，无需运行时额外开销。
noexcept对性能的影响
编译器在生成代码时，若知道函数不会抛出异常，可以省略相关的栈展开信息（如 unwind tables）和异常处理帧（exception handling frame），从而减小二进制体积并提升执行效率。
典型受益场景包括：
- 移动构造函数与移动赋值：STL容器在重新分配内存时，优先使用noexcept的移动操作以保证强异常安全。若移动操作未标记noexcept，某些容器（如std::vector）可能改用复制而非移动，以防移动过程中抛异常导致数据丢失。
- 标准库算法优化：一些算法内部会查询操作是否noexcept，从而选择更高效的路径。
- 内联优化机会增加：没有异常处理负担的函数更容易被内联展开。
例如：
class MyClass {public:
MyClass(MyClass&& other) noexcept { /* ... */ } // 推荐标记为noexcept
};
若未标记noexcept，std::vector<MyClass>在扩容时可能无法安全地移动元素，转而进行代价更高的拷贝操作。
何时使用noexcept
建议在以下情况使用noexcept：
- 函数确实不会抛出异常，尤其是移动操作、析构函数、swap等基础操作。
- 希望提升性能关键路径的效率。
- 编写供标准库容器使用的自定义类型时，确保移动语义可被高效利用。
但不要为了追求性能而在可能抛异常的函数上强行添加noexcept，这会导致程序意外终止。析构函数默认隐式为noexcept，除非显式指定可能抛出异常（极少见且危险）。
基本上就这些。合理使用noexcept，既能帮助编译器优化，也能提升代码的异常安全性设计水平。关键是做到“承诺即真实”，让声明与实现一致。
