noexcept 是 C++11 引入的一个关键字，用于指定函数是否会抛出异常。它主要用于优化和明确函数的异常安全性

noexcept 是 C++11 引入的一个关键字，用于指定函数是否会抛出异常。它主要用于优化和明确函数的异常安全性。了解 noexcept 对于编写高效和安全的 C++ 代码至关重要，尤其是在涉及异常处理和性能优化时。

1. 基础概念

noexcept 关键字有两种使用方式：

声明函数不会抛出异常 ：当你明确知道一个函数不会抛出异常时，可以使用 noexcept 来标记它。这有助于编译器进行优化，并提高代码的安全性。
条件性 noexcept ：你可以根据条件来决定是否将函数声明为 noexcept。

2. 语法

简单声明：
cpp 复制代码
```
void myFunction() noexcept;
```
这意味着 myFunction 保证不会抛出任何异常。如果该函数抛出了异常，程序会调用 std::terminate() 并立即终止。
条件性 noexcept：
cpp 复制代码
```
void myFunction() noexcept(condition);
```
其中 condition 是一个布尔表达式。如果 condition 为 true，函数被认为是 noexcept 的；如果为 false，则不是。

例如：
cpp 复制代码
```
void myFunction() noexcept(noexcept(otherFunction()));
```
这里，myFunction 是否 noexcept 取决于 otherFunction() 是否 noexcept。

3. 为什么使用 `noexcept`

优化：编译器可以对 noexcept 函数进行更好的优化，因为它知道这些函数不会抛出异常。例如，当调用一个 noexcept 函数时，编译器可以省略异常处理的代码路径，从而提高性能。
异常安全性 ：标记为 noexcept 的函数通常被认为是更加稳定和可靠的，因为它们不应引发异常。这对一些关键操作（例如析构函数、移动操作等）尤为重要。
防止错误 ：如果你标记了一个 noexcept 函数但实际抛出了异常，程序会调用 std::terminate()，这可以防止异常传播造成的不确定性。

4. 使用场景

析构函数 ：析构函数通常应该是 noexcept 的，因为在对象销毁时抛出异常可能导致程序中止。实际上，从 C++11 开始，编译器默认析构函数为 noexcept，除非你明确声明它可能抛出异常。
cpp 复制代码
```
~MyClass() noexcept = default;
```
移动操作 ：移动构造函数和移动赋值运算符通常也是 noexcept 的。如果移动操作可以保证不抛出异常，那么标准库容器（如 std::vector）可以进行更高效的操作。
cpp 复制代码
```
MyClass(MyClass&&) noexcept;
MyClass& operator=(MyClass&&) noexcept;
```
标准库中的 noexcept ：C++ 标准库中的许多函数也使用了 noexcept，如 std::swap。这使得容器在元素交换时可以进行更优化的操作。

5. `noexcept` 与 `noexcept(false)` 的区别

noexcept 和 noexcept(true) 等价，意味着函数不会抛出异常。
noexcept(false) 则表示函数可能抛出异常，相当于没有使用 noexcept。

6. 示例代码

cpp 复制代码

#include <iostream>
#include <vector>
#include <utility>

class MyClass {
public:
    MyClass() noexcept {}  // 不抛出异常的构造函数

    // 移动构造函数被声明为 noexcept
    MyClass(MyClass&&) noexcept {
        // 移动操作
    }

    void myFunction() noexcept {
        std::cout << "This function is noexcept." << std::endl;
    }
};

void swapNoexcept() noexcept {
    MyClass a, b;
    std::swap(a, b);  // 调用 noexcept 的移动构造函数
}

int main() {
    MyClass obj;
    obj.myFunction();  // 调用 noexcept 函数

    swapNoexcept();

    return 0;
}

在这个示例中，MyClass 的构造函数和 myFunction() 方法都使用了 noexcept，确保它们不会抛出异常。此外，swapNoexcept() 函数利用了 noexcept 的移动构造函数进行优化。

总结

noexcept 是 C++ 中一个非常有用的关键字，它不仅可以让你的代码更加健壮，还可以通过明确异常安全性来帮助编译器进行优化。特别是在设计库或框架时，正确使用 noexcept 是编写高效和安全代码的重要组成部分。