使用模板特化

Question

通常的模板结构可以被特化，例如，

template<typename T>
struct X{};

template<>
struct X<int>{};

C++11 为我们提供了新的很酷的 using 语法来表达模板类型定义：

template<typename T>
using YetAnotherVector = std::vector<T>

有没有办法为这些使用类似于结构模板的特化的构造来定义模板特化？我尝试了以下方法：

template<>
using YetAnotherVector<int> = AFancyIntVector;

但它产生了编译错误。这有可能吗？

Answer 1

没有。

但您可以将别名定义为：

template<typename T>
using YetAnotherVector = typename std::conditional<
                                     std::is_same<T,int>::value, 
                                     AFancyIntVector, 
                                     std::vector<T>
                                     >::type;

希望对您有所帮助。

Answer 2

既不能明确地专门化它们，也不能部分地专门化它们。 [temp.decls]/3:

因为 alias-declaration 不能声明 template-id，所以它是 无法部分或显式特化别名模板。

您将不得不将专业化推迟到类模板。例如。 conditional:

template<typename T>
using YetAnotherVector = std::conditional_t< std::is_same<T, int>{}, 
                                             AFancyIntVector, 
                                             std::vector<T> >;