template template parameter 模板模板参数

侯捷大佬将的模板模板参数这里有一篇博客，懒得打就直接引用了：https://blog.csdn.net/SUSU0203/article/details/80619865

主要就是使用using的妙处。

template<typename T>

using Vec = std::vector<T,std::allocator<T>>;

这个定义不能放在源文件中，找个头文件放就行，试过放在源文件是不行的

后边想了一下template<typename T, template<typename T> class Container>,这里这个class能否用typename代替呢，测试了一下再vs2013和devc最新版的5.15都不行，看来是硬性要求了，找个理由说服自己就算了，哈哈。

在IBM知识中心有关于模板模板参数的一个小说明

英语太差边翻译边看真难受-_-

https://www.ibm.com/support/knowledgecenter/en/SSLTBW_2.3.0/com.ibm.zos.v2r3.cbclx01/template_template_arguments.htm

首先给了一个例子，这个代码是通不过编译的，因为这样使用template template parameter它是不会去找到特化版本的

template<class T, int i> class A {
   int x;
};

template<class T> class A<T, 5> { //特化版本
   short x;
};

template<template<class T> class U> class B1 { };

B1<A> c; //vs中直接报红，说参数数量不对，因为普通版本还需要一个int

//下边给了一个正确姿势，大概意思一个是说再类B里使用了模板模板参数V去定义了变量，所以编译器去找特化版本，服了

#include <iostream>
#include <typeinfo>

using namespace std;

template<class T, class U> class A {
public:
   int x;
};

template<class U> class A<int, U> {
public:
   short x;
};

template<template<class T, class U> class V> class B {
public: //原文这里没有public，想不通他是怎么通过编译的
   V<int, char> i;
   V<char, char> j;
};

B<A> c;

int main() {
   cout << typeid(c.i.x).name() << endl;
   cout << typeid(c.j.x).name() << endl;
}

好吧，在我的Devc里跑一下

 

 s代表的是short，i代表int

太省了吧（vs是直接short和int)

关于template template parameter的语法就先扯到这，看到实用场景再补充吧