模板系列(一) 模板的模板参数

前面我们写过类似的Stack:

template <typename T, typename Alloc = std::vector<T> >
class Stack
{
public:
      void push(const T &);
      void pop();
      T top() const;
      bool empty() const;
private:
      Alloc _cont;
};

那么我们使用的时候需要这样:

Stack<string, list<string> > st;

我们看到，string这个类型参数出现了两次，那么可不可以消除呢？

显然我们的目的是只指定容器的类型，而不包括元素的类型，这就需要借助模板的模板参数，来帮助我们写出一下代码：

Stack<string, list> st;

这里我们需要定义模板参数的第二项为模板:

template <typename T,
          template <typename ELEM>
          class Alloc = std::vector>
class Stack;

我们写出一份完整的实现:

template <typename T,
          template <typename ELEM>
          class Alloc = std::vector>
class Stack
{
public:
    void push(const T &s);
    void pop();
    T top() const
    { return _cont.back(); }

    bool empty() const
    { return _cont.empty(); }
private:
    Alloc<T> _cont;
};

template <typename T, template <typename> class Alloc>
void Stack<T, Alloc>::push(const T &s)
{
    _cont.push_back(s);
}

template <typename T, template <typename> class Alloc>
void Stack<T, Alloc>::pop()
{
    _cont.pop_back();
}

然而该段代码仍然会编译错误，这是因为无论是vector还是list都有两个模板参数，于是无法与Alloc这个参数匹配。
我们将模板修改为:

template <typename T,
          template <typename ELEM, typename Alloc = std::allocator<ELEM> >
          class Container = std::vector>
class Stack;

完整的实现为:

template <typename T,
          template <typename ELEM, typename Alloc = std::allocator<ELEM> >
          class Container = std::vector>
class Stack
{
public:
    void push(const T &s);
    void pop();
    T top() const
    { return _cont.back(); }

    bool empty() const
    { return _cont.empty(); }
private:
    Container<T> _cont;
};

template <typename T, template <typename, typename> class Container>
void Stack<T, Alloc>::push(const T &s)
{
    _cont.push_back(s);
}

template <typename T, template <typename, typename> class Container>
void Stack<T, Alloc>::pop()
{
    _cont.pop_back();
}

测试代码为:

Stack<string, list> st;
st.push("foo");
st.pop();