Clang无法匹配可变参数模板模板特化：谁符合C++标准？

问题背景 #

你提供的第一段代码中，std::variant<int, double, float>是包含多类型参数的可变参数模板实例，特化版本的模板模板参数C被声明为仅接受单个类型参数的模板（template<typename> class）。此时Clang输出0，其他编译器输出1，需要明确哪种行为符合C++标准。

标准匹配规则 #

根据C++标准，模板模板参数的匹配需满足：

• 若模板模板参数是固定参数数量（比如这里的template<typename> class，只能接受1个类型参数），那么被匹配的实际模板必须能够接受恰好该数量的模板参数。
• std::variant是可变参数模板（声明为template<typename... Types>），它支持任意数量的类型参数，但本质并非单参数模板。

在第一段代码的特化中，C<Args...>的模式要求C能接受`Args Common construct成员分Place０Read waterrun无法}"符合标准，其他编译器的行为不符合标准。

当特化修改为template<template<typename...> class C, typename... Args>时，C变为可变参数模板模板参数，能够匹配std::variant这类可变参数模板，因此所有编译器都会选中特化版本，输出1。

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