为什么std::void_t导致类模板偏特化重定义？如何实现统一调用签名的TypeTrait

首先明确：Clang与MSVC的行为符合C++标准，GCC属于非标准的宽松检查。
C++标准要求，同一个类模板的多个偏特化必须是可区分的——即不存在任意一组模板实参，能同时匹配多个偏特化。你给出的两个偏特化的第二个模板参数都是std::void_t<...>，只要对应表达式合法，最终都会推导为void类型。对于同时支持单参数foo和双参数foo的类型T，两个偏特化会同时匹配产生歧义，因此这两个偏特化的声明本身就不符合标准要求。
GCC的实现没有做这个前置检查，只要当前翻译单元内没有出现同时匹配两个偏特化的类型，就允许编译通过，属于非标准扩展。

你找到的相关描述中提到的“没有规则规定偏特化永远不会出现歧义”和该问题直接相关：你写的两个偏特化存在潜在的歧义场景，因此标准不允许这种声明。

你不需要用复杂的函数重载实现优先级，利用偏特化的继承查找顺序就能实现更简洁的版本，所有编译器都能正常编译，还天然支持优先级匹配：

#include <type_traits>
#include <utility>
#include <iostream>

// 优先级从高到低查找，默认从最高级2开始
template <class T, int Priority, class = void>
struct TraitImpl : TraitImpl<T, Priority - 1> {};

// 最高优先级：匹配双参数foo
template <class T>
struct TraitImpl<T, 2, std::void_t<decltype(foo(std::declval<T>(), std::declval<T>()))>> {
  static void InvokeFoo(T v1, T v2) { foo(v1, v2); }
};

// 次优先级：匹配单参数foo
template <class T>
struct TraitImpl<T, 1, std::void_t<decltype(foo(std::declval<T>()))>> {
  static void InvokeFoo(T v1, T) { foo(v1); }
};

// 最低优先级兜底，可自定义报错逻辑
template <class T>
struct TraitImpl<T, 0, void> {
  static_assert(std::is_same_v<T, void>, "Type does not support foo call with 1 or 2 arguments");
};

// 对外暴露的统一接口，从最高优先级开始查找
template <class T>
struct Trait : TraitImpl<T, 2> {};

// 测试代码
struct X {};
void foo(X) { std::cout << "X" << std::endl; }
struct Y {};
void foo(Y, Y) { std::cout << "Y, Y" << std::endl; }
struct Z {};
void foo(Z, Z) { std::cout << "Z, Z" << std::endl; }
void foo(Z) { std::cout << "Z" << std::endl; }

int main() {
  Trait<X>::InvokeFoo(X{}, X{}); // 输出X
  Trait<Y>::InvokeFoo(Y{}, Y{}); // 输出Y, Y
  Trait<Z>::InvokeFoo(Z{}, Z{}); // 输出Z, Z（高优先级优先）
}

方案原理 #

• 我们将优先级直接内嵌为模板的第二个非类型参数，不同优先级的偏特化的模板参数列表天然可区分，不会出现重定义错误。
• 模板查找时从最高优先级（此处为2）开始匹配，如果当前优先级的特化匹配失败，会自动继承低一级的偏特化继续查找，完美实现你需要的优先级规则。

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