c++ - 我可以使用别名模板专门化一个类模板吗？

Question

这是一个简单的例子：

class bar {};

template <typename>
class foo {};

template <>
using foo<int> = bar;

这是允许的吗？

Answer 1

虽然别名的直接专业化是不可能的，但这里有一个解决方法。（我知道这是一篇旧帖子，但它很有用。）

您可以使用 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.

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

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

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

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

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

Answer 2

$ 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 3

根据标准的第 14.7.3/1 节（在另一个答案中也提到），别名不允许作为明确的专业化:(

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

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

可以声明[...]