C++ 模板模板形参

模板模板形参（Template Template Parameter）是C++模板编程中一种特殊的模板参数形式，用于在定义类模板时接受另一个类模板作为参数。

先看这个例子

template<typename T>
struct X{
    T x;
};

template<typename T, typename U>
struct Y{
    T x;
    U y;
};

Y<int,X> x; // 错误
Y<int,X<int>> y; //正确

为什么x是错误，因为模板形参中U应该是一个类，但是传入的X是一个类模板，只有像y这样传入X<int>模板实例化后才行。

这里就用到了模板模板形参

template<typename T>
struct X {
    T x;
};

template<typename T, template<typename> typename U>
struct Y {
    T x;
    U<T> y;
};

Y<int, X> x; // 正确

如果类模板有两个形参，就要这样写

template<typename T, typename U>
struct X {
    T x;
    U y;
};

template<typename T, template<typename, typename> typename U>
struct Y {
    T x;
    U<T,int> y;
};

Y<double,X> x;

模板模板形参有什么用呢？最简单的就是容器适配器，比如std::stakc, std::queue都是这样实现的。我这里实现了一个简单的栈。

template<typename T, template<typename = std::vector<T>> typename Counter>
class Stack {
public:
    bool empty() { return _stk.empty(); }

    size_t size() { return _stk.size(); }

    T top() { return _stk.back(); }

    void push(T x) { _stk.push_back(x); }

    void pop() { _stk.pop_back(); }

private:
    Counter<T> _stk;
};

Stack<int, std::vector> stk1;
Stack<char, std::list> stk2;