noexcept简介
noexcept有两个作用,一是作为说明符,用来说明函数是否跑出异常,一是运算符,能够判断函数是否有声明不会抛出异常。
说明符举例:
int f() noexcept { return 1; }
运算符举例:
noexcept解决移动构造问题int g() noexcept(f()) { return 2; }
如果在移动构造时发生了异常,则将会发生很严重的错误,原本的数据也不可用,因此,我们需要保证移动构造的时候不抛出异常。如果函数没有抛出异常的可能,则函数可以使用移动构造,反之,则使用复制构造。
下面的代码是一个强制开发者实现类型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);
}
也可以通过判断的方法,来动态的进行调用,如果移动操作抛出异常,则使用复制操作。
templatevoid 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; }
对于throwtemplate
void Swap(T& a, T& b)
noexcept(noexcept(Swap(a,b,std::integral_constant())))
{
Swap(a, b, std::integral_constant());
}
在C++17中,throw是noexcept的别名,而在C++20,throw被移除
默认带有noexcept的函数默认构造函数、默认复制构造函数、默认赋值函数、默认移动构造函数和默认移动赋值函数。
析构函数,delete运算符默认带有noexcept。
注意:自己实现的析构函数带有noexcept,但是构造函数这些则相反,自定义实现不带有noexcept。
使用场景下面这些情况下可以使用noexcept:
一定不会出现异常的函数
当目标是提供不会抛出异常的函数