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

Question

我正在努力巩固我对模板模板参数的理解。在C++ 模板完整指南（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;