【C++基础学习】引起类模板被实例化情形总结

在我们使用类模板时，只有当代码中使用了类模板的一个实例的名字，而且上下文环境要求必须存在类的定义时，这个类模板才被实例化。并不是每次使用一个类都要求知道该类的定义。

（1）声明一个类模板的指针和引用，不会引起类模板的实例化，因为没有必要知道该类的定义。例如：

class Matrix;Matrix *pm;//不需要类的定义void inverse(Matrix &);//也不需要类的定义

以及

void foo(Queue<int> &qi){Queue<int> *pqi = &qi;//...}

但是如果检查这个指针或引用所值的那个对象时，类模板才会被实例化。比如在上例中，如果指针pqi被解引用，qi被用来获得它所指向的对象值，或者pqi或qi被用来访问Queue<int>的数据成员或成员函数时，Queue<int>才会被实例化。

void foo(Queue<int> &qi){Queue<int> *pqi = &qi;//因为成员函数被调用，所以Queue<int>被实例化pqi ->add(255);//...}

（2）定义一个类类型的对象时需要该类的定义，因此类模板会被实例化、例如：

class Matrix;Matrix obj1;//Errorclass Matrix{...};Matrix obj1;//OK

下面的例子中，对象qi的定义引起类模板Queue<int>被实例化：

Queue<int> qi;

（3）在使用sizeof()时，它是计算对象的大小，编译器必须根据类型将其实例化出来，所以类模板被实例化：

int iobj = sizeof(Stack<string>);

（4）new表达式要求类模板被实例化。

Queue<int> *p_qi = new Queue<int>;

（5）引用类模板的成员会导致类模板被编译器实例化。

（6）需要注意的是，类模板的成员函数本身也是一个模板。标准C++要求这样的成员函数只有在被调用或者取地址的时候，才被实例化。（在标准C++之前有些编译器在实例化类模板时，就实例化类模板的成员函数。）用来实例化成员函数的类型，就是其成员函数要调用的那个类对象的类型。