Template Template Parameter模板模板参数

    所谓模板模板参数，意思是模板的参数又是一个模板，例如：

template<typename T, template<typename U> class Container>
class XCls
{
private:
  Container<U> c;
public:
  ...
};

其中，第一个模板参数是类型T，第二个参数是一个Container容器，它可以是指向任意类型U的变量。

    如果我们按如下方式调用，将容器Container写为list：

XCls<string, list> mylst1;

编译会出错，原因是将string和list传入到类XCls中，然后就会定义一个list<string>的变量c，这样看起来是可行的，但是为什么编译会出错呢？是因为list容器实际上是有第二参数的，虽然第二参数也有默认的参数，但在这里不指定是不行的。我们可以使用如下方法解决这个问题：

template<typename T>
using Lst = list<T, allocator<T>>;

XCls<string, Lst> mylst2;

    这里还有第二个例子：

template<typename T, tamplate<typename T> class SmartPtr> //第二个模板参数是一个智能指针
class XCls
{
private:
  SmartPtr<T> sp;
public:
  XCls()
  : sp(new T) {}
};

XCls<string, shared_ptr> p1; //编译通过
XCls<double, unique_ptr> p2; //编译出错
XCls<int, weak_ptr> p3; //编译出错
XCls<long, auto_ptr> p4; //编译通过

其中，智能指针SmartPtr只接受一个模板参数。

    对于下面这个例子，它还是模板模板参数吗？

template<class T, class Sequence = deque<T>>
class stack
{
  friend bool operator== <> (const stack&, const stack&);
  friend bool operator< <> (const stack&, const stack&);

protected:
  Sequence c;
...
};

stack<int> s1;
stack<int, list<int>> s2;

    我们定义了模板类stack，有两个模板参数，第一个是类型T，第二个是Sequence类型，它有一个默认类型deque<T>.主函数的两种调用方式都是可行的，第一种只制定了第一个参数，第二个参数使用默认值。第二种制定了两个模板参数。但是！这不是模板模板参数。因为，一旦指定了第一个模板参数，那么第二个参数的类型就会确定，而真正的模板模板参数，第二个模板参数和第一个模板参数的类型是没有关系的，可以指定为第一个模板参数的类型，也可以指定为其他类型。因此，这不是模板模板参数！！！