理解C++模板

C++模板最初的设计动机是为了能产生类型安全的通用容器，但是现在也用来生成自定义代码，引申出了泛型编程等概念。

模板分为函数模板和类模板，模板参数大致可以这样认为：无类型的模板参数，默认模板参数，模板类型的模板参数。

如：    

 template <class T, size_t N> class Stack {...} ;

Stack<int, 100>和Stack<int, 99>是两个不同的类。

而默认参数模板顾名思义就是加了默认的参数。

如：

template <class T, size_t N = 100> class Stack {... };

其实这种默认模板参数被广泛用于C++的标准库中，如vector类模板的声明：template <class T, class Allocator = allocator<T> > class vector; 

关于模板类型的模板参数则比较难理解，其实可以很简单地理解为参数是一个模板，要让编译器知道这个参数是一个模板。

如：

template <class T> class Array {...};

template <calss T, template <class N> class seq> class MyContainer {... };          

或者： 

template <calss T, template <class> class seq> class MyContainer {... }; 

注意：成员模板函数不能被声明为virtual，为什么呢？

因为编译器在解析一个类的时候，希望知道这个类的虚函数表的大小，如果允许虚成员模板函数的存在，则需要提前知道程序中所有这些成员函数的调用在什么地方，这是很不灵活的。

另外说下，模板中typename和class的使用，在很多程序中，用typename更直观些，但由于习惯问题，在模板声明时候，本人也一直都用的class。

其实，typename的作用就是告诉编译器这个标识符是一个类型，这个被用在编译器无法知道标识符的情况下。

例如：在很多STL中的begin和end函数，都是返回sql<T>::iterator之类的迭代器，这个时候就要在前面加上typename告诉编译器这个标识符是个类型。