在C ++中模板化别名的Typedef

Question

我有以下模板类A ：

template<template<typename>class VectorT>
class A
{
      //...
}

我实例化如下： A<MyStdVector> objectA; 其中MyStdVector是具有特定分配器（ MyAllocator ）的std::vector的别名：

template<typename T>
using MyStdVector = std::vector<T,MyAllocator>

我决定在A创建一个名为Vector的别名：

template<template<typename>class VectorT>
class A
{
 public:
      template<typename T>
      using Vector = VectorT<T>;

      //...
}

在A我可以调用Vector<int> （而不是VectorT<int> ）。 更重要的是，我想从另一个B类访问这个别名Vector 。 如何实现这个目标 ：

template<class A>
class B
{
public:
    // How to define a type Vector which refers to A::Vector 
    // such that inside B, Vector<int> refers to A::Vector<int>
    // which refers to MyStdVector<int> 
}   

例如，为了在B类中创建一个属性Vector<int> 。 所以我尝试了3件事（在B级内）：

typedef typename A::Vector Vector;   //1

template<typename T>
using Vector = typename A::Vector;   //2

template<typename T>
using Vector = typename A::Vector<T> //3

但编译器说，对于2个第一个解决方案，类型名A::Vector将StdVector命名为不是类型（我猜它只被视为别名而不是类型？）。 最后一个解决方案会产生语法错误。

这是我试图编译的整个代码：

#include <vector>

template<typename T>
using MyStdVector = std::vector<T/*,MyAllocator*/>;

template<template<typename>class VectorT>
class A
{
public:
    template<typename T>
    using Vector = VectorT<T>;

    //...
};

template<class A>
class B
{
public:
//    typedef typename A::Vector Vector;   // 1

//    template<typename T>
//    using Vector = typename A::Vector;   // 2

//    template<typename T>
//    using Vector = typename A::Vector<T>; // 3

    Vector<int> m_vector;
};

int main(int argc, char *argv[])
{
    A<MyStdVector> a;
    B<A<MyStdVector>> b;
    return 0;
}

我对typedef和alias之间的区别感到困惑，特别是当我想混合它们时它们是模板化的...

Answer 1

键入3添加template

template <typename T>
using Vector = typename A::template Vector<T>;

Answer 2

为了澄清你对typedef （C ++ 98）和别名声明 （C ++ 11）之间的区别的困惑：区别在于模板。

别名声明可能会被模板化，而typedef则不能。

使用using使用用户定义的分配器将myvector声明为向量：

template<typename T>
using myvector = std::vector<T, myAllocator<T>>  // alias declaration

myvector<int> myIntVector; // client code

要使用typedef执行相同的操作，您必须在结构模板中嵌套typedef。

template<typename T>
struct myvector {
    typedef std::vector<T, myAllocator<T>> type;
}

myvector<int>::type myIntVector; // client code

::type后缀很麻烦， using可以编写更少的样板。 这就是为什么你应该更喜欢别名声明为typedef。