GCC与Clang对模板首参数推导编译的分歧：C++标准判定及适配

一、C++标准的明确规定 #

你遇到的问题核心在于模板模板参数的匹配规则，这也是GCC和Clang产生分歧的根源：

你的MyDelegate是一个拥有两个模板参数的模板（typename Signature, int N = 0），虽然第二个参数有默认值，但它本质上仍是双参数模板。而你定义的signature_traits特化，要求匹配的是仅接受一个模板参数的模板（template <typename> class Delegate）。

根据C++标准的不同版本，规则有所区别：

• 在C++17及更早版本中，模板模板参数的参数列表必须与目标模板的参数列表完全严格匹配（包括参数数量、类型），哪怕目标模板有默认参数也不例外。这也是Clang严格遵循的规则——它认为MyDelegate是双参数模板，无法匹配单参数的模板模板参数Delegate。
• GCC在这里做了非标准的扩展，允许匹配带有默认参数的多参数模板，所以它认为你的特化是有效的。
• C20开始放宽了这一限制：如果模板模板参数的参数数量少于目标模板，且目标模板剩余的参数都有默认值，那么两者可以匹配。但如果你的编译模式不是C20，Clang依然会遵循旧规则。

二、让代码在Clang中正常工作的修复方案 #

有几种简洁的修复方式，你可以根据需求选择：

方案1：匹配双参数模板的特化 #

直接调整signature_traits的特化，明确匹配MyDelegate的双参数结构：

#include <type_traits>
template <typename Signature, int N = 0>
struct MyDelegate { };
template <typename D>
struct signature_traits;

// 修改特化，匹配双参数模板
template <template <typename, int> class Delegate, typename Signature, int N>
struct signature_traits<Delegate<Signature, N>> { using type = Signature; };

static_assert(std::is_same_v<void(int, int), signature_traits<MyDelegate<void(int, int)>>::type>);

这个方案精准匹配MyDelegate的结构，不管N是默认值还是显式指定的值，都能正确提取Signature。

方案2：使用可变参数模板模板参数（更通用） #

如果你希望signature_traits能适配更多类似的模板（比如第一个参数是签名，后面有任意数量的额外参数），可以用可变参数的模板模板参数：

#include <type_traits>
template <typename Signature, int N = 0>
struct MyDelegate { };
template <typename D>
struct signature_traits;

// 可变参数版本，适配任意第一个参数为Signature的模板
template <template <typename...> class Delegate, typename Signature, typename... RestArgs>
struct signature_traits<Delegate<Signature, RestArgs...>> { using type = Signature; };

static_assert(std::is_same_v<void(int, int), signature_traits<MyDelegate<void(int, int)>>::type>);

这个方案的通用性更强，哪怕后续给MyDelegate添加更多带默认值的模板参数，特化依然有效。

方案3：给MyDelegate添加单参数模板别名 #

如果你不想修改signature_traits的结构，可以给MyDelegate定义一个单参数的模板别名，适配原特化：

#include <type_traits>
template <typename Signature, int N = 0>
struct MyDelegate { };
// 单参数模板别名
template <typename Signature>
using MyDelegateSingle = MyDelegate<Signature>;

template <typename D>
struct signature_traits;
template <template <typename> class Delegate, typename Signature>
struct signature_traits<Delegate<Signature>> { using type = Signature; };

// 使用别名进行断言
static_assert(std::is_same_v<void(int, int), signature_traits<MyDelegateSingle<void(int, int)>>::type>);

不过这个方案需要修改使用MyDelegate的地方，灵活性稍差。

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