带可变约束的可变模板参数解析：Clang与GCC行为分歧

问题核心 #

当声明形如template<C<T>... U>的模板时（C为concept，T是类型包，U是参数包），两款主流编译器的处理逻辑出现分歧：

• Clang：将std::same_as<T>... U解析为对应数量的带约束独立模板参数。例如若T是int, double，则等效于std::same_as<int> U1, std::same_as<double> U2，参数包U可正常推导。
• GCC：将其转换为带requires约束的单一类型包U，即U... requires (std::same_as<U, T>...)，这会让U成为非推导上下文，无法自动推导参数。

标准规则对照 #

根据C++标准[temp.variadic]p5的规定：

模板参数包声明中的展开式，会将模式逐实例化到包的每个元素上。

结合[temp.param]中约束模板参数的定义，约束需直接绑定到单个模板参数。因此C<T>... U的正确解析逻辑是：将约束C<T_i>逐一应用到参数包U的每个元素U_i上，属于带约束的可变参数模板参数声明，每个U_i独立满足对应位置的C<T_i>，这种模式下U是可推导上下文。

GCC的处理错误地将整个包的约束合并为一个全局requires子句，违背了参数包逐元素展开的规则，导致U无法被推导，不符合标准要求。

结论 #

Clang的行为符合C++标准，GCC的处理方式存在偏差。

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