noexcept是C++11引入的异常规范，表明函数不抛异常，若违反则调用std::terminate；它提升性能并增强类型安全，常用于移动构造函数等场景，相比throw()无运行时开销，推荐在确定无异常时使用。
noexcept 是 C++11 引入的关键字，用来表明一个函数是否会抛出异常。简单来说，它是一个异常规范（exception specification），告诉编译器和开发者：这个函数在正常情况下不会抛出任何异常。
noexcept 的基本含义
当一个函数被标记为 noexcept，意味着该函数承诺不抛出异常。如果这样的函数实际上抛出了异常，程序会直接调用 std::terminate() 终止运行，而不是进行正常的异常传播。
使用 noexcept 有两个主要好处：
- 提升性能：编译器可以对不抛异常的函数进行更多优化。
- 增强类型安全：帮助标准库（如 STL）选择更高效的路径，比如在移动对象时优先使用不会抛异常的移动构造函数。
noexcept 的语法形式
常见的 noexcept 使用方式有以下几种：
立即学习“C++免费学习笔记（深入）”；
// 形式1：明确声明函数不抛异常 void func1() noexcept; // 形式2：条件性 noexcept，表达式为 true 时不抛异常 void func2() noexcept(true); // 等价于 noexcept void func3() noexcept(false); // 可能抛异常，等价于不加 noexcept // 形式3：基于条件表达式 templatevoid swap(T& a, T& b) noexcept(noexcept(a = std::move(b)) && noexcept(b = std::move(a)));
上面第三个例子中，外层 noexcept 中的条件判断的是内层表达式是否为 noexcept，这称为“动态异常规范”。
实际应用场景示例
最常见的用途之一是在自定义类的移动操作中正确使用 noexcept。
#include#include class MyString { public: MyString() { } MyString(MyString&& other) noexcept { // 移动构造函数标记为 noexcept // 快速转移资源，不抛异常 } MyString& operator=(MyString&& other) noexcept { if (this != &other) { // 资源转移逻辑 } return *this; } }; int main() { std::vector vec; vec.push_back(MyString()); // 当 vector 扩容时，如果移动构造函数是 noexcept， // 则优先调用移动而非拷贝，提升性能 return 0; }
在这个例子中，如果移动构造函数没有标记为 noexcept，vector 在扩容时可能选择更安全但更慢的拷贝方式，而不是移动。
noexcept 与 throw() 的区别
C++98/03 中使用 throw() 来表示不抛异常：
void old_func() throw(); // 已废弃
而 noexcept 更高效且更灵活：
- throw() 在运行时检查，若抛异常会调用 std::unexpected()，带来额外开销。
- noexcept 是编译期决定，无运行时开销，推荐使用。
基本上就这些。合理使用 noexcept 不仅能让代码更高效，还能让标准库做出更好的决策。关键是：只在确定不会抛异常的函数上使用它，否则可能导致程序意外终止。
