默认模板参数和部分特化

Question

我正在尝试使用默认参数来理解部分模板专业化。如果我在 is_comparable 专业化中删除强制转换为 void，则打印的值始终为 false，而如果我保持强制转换为 (void)，则一切正常。有人可以解释为什么需要演员表作废吗？它可能与匹配 T3 的默认模板参数有关，但我试图在这里对模板部分专业化和默认模板参数的注意事项进行一些额外的了解。

template<typename T1, typename T2, typename T3 = void>
struct is_comparable
{
 static const bool value = false;
};

template<typename T1, typename T2>
struct is_comparable<T1, T2, decltype((void)(std::declval<T1>() == std::declval<T2>()))>
{
  static const bool value = true;
};

int main()
{
   cout << boolalpha;
   cout << is_comparable<int, char>::value << endl;
   cout << is_comparable<int, float *>::value << endl;
}

更新：即使使用指针，我也观察到相同的行为。我会假设在这种情况下会选择部分专业化？

template<typename T1, typename T2, typename T3 = void>
struct is_comparable
{
 static const bool value = false;
};

template<typename T1, typename T2>
struct is_comparable<T1*, T2*, decltype((std::declval<T1>() == std::declval<T2>()))>
{
  static const bool value = true;
};

int main()
{
   cout << boolalpha;
   cout << is_comparable<int*, int*>::value << endl;
}

Answer 1

我们默认使用主模板，所以

• is_comparable<int, char> 是 is_comparable<int, char, void>
• is_comparable<int, float *> 是 is_comparable<int, float*, void>
• is_comparable<int*, int*> 是 is_comparable<int*, int*, void>

现在，您没有 void cast 的专业化主要是（除非operator== 的特殊重载）是

• is_comparable<T1, T2, bool /* with SFINAE */>

因此与预期的参数不匹配。 你必须使用：

• is_comparable<int, char, bool>
• is_comparable<int, float *, bool>
• is_comparable<int*, int*, bool>

另一种转换为void 的方法是std::void_t：

template<typename T1, typename T2, typename Enabler = void>
struct is_comparable : std::false_type {};

template<typename T1, typename T2>
struct is_comparable<T1, T2,
                     std::void_t<decltype(std::declval<T1>() == std::declval<T2>())>>
    : std::true_type {};

Answer 2

编译器实例化主模板并获得以下信息：

is_comparable<int, char, void>

然后，为了选择最佳匹配，它会尝试实例化您的特化（假设没有类型转换 void 并假设类型替换成功）并获取以下类型：

is_comparable<int, char, bool>

它根本不匹配主模板，所以它不可能是更好的匹配。