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：基于条件表达式 template<typename T> void swap(T& a, T& b) noexcept(noexcept(a = std::move(b)) && noexcept(b = std::move(a))); 

上面第三个例子中，外层 noexcept 中的条件判断的是内层表达式是否为 noexcept，这称为“动态异常规范”。

实际应用场景示例

最常见的用途之一是在自定义类的移动操作中正确使用 noexcept。

阿里云-虚拟数字人

阿里云-虚拟数字人是什么？ …

2

查看详情

 #include <iostream> #include <vector>  class MyString { public:     MyString() { }     MyString(MyString&& other) noexcept {  // 移动构造函数标记为 noexcept         // 快速转移资源，不抛异常     }      MyString& operator=(MyString&& other) noexcept {         if (this != &other) {             // 资源转移逻辑         }         return *this;     } };  int main() {     std::vector<MyString> 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 不仅能让代码更高效，还能让标准库做出更好的决策。关键是：只在确定不会抛异常的函数上使用它，否则可能导致程序意外终止。