C++的noexcept关键字有什么用途？如何正确使用？

noexc++ept关键字在c++中用于声明函数是否抛出异常，影响运行时行为与编译器优化。1. 提升性能：标记为noexcept的函数允许编译器优化，如优先使用移动操作而非复制操作，尤其在容器扩容时；2. 增强可读性：明确告知调用者函数不会抛出异常，提升代码可读性与安全性；3. 使用技巧：应在确定不抛出异常的函数上使用，如移动构造函数、析构函数等，并可通过条件表达式实现泛型编程中的灵活控制，避免因错误使用导致程序终止。

在C++中，noexcept关键字主要用于声明一个函数是否会抛出异常。它不仅影响程序的运行时行为，还可能影响编译器的优化策略。正确使用noexcept可以提升性能并增强代码的可读性和健壮性。

提升性能：帮助编译器做优化

当一个函数被标记为noexcept时，编译器就知道这个函数不会抛出异常，从而可以进行一些优化操作。例如，在移动构造函数或移动赋值运算符中标记为noexcept可以让标准库更倾向于使用移动操作而不是复制操作，这在容器扩容等场景中尤其重要。

举个例子：

立即学习“C++免费学习笔记（深入）”；

class MyClass {
public:
MyClass(MyClass&& other) noexcept {
// 移动资源...
}
};

如果你没有显式加上noexcept，那么像std::vector这样的容器在扩容时可能会优先选择复制而不是移动，因为移动操作如果抛出异常的话会破坏强异常安全保证。

增强代码可读性：明确表达意图

使用noexcept也相当于给其他开发者一个明确的信号：这个函数不会抛出异常。这种文档性质的说明有助于他人理解你的代码，并在调用时做出相应的判断和处理。

比如：

int get_value() const noexcept;

看到这个声明，调用者就可以放心地在不担心异常的情况下使用该函数。

使用技巧与注意事项

• 尽量在不会抛出异常的函数中标注noexcept，尤其是移动操作、析构函数等。

• 析构函数默认是noexcept的，除非你显式指定了它会抛出异常（如noexcept(false)）。

• 不要轻易对可能抛出异常的函数加上noexcept，否则一旦真的抛出了异常，会导致调用std::terminate终止程序。

• 有条件地使用noexcept：你可以根据模板参数或其他条件来决定是否noexcept，例如：

  template<typename T>
  void my_swap(T& a, T& b) noexcept(noexcept(a = std::move(b))) {
  T tmp = std::move(a);
  a = std::move(b);
  b = std::move(tmp);
  }

这里的意思是：只有当类型T的对象赋值操作不会抛出异常时，my_swap才会是noexcept的。

---

基本上就这些。noexcept虽然看起来简单，但用好它需要结合具体语境，尤其是在泛型编程和性能敏感的场合下尤为重要。