noexcept关键字用于声明函数不抛异常，提升性能与异常安全。析构函数默认noexcept，标准库优先使用noexcept移动操作以提高效率。若noexcept函数抛异常，程序调用std::terminate()终止。编译器可优化noexcept函数，减少开销，增强内联与寄存器分配。条件noexcept(noexcept(expr))支持泛型编程，使异常规范更灵活。合理使用可优化vector扩容等场景，避免不必要的拷贝。但滥用可能导致程序意外终止，应仅在确认无异常时使用。
在C++11中引入的 noexcept 关键字，用于表明一个函数不会抛出异常。它的主要作用是提升程序的异常安全性和运行时性能，同时帮助编译器进行更有效的优化。
明确函数是否可能抛出异常
noexcept 是一种函数说明符，用来声明某个函数不会抛出任何异常。如果一个被标记为 noexcept 的函数在运行时确实抛出了异常，程序将直接调用 std::terminate() 终止执行，而不是进入正常的异常处理流程。
这使得开发者可以清晰地表达接口设计意图——某些函数（如析构函数、移动操作）应保证不抛异常，以确保资源安全和容器操作的稳定性。
- 析构函数默认是 noexcept，不应抛出异常
- 标准库中的容器在重新分配内存时，若元素类型的移动构造函数是 noexcept，会优先使用移动而非拷贝，提高效率
对异常安全的提升
异常安全是指在异常发生时，程序仍能保持一致的状态，不出现资源泄漏或数据损坏。noexcept 帮助实现更强的异常安全保证，尤其是在移动语义中。
立即学习“C++免费学习笔记（深入）”；
例如，std::vector 在扩容时需要将旧元素转移到新内存空间。如果类型支持 noexcept 的移动构造函数，vector 可以安全地使用移动；否则，为了异常安全，只能退回到更慢的拷贝方式。
通过合理使用 noexcept，可以避免不必要的拷贝，同时确保在异常发生时对象状态可控。
对性能的优化影响
编译器在知道函数不会抛出异常时，可以省去与异常处理相关的额外开销，比如栈展开信息（stack unwinding metadata）的生成和保存。
- 减少二进制体积
- 提高函数内联的可能性
- 优化寄存器分配和控制流
特别是在高频调用的小函数上，加上 noexcept 可带来可观的性能提升。标准库中的许多函数（如 std::initializer_list 的访问函数）都标记为 noexcept，正是出于性能考虑。
条件 noexcept 和泛型编程
C++11 还支持条件化的 noexcept，形式为：noexcept(expression)，其中 expression 是一个常量表达式，结果为 true 时表示不抛异常。
这在模板编程中非常有用。例如：
templatevoid swap(T& a, T& b) noexcept(noexcept(T(std::move(a))) && noexcept(a = std::move(b)))
{
// ...
}
这里的外层 noexcept 根据内部表达式是否为 noexcept 来决定当前函数是否标记为不抛异常，使异常规范更具弹性。
基本上就这些。合理使用 noexcept 不仅能增强代码的异常安全性，还能让程序跑得更快，尤其在现代 C++ 的移动语义和泛型编程中尤为重要。不过要注意，滥用 noexcept 可能导致程序意外终止，因此只应在确认不会抛异常的函数上使用。不复杂但容易忽略。
