模板的模板参数

1.让模板本身成为模板。

前面一篇文章中的例子，如果要使用一个和缺省值不同的内部容器，需要两次指定元素的类型。

stack<int, std::vector<int> > vstack;

你可以借助模板的模板参数，只需要指定所含元素的类型，就可以声明这个模板类了：

stack<int ,std::vector> vstack;

为了获得这个特性，你需要将第二个模板参数指定为模板的模板参数：

template <typename T, template<typename ELE> class CONT = std::deque>
class stack
{
......
};
不同之处在于，第二个参数现在声明为一个类模板：

template <typename ELEM> class CONT 

这个例子比较特殊，直接使用第一个模板参数作为第二个模板参数的实例化类型。一般的，你可以使用类模板内部的任何类型来实例化模板的模板参数。

函数模板不支持模板的模板参数。

2.实参匹配：如果直接使用上述程序，是会出错的。因为std::deque的的模板参数和提供的类模板CONT的模板参数不匹配。标准库中的std:deque模板参数还有另一个参数，它有一个缺省值，但是CONT只有一个模板参数。重新写：

template<typename T,
    template<typename ELEM,
        typename ALLOC=std::allocator<ELEM> >
           class CONT=std::deque>
class
{
......
};

转载于:https://www.cnblogs.com/USTC-fuxm/archive/2011/10/18/2216697.html