外部模板
传统 C++ 中,模板只有在使用时才会被编译器实例化。
换句话说,只要在每个编译单元(文件) 中编译的代码中遇到了被完整定义的模板,都会实例化。
这就产生了重复实例化而导致的编译时间的增加。
并且,我们没有办法通知编译器不要出发模板实例化。
C++11 引入了外部模板,扩充了原来的强制编译器在特定位置实例化模板的语法,
使得能够显式的告诉编译器何时进行模板的实例化:
template
class
std::vector<MagicClass>; // 强行实例化 |
尖括号 ">"
在传统 C++ 的编译器中, >> 一律被当做右移运算符来进行处理。
但实际上我们很容易就写出了嵌套模板的代码:
std::vector<std::vector<int>> mtx; |
这在传统C++编译器下是不能够被编译的
C++11 开始,连续的右尖括号将变得合法,并且能够顺利通过编译。
甚至于下下面这种写法都能够通过编译:
template<bool
T> SuckType; |
类型别名模板
在了解类型别名模板之前,需要理解『模板』 和『类型』 之间的不同。
仔细体会这句话:模板是用来产生类型的。
在传统 C++中, typedef 可以为类型定义一个新的名称,但是却没有办法为模板定义一个新的名称。
因为,模板不是类型。例如:
template<typename
T, typename
U> |
C++11 使用 using 引入了下面这种形式的写法,并且同时支持对传统typedef 相同的功效:
typedef
int(*process)(void *); |
变长参数模板
在 C++11 之前,无论是类模板还是函数模板,都只能按其指定的样子,接受一组固定数量的模板参数;
而 C++11 加入了新的表示方法,允许任意个数、任意类别的模板参数,
同时也不需要再定义时将参数的个数固定。
template<typename... Ts> class
Magic; |
既然是任意形式,所以个数为0的模板参数也是可以的:
class Magic<> nothing;
如果不希望产生的模板参数个数为0,可以手动的定义至少一个模板参数:
template<typename Require, typename... Args> class Magic; |