模板的实例化

  模板并不是真正的函数或类，它不会占用内存，最终生成的函数或类才会占用内存。模板的实例化是按需进行的，用到哪个类型就生成针对哪个类型的函数或类，不会提前生成过多的代码。也就是说，编译器会根据传递给类型参数的实参（也可以是编译器自己推演出来的实参）来生成一个特定版本的函数或类，并且相同类型只生成一次。

template<typename T> void Swap(T &a, T &b){
    T temp = a;
    a = b;
    b = temp;
}
int main(){
    int n1 = 100, n2 = 200, n3 = 300, n4 = 400;
    float f1 = 12.5, f2 = 56.93;
   
    Swap(n1, n2);  //T为int，实例化出 void Swap(int &a, int &b);
    Swap(f1, f2);  //T为float，实例化出 void Swap(float &a, float &b);
    Swap(n3, n4);  //T为int，调用刚才生成的 void Swap(int &a, int &b);
    return 0;
}

对于Swap（n3，n4）的调用，编译器不会再生成新版本的Swap（）了，因为刚才已经针对int生成了一个版本，直接拿来使用即可。

  另外需要注意的是类模板的实例化，通过类模板创建对象时并不会实例化所有的成员函数，只有真正等到调用它们时才会被实例化；如果一个成员函数永远不会被调用，那它就永远不会被实例化。这说明类的实例化是延迟的、局部的，编译器并不着急生成所有的代码。