一、引言

在现代 C++ 编程中，异常处理机制是保障程序健壮性的重要手段。然而，异常的传播和捕获可能会带来额外的性能开销。为此，C++11 引入了新的异常规范关键字 noexcept，用于指明函数是否会抛出异常。

二、noexcept 的基本概念

2.1 什么是 noexcept

noexcept 是 C++11 引入的关键字，用于声明函数不会抛出异常。其语法形式为：

1
2
3

void func() noexcept;            // 简单声明
void func() noexcept(true);      // 等价于 noexcept
void func() noexcept(false);     // 表示可能抛出异常

2.2 noexcept 与 throw() 的区别

在 C++98 中，throw() 用于声明函数不抛出异常。然而，throw() 存在一些局限性和问题，如编译器对其优化支持不足。noexcept 作为现代 C++ 的新特性，具有更好的性能和语义支持。

三、noexcept 的作用与优势

3.1 性能优化

  • 内联优化：编译器可以对 noexcept 函数进行更激进的内联优化，因为可以确定函数不会抛出异常。
  • 代码生成优化：减少了异常处理相关的代码生成，提高了运行时性能。

3.2 程序稳定性

  • 异常安全性：通过明确声明函数不会抛出异常，增强了代码的可预测性。
  • 库设计：在设计库时，标记那些不会抛出异常的函数，可以帮助调用者更好地理解和使用接口。

四、noexcept 的使用场景

4.1 移动构造函数和移动赋值运算符

在标准库中，许多容器的移动操作都要求相关的移动构造函数和移动赋值运算符是 noexcept 的。

1
2
3
4
5
6
7

class MyClass {
public:
    // 移动构造函数
    MyClass(MyClass&& other) noexcept;
    // 移动赋值运算符
    MyClass& operator=(MyClass&& other) noexcept;
};

原因：容器在元素移动时，需要保证操作的异常安全性。如果移动操作抛出异常，可能导致容器处于不一致状态。

4.2 析构函数

析构函数应该永远不抛出异常，因此默认情况下，析构函数被隐式地标记为 noexcept。

1
2
3
4
5
6

class MyClass {
public:
    ~MyClass() noexcept {
        // 析构代码
    }
};

注意：如果析构函数可能抛出异常，可能导致程序在栈展开时调用 std::terminate()，使程序异常终止。

4.3 小型工具函数

对于一些简单的工具函数，如访问器（getter）、比较器等，通常不会抛出异常，可以标记为 noexcept。

1
2
3

int getValue() const noexcept {
    return value;
}

五、noexcept 与异常安全性的关系

5.1 异常规格保证

标记为 noexcept 的函数，编译器会认为其不会抛出异常。如果函数实际抛出了异常，程序将调用 std::terminate()，导致程序异常终止。

5.2 提高代码可靠性

通过使用 noexcept，可以在编译期发现异常安全性的问题，防止异常从不应该抛出的地方传播。

六、noexcept 的推导与条件

6.1 条件 noexcept

noexcept 可以接收一个布尔表达式，根据表达式的值决定函数是否为 noexcept。

1
2
3
4

template<typename T>
void swap(T& a, T& b) noexcept(noexcept(T(std::declval<T&&>()))) {
    // 交换实现
}

解释：上述代码中，swap 函数的 noexcept 性质取决于类型 T 的移动构造函数是否为 noexcept。

6.2 noexcept 运算符

noexcept 也是一个运算符，用于判断表达式是否为 noexcept。

1

bool isNoexcept = noexcept(func());

作用：noexcept 运算符返回一个编译期常量，指示表达式是否不会抛出异常。

七、代码示例与分析

7.1 移动操作中的 noexcept

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15

#include <vector>

class MyClass {
public:
    MyClass() = default;
    MyClass(MyClass&& other) noexcept {
        // 移动构造实现
    }
};

int main() {
    std::vector<MyClass> vec1(10);
    std::vector<MyClass> vec2 = std::move(vec1); // 使用移动操作
    return 0;
}

分析：

  • 性能提升：由于 MyClass 的移动构造函数是 noexcept，std::vector 可以安全地使用移动操作，避免了元素的拷贝。
  • 异常安全：如果移动操作可能抛出异常，std::vector 可能会选择使用拷贝构造函数，导致性能下降。

7.2 条件 noexcept 的应用

1
2
3
4
5
6
7
8
9

#include <type_traits>

template<typename T>
void mySwap(T& a, T& b) noexcept(std::is_nothrow_move_constructible<T>::value &&
                                 std::is_nothrow_move_assignable<T>::value) {
    T temp = std::move(a);
    a = std::move(b);
    b = std::move(temp);
}

分析：

  • 条件判断：noexcept 的条件取决于类型 T 是否具有 noexcept 的移动构造和移动赋值操作。
  • 通用性：确保 mySwap 在处理不同类型时，都能正确地反映其异常安全性。

八、注意事项

8.1 避免误用 noexcept

  • 不确定是否抛出异常时，不要使用 noexcept：如果函数内部调用了可能抛出异常的函数，不应轻易标记为 noexcept。

8.2 noexcept 与异常传播

  • 异常不应被隐藏：标记为 noexcept 的函数内部不应捕获并隐藏异常，这可能导致调试困难。

8.3 一致性

  • 遵循标准库的约定：在自定义类型中，实现与标准库一致的异常规范，有助于代码的可维护性和可移植性。

九、noexcept 对性能的影响

9.1 编译器优化

  • 内联展开：编译器更倾向于内联 noexcept 函数，减少函数调用开销。
  • 寄存器分配：编译器在寄存器分配上可以更加激进，因为无需考虑异常处理的栈展开。

9.2 运行时开销减少

  • 减少异常处理元数据：noexcept 函数可以减少编译器生成的异常处理相关元数据，减小二进制文件的体积。
  • 提高分支预测准确性：减少异常路径，提高 CPU 的分支预测效率。