为何GCC与MSVC判定结构体s满足concept c，而Clang不满足？

问题代码 #

struct s {};

template<typename T>
concept c = requires {
    typename T::s;
};

static_assert(c<s>); // GCC 12.2/trunk、MSVC 19.33编译通过，Clang 15报错

编译器表现差异 #

• GCC/MSVC：编译通过，判定concept c<s>的约束被满足
• Clang 15：编译失败，错误信息如下：

<source>:8:1: error: static assertion failed
static_assert(c<s>);
^             ~~~~
<source>:8:15: note: because 's' does not satisfy 'c'
static_assert(c<s>);
              ^
<source>:5:17: note: because 'typename T::s' would be invalid: ISO C++ specifies
that qualified reference to 's' is a constructor name rather than a type in this
context, despite preceding 'typename' keyword
    typename T::s;
                ^

原因分析 #

这是C标准规则与编译器实现差异导致的：
根据C标准，当限定名T::s中的s与类T的名字相同时，该限定名会优先被解析为类的构造函数，而非嵌套类型。即使前面加上typename关键字也无法改变这个优先级——typename的作用仅用于区分嵌套类型和非类型成员，但在这里T::s被判定为构造函数（属于函数名，不是类型），因此typename T::s是非法的。

GCC和MSVC的实现没有严格遵循这一标准规则，错误地将不存在的T::s当作嵌套类型处理，因此认为concept的约束条件成立；而Clang严格按照标准解析，判定typename T::s无效，进而触发静态断言错误。

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