noexcept关键字用于声明函数不抛异常，提升性能与安全性。它使编译器省去异常处理开销，优化二进制体积和执行效率。典型应用包括移动构造函数和赋值操作符，STL容器在扩容时优先使用noexcept移动操作以保证异常安全并提高性能。标准库类型trait如std::is_nothrow_move_constructible依赖noexcept判断对象是否可安全移动。条件性noexcept允许基于模板参数的异常属性进行声明，如noexcept(std::is_nothrow_copy_assignable<T>::value)，增强泛型代码的适应性。相比C++98/03的运行时异常说明throw(Type)，noexcept在编译期确定，更高效清晰，已被现代C++推荐取代。若noexcept函数实际抛出异常，程序将调用std::terminate()终止，避免栈展开开销。合理使用noexcept是现代C++重要实践，不仅优化性能，还强化异常安全与语义明确性。
在C++11中，noexcept关键字是一个异常说明符，用来表明一个函数不会抛出任何异常。它的主要作用是提高程序的性能和安全性，同时帮助编译器进行更有效的优化。
noexcept的基本用法
使用noexcept可以显式声明某个函数不会抛出异常：
-
void myFunction() noexcept;—— 表示这个函数绝对不会抛出异常 -
void mayThrow() noexcept(false);—— 明确表示可能抛出异常（默认情况）
如果一个被声明为noexcept的函数实际上抛出了异常，程序会直接调用std::terminate()终止运行，而不是进行栈展开。这虽然严格，但能避免异常处理带来的开销。
对性能的影响与优化机会
编译器知道某些函数不会抛出异常时，可以省去生成异常处理相关的额外代码，比如栈展开信息（unwind tables），从而减小二进制体积并提升执行效率。
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
典型应用场景包括：
-
移动构造函数和移动赋值操作符：STL容器在重新分配内存时，会优先使用
noexcept的移动操作来保证强异常安全。例如std::vector在扩容时，若元素的移动构造函数是noexcept，就会采用移动而非拷贝，显著提升性能。 -
标准库中的类型 trait 支持：像
std::is_nothrow_move_constructible这样的trait依赖noexcept来判断是否可以安全地移动对象。
条件性noexcept
有时我们希望根据模板参数是否支持无异常操作来决定是否标记为noexcept。C++允许使用noexcept加上一个常量表达式：
template<typename T> T func(T x) noexcept(std::is_nothrow_copy_assignable<T>::value);
- 这种写法让异常说明更具泛型适应性，在保证安全的前提下最大化性能。
与旧式异常说明的对比
C++98/03曾使用动态异常说明如throw(Type)，但这种方式在运行时才检查异常类型，性能差且已被弃用。而noexcept是编译期决定的，更高效也更清晰。
现代C++推荐全面使用noexcept替代旧语法，并在明确不抛异常的函数上积极标注。
基本上就这些。合理使用noexcept不仅能提升性能，还能增强程序的异常安全性和可预测性。它不是可有可无的装饰，而是现代C++中重要的语义工具。不复杂但容易忽略。
