类模板代码在GCC/MSVC编译通过但Clang失败，求C++20标准判定

首先给出结论：Clang的行为符合C++20标准，GCC和MSVC的编译通过属于非标准扩展，这段代码本身不存在未定义行为，但不符合C++20的语法规则，属于编译期错误。

核心原因：类模板实参推导（CTAD）的标准规则 #

你写的test t{1};是利用类模板实参推导（CTAD）省略模板参数，让编译器自动推导T的类型。根据C++20标准：

• 对于聚合类模板（比如你的test<T>），默认情况下编译器不会自动生成基于聚合成员初始化的推导指引。
• 要让编译器从{1}推导出T=int，必须显式提供推导指引：

  template <typename T>
  test(T) -> test<T>;
  

没有这个推导指引的话，编译器没有依据从聚合成员的初始化值推导出模板参数，因此这段代码不符合标准要求，应该被拒绝编译。

各编译器行为的差异 #

• Clang严格遵循C++20标准，拒绝编译这段代码，这是正确的行为。
• GCC和MSVC实现了厂商扩展，允许从聚合成员的初始化表达式推导模板参数，这是超出标准的行为，不属于C++20的规定范围。

关于未定义行为 #

这段代码不存在未定义行为，因为未定义行为是指语法合法但标准未规定运行行为的代码，而你的代码属于语法不符合标准的编译期错误，和运行时的未定义行为无关。

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