有没有办法使部分专业化始终优于主要模板？

Question

我问自己

您能否编写一个类模板和相应的部分特化，以便对于参数的任何模板实参集，编译器都会采用部分特化？

例如，

template<typename T>
struct A { };

template<typename T>
struct A</* what to write!?*/> { };

我似乎记得读过这在某种程度上是可能的，但我忘记了实现这项工作的确切算法。

Answer 1

我的 GCC 版本很乐意接受：

template<typename T>
struct A;

template<typename... Pack>
struct A<Pack...> {};

Answer 2

如果您允许 SFINAE 技巧，那么它将像这样简单：

enum E { TRUE };

template<typename T, E = TRUE>
struct A
{
  static const bool value = false;
};

template<typename T>
struct A<T, TRUE>
{
  static const bool value = true;
};

演示。