C++ noexcept关键字

noexcept简介

noexcept有两个作用，一是作为说明符，用来说明函数是否跑出异常，一是运算符，能够判断函数是否有声明不会抛出异常。

说明符举例：

int f() noexcept { return 1; }

运算符举例：

int g() noexcept(f()) { return 2; }

noexcept解决移动构造问题

如果在移动构造时发生了异常，则将会发生很严重的错误，原本的数据也不可用，因此，我们需要保证移动构造的时候不抛出异常。如果函数没有抛出异常的可能，则函数可以使用移动构造，反之，则使用复制构造。

下面的代码是一个强制开发者实现类型T的移动操作的交换值函数

如果类型T的 移动构造和移动赋值函数会抛出异常，则会编译失败，这样让写类型T的开发者强制实现不抛出异常的移动函数。

template
void Swap(T& a, T& b) noexcept(noexcept(T(std::move(a))) && noexcept(a.operator=(std::move(b))))
{
    static_assert(noexcept(T(std::move(a))) && noexcept(a.operator=(std::move(b))));

    T t(std::move(a));
    a = std::move(b);
    b = std::move(tmp);
}

也可以通过判断的方法，来动态的进行调用，如果移动操作抛出异常，则使用复制操作。

template
void Swap(T& a, T& b, std::integral_constant) noexcept
{
    T t(std::move(a));
    a = std::move(b);
    b = std::move(tmp);
}

template
void Swap(T& a, T& b, std::integral_constant) noexcept
{
    T t(a);
    a = b;
    b = t;
}

template
void Swap(T& a, T& b)
noexcept(noexcept(Swap(a,b,std::integral_constant())))
{
    Swap(a, b, std::integral_constant());
}

对于throw

在C++17中，throw是noexcept的别名，而在C++20，throw被移除

默认带有noexcept的函数

默认构造函数、默认复制构造函数、默认赋值函数、默认移动构造函数和默认移动赋值函数。

析构函数，delete运算符默认带有noexcept。

注意：自己实现的析构函数带有noexcept，但是构造函数这些则相反，自定义实现不带有noexcept。

使用场景

下面这些情况下可以使用noexcept：

一定不会出现异常的函数

当目标是提供不会抛出异常的函数