如何使用模板模板参数中的默认参数以外的其他参数进行实例化

Question

我正在努力巩固我对模板模板参数的理解。在C++ Templates the Complete Guide（Vandervoorde，Josuttis）中，他们在第 52 页有一个示例，我想使用如下图所示：

（我也在尝试学习如何在 stackoverflow 上使用 Picasa 中的图像，所以如果上述方法不起作用，这里有一个稍微详细一点的版本）

书中的原始代码

template <typename T,
          template <typename ELEM, typename ALLOC=std::allocator<ELEM> > class CONT=std::vector>
class Stack
{
    private:
        CONT<T >  elems; //Why doesn't CONT<T, ALLOC> elems; compile?
};

不向您展示如何将其用于不同的分配器。他们确实将不同的容器显示为：

Stack<int, std::deque> my_deque_stack;

我天真地尝试过：

Stack<int, std::deque<int,  std::allocator<int> >  > my_deque_int_stack;

我也尝试在私有部分将 CONT 定义为

CONT<T, ALLOC>

但这也会产生编译器错误。我想知道在我想使用双端队列但想指定不同的分配器的地方使用 Stack 模板的正确语法是什么。我在这里阅读了一些类似的帖子，这些帖子表明在周围撒了类型名或模板限定符，我尝试了几个但似乎找不到神奇的公式。

Answer 1

CONT 中的参数定义实际上并没有被编译器使用。模板-模板参数CONT其实类似于一个函数，接受2种类型输入，返回一个新类型：

// pseudo code
type Stack(type T, type(*CONT)(type ELEM, type ALLOC = etc)) { 
   return CONT(T);
}

和正常的函数指针声明一样，名称 ELEM、ALLOC 实际上被编译器忽略。

编译器看到的只是

template <typename T,
          template <typename E, typename = std::allocator<E> > class CONT = std::vector>
struct Stack { ... };

因此，你根本不能使用 ALLOC。

---

所以要解决呢？好吧，你传递了一个额外的参数！就像普通 C++ 函数中的情况一样：

// pseudo code
type Stack(type T, type(*CONT)(type, type), type ALLOCATOR = etc) { 
//                                          ^^^^^^^^^^^^^^^^^^^^
   return CONT(T, ALLOCATOR);
}

相应的实际模板声明将是

template <typename T,
          template <typename, typename> class CONT = std::vector,
          typename ALLOCATOR = std::allocator<T> >
//        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
struct Stack {
   ...
   CONT<T, ALLOCATOR> elems;
};

//...
Stack<int, std::vector, std::allocator<int> > s;