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

本文主要是介绍noexcept 是 C++11 引入的一个关键字，用于指定函数是否会抛出异常。它主要用于优化和明确函数的异常安全性，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

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

1. 基础概念

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

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

2. 语法

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

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

3. 为什么使用 `noexcept`

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

4. 使用场景

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

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

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

6. 示例代码

#include <iostream>
#include <vector>
#include <utility>class MyClass {
public:MyClass() noexcept {}  // 不抛出异常的构造函数// 移动构造函数被声明为 noexceptMyClass(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;
}