为什么不是函数类型的"noexcept"说明符部分？

Question

我不明白为什么？我不认为兼容性应该是一个问题,因为没有说明符声明的函数实际上将它隐式定义为false.如果它是关于名称修改 - 我们可以假设旧的(现有的)将暗示noexcept(false)并且为noexcept(true)添加另一个新符号.

这在使用模板时会很有用,因为现在比较函数类型和noexcept说明符应该分开进行.我基本上的意思是:

int func() noexcept(true), func_1() noexcept(false);

decltype(func) == decltype(func_1); //this now equals true

但另一方面,如果我们通过使用指针或引用进行函数赋值,则检查noexcept说明符,就好像它是类型的一部分:

int (&refFunc)() noexcept(true) = func_1; //target exception specification is not superset of source

int (&refFunc)() noexcept(true) = func; //ok

所以现在实现全功能匹配应该通过执行类型和noexcept检查来完成,这有点复杂:

decltype(func) == decltype(func_1) && noexcept(func()) == noexcept(func_1()); //this now equals false

想象一下,如果函数有参数:

int func(int, double) noexcept(true), func_1(int, double) noexcept(false);

decltype(func) == decltype(func_1) && noexcept(func(int{}, double{})) == noexcept(func_1(int{}, double{})); //this now equals false

Answer 1

从C++ 17开始,说明noexcept符是函数类型的一部分.

参考

noexcept-specification是函数类型的一部分,可以作为任何函数声明符的一部分出现.(自C++ 17起)