c++ - 为什么 "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

所以现在实现全功能匹配应该通过执行 type 和 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 说明符是函数类型的一部分。

Reference

The noexcept-specification is a part of the function type and may appear as part of any function declarator. (since C++17)