C++省略`noexcept`说明符与`noexcept（false）`，它们的确切含义是什么？

Question

如果我将函数标记为noexcept(false)，或任何其他计算结果为假的表达式，这意味着什么？ (1) 我是否向编译器保证该函数可以抛出异常？，(2) 还是我不保证它是否可以抛出异常？

最后，如果我省略了noexcept 说明符，它就等价于noexcept(false)，还是只等价于上述第(2)种含义？

Answer 1

通过指定noexcept(true)，您声明该函数从不抛出异常。通过指定noexcept(false) 或不指定任何内容，您并不声称该函数从不抛出异常。

所以它基本上是你的语句 (2)，但请注意，对于编译器来说，这相当于你的语句 (1)。如果编译器不能保证函数不会抛出，它必须假设它可以。

标准的相关位是C++11 15.4/12：

没有异常规范或具有noexcept(<i>constant-expression</i>)形式的异常规范的函数，其中常量表达式产生@ 987654324@ 允许所有例外。 异常规范是 非抛出如果它是throw()、noexcept或noexcept(<i>constant-expression</i>)的形式，其中常量表达式 产生true。具有不抛出异常规范的函数不允许任何异常。

与该规则只有两个偏差。一种是析构函数——在析构函数上不放置异常规范会为析构函数提供与默认生成的异常规范相同的异常规范。也就是说，noexcept(true) 当且仅当从默认生成的析构函数中直接调用的所有函数都是noexcept(true)。

另一个是释放函数 (operator delete)——没有明确异常规范的释放函数被视为 noexcept(true)。

Answer 2

省略noexcept 说明符等同于noexcept(false)，析构函数除外，其中省略说明符意味着让编译器从成员和基类中推断。