我可以使用别名模板来专门化类模板吗？

Question

这是一个简单的例子：

class bar {};

template <typename>
class foo {};

template <>
using foo<int> = bar;

这是允许的吗？

Answer 1

$ clang++ -std=c++0x test.cpp
test.cpp:6:1: error: explicit specialization of alias templates is not permitted
template <>
^~~~~~~~~~~
1 error generated.

参考：14.1 [temp.decls]/p3：

3 因为别名声明不能声明模板 ID，所以它不是
可以部分或显式地专门化别名模板。

Answer 2

尽管直接专门化别名是不可能的，但这里有一个解决方法。
（我知道这是一篇旧文章，但它是有用的。）

您可以使用 typedef 成员创建一个模板结构，并专门化该结构。
然后，您可以创建引用 typedef 成员的别名。

template <typename T>
struct foobase {};

template <typename T>
struct footype
  { typedef foobase<T> type; };

struct bar {};

template <>
struct footype<int>
  { typedef bar type; };

template <typename T>
using foo = typename footype<T>::type;

foo<int> x; // x is a bar.

这使您可以通过专门化 footype 来间接专门化 foo。

您甚至可以通过继承自动提供 typedef 的远程类来进一步整理它。然而，有些人可能会觉得这更麻烦。就我个人而言，我喜欢它。

template <typename T>
struct remote
  { typedef T type; };

template <>
struct footype<float> :
  remote<bar> {};

foo<float> y; // y is a bar.

Answer 3

根据标准的§14.7.3/1（也在此其他答案)，别名不允许作为显式专业化:(

以下任何一项的明确专业化：

• 函数模板
• 类模板
• 类模板的成员函数
• 类模板的静态数据成员
• 类模板的成员类
• 类的成员类模板或类模板
• 类的成员函数模板或类模板

可以声明[...]