类/结构体作用域内递归noexcept说明符的编译差异原因问询

该编译差异由GCC 11.2及更早版本的实现bug导致，MSVC v19.28、Clang 12.0.1的编译行为符合C++标准要求。

标准规则说明 #

• C++标准对类作用域内的名称查找有明确规定：成员函数的整个声明范围（包括noexcept说明符、尾随返回类型、参数列表默认值等位置）都属于类作用域覆盖范围，查找同名称成员时，会纳入当前正在声明的函数，以及类中后续声明的所有同名称重载。
• 示例代码中可变参数版本的S::f的noexcept(noexcept(f(ts...)))表达式里，对f的调用查找应当可以匹配到当前正在声明的可变参数f重载，完成递归的异常说明推导。

GCC异常表现原因 #

GCC 11及更早版本处理类成员函数noexcept说明符内的名称查找时，存在逻辑缺陷：仅会匹配当前声明位置之前已经完整声明的成员，不会将正在声明的函数本身纳入查找范围。所以当示例代码中noexcept内的f(ts...)传入2个参数时，GCC只能匹配到之前声明的单参数f模板，最终抛出参数数量不匹配的错误。
该缺陷已经在GCC 12及后续正式版本中修复，升级编译器版本后即可正常编译该代码。

内容的提问来源于stack exchange，提问作者Jergus Suja