C++20别名声明中依赖限定名省略typename为何Clang 15编译失败？

你提到的代码在GCC 12.2和MSVC 19.33中可以正常编译，但在Clang 15中报错。结合C++20对typename的宽松规则，这里的核心问题可以拆解为以下几点：

代码示例 #

template<typename T>    
struct t {
    using v = T::type;
};

Clang 15报错信息 #

<source>:3:15: error: missing 'typename' prior to dependent type name 'T::type'
    using v = T::type;
              ^~~~~~~
              typename

问题解析 #

根据C++20标准（对应P0634R3提案），确实放宽了typename的使用要求：在仅预期类型的上下文（比如别名声明的type-id部分），依赖限定名会被默认视为类型，无需显式添加typename。所以从标准层面看，这段代码是合法的，允许省略typename。

Clang 15报错的原因是编译器对该标准规则的实现不完整。不同编译器对C++20新特性的落地节奏存在差异：

• GCC和MSVC较早完成了该规则的全面支持，能正确识别别名声明属于类型预期上下文，因此可以通过编译。
• Clang 15对该规则的支持存在滞后，在模板内的别名声明这类场景下，仍会强制要求显式添加typename。这个问题在Clang 16及后续版本中已经得到修复，升级编译器即可解决。

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