C/C++编程：模板的on-demand实例化

实例化是一个过程，它根据泛型的模板定义，生成具体的类型或者函数，换句话说，模板实例化是这样的一个过程：根据相应的模板实体，适当的替换模板参数，从而好的一个普通的类或者函数

on-demand实例化：当C++编译器遇到模板特化的使用时，它会利用所给的实参替换对应的模板参数，从而产生该模板的特化。这个过程是编译器自动进行的，并不需要客户端代码(也就是模板定义)来引导。on-demand实例化也被称为隐式实例化或者自动实例化

on-demand实例化表明在使用模板(特化)的地方，编译器需要访问模板和某些模板成员的整个定义（即只有声明是不够的）

template<typename T> class C; // (1). 这里只有声明（前置声明：只有声明尚未定义）

C<int> *p = 0;       //(2)正确：并不需要C<int>的定义

template<typename T>
class C{
	public:
		void f(); // (3) 成员声明
};     //（4） 类模板定义的结束

void g(C<int& c>){ // （5）只是用了类模板的声明
	c.f(); // （6）使用了类模板的定义：需要C::f()的定义
}

C<void >* p = new C<void>;  //（7） 需要C的定义

（1）是前置声明：只有声明还没有定义
（2）和普通类的情况一样，如果声明的是一个指向某种类型的指针或者引用，那么在声明的作用域中，并不需要看到该类模板的定义
（5） 函数的参数类型只需要用到类模板的声明
（6）需要访问该特化的成员，因此需要类模板的定义
（7）需要知道模板特化的大小，因此需要类模板的定义