带依赖模板类型的解析错误：代码是否符合C++20标准？

问题背景 #

以下C代码是否符合C20标准？是否因语法错误应被编译器拒绝？目前Clang、GCC、MSVC三款主流编译器均拒绝编译该代码：

template<typename...>
struct n {
    template<typename>
    struct b {
        template<typename>
        struct p {};
    };
    template<typename T>
    struct d : b<T>::template p<T> {};
    template<typename T>
    d(b<int>::template p<T>) -> d<T>;
    template<typename T>
    static constexpr auto v = d{b<int>::template p<T>{}};
};
inline constexpr auto w = n{}.v<int>;

核心疑问 #

1. 移除n的模板头（改为非模板结构体）后，所有编译器均接受该代码。为何n是否为模板会影响编译结果？C++20标准对此有何规定？
2. 在b<int>::template p<T>{}前添加typename后，GCC和MSVC可正常构造d，但Clang仍因推导指南报错。请问在d的类模板推导指南中省略typename是否仍符合C++20标准？

编译器报错信息 #

• Clang报错：提示template关键字使用不当、缺少分号等语法错误；
• GCC报错：提示缺少模板参数、n<>无v成员等；
• MSVC报错：提示语法错误，{不符合预期。

问题解答 #

1. n作为模板导致编译失败的原因 #

当n是模板结构体时，其内部的b<int>::template p<T>属于依赖名称——尽管n是未使用参数的可变参数模板，但语法上仍处于模板上下文，b作为n的成员模板，其内部的p<T>依赖于模板环境。根据C++20标准[temp.dep]章节规定：在模板定义内部，引用嵌套在类中的模板时，若该类处于模板依赖上下文，必须用typename标记该名称为类型，同时用template标记后续的模板引用。

当n是非模板结构体时，整个上下文脱离了模板依赖环境，编译器可以直接确定b<int>::p<T>是类型，无需额外关键字，因此能正常解析。

2. 推导指南中省略typename的合规性 #

类模板推导指南是n模板的成员，同样处于模板依赖上下文，b<int>::template p<T>属于依赖类型名称。根据C++20标准[temp.dep.type]和[temp.names]的规定，此处必须添加typename明确其为类型，省略typename属于语法错误。

Clang的报错是符合标准的严格行为，而GCC和MSVC的宽容处理属于编译器扩展或非严格模式。正确的写法需要为依赖类型添加typename：

// 修正后的推导指南
template<typename T>
d(typename b<int>::template p<T>) -> d<T>;

// 修正后的v定义
template<typename T>
static constexpr auto v = d{typename b<int>::template p<T>{}};

另外，n{}的写法符合C++20模板参数推导规则（推导为空参数包），部分编译器旧版本的异常提示属于次要问题，核心错误还是依赖名称的typename缺失。

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