C++模板实例化

实例化：一个通过使用具体值替换模板参数，从模板产生的普通类，函数或者成员函数的过程。

特化：就是上述过程最终获得实体。

延迟实例化：
当隐式实例化类模板时，同时也实例化了该模板的每个成员声明，但并没有实例化相应的定义，然而，存在例外：
1.如果类模板包含了一个匿名的union，那么该union定义的成员同时也被实例化了
2.作为实例化类模板的结果，虚函数的定义可能被实例化，但也可能没有，这依赖于具体实现

C++的实例化模型：

两阶段查找：
第1阶段：发生在模板的解析阶段
非依赖型名称：普通查找＋ADL
非受限的依赖型名称：普通查找，但它的查找是不完整的，在实例化的时候，还会再次进行查找。

 

第2阶段：发生在模板的实例化阶段，此时发生的地点称为一个实例化点POI
依赖受限名称：普通查找＋ADL
非受限的依赖型名称：ADL （查询完后，和第1阶段的查找结果合并成为候选函数集合）

实例化地点POI:
当某些代码构造引用了模板特化，而且为了生成这个完整的特化，需要实例化相应模板的定义时，就会在源代码中产生一个实例化点（POI）。POI是位于源代码中的一个点，在该点会插入替换后的模板实例。
class MyInt { public: MyInt(int i); }; MyInt operator - (const MyInt& ); bool operator > (const MyInt&,const MyInt&); typedef MyInt Int; template <typename T> void f(T i) { if(i > 0) g(-i); } //(1) void g(Int) { //(2) f<Int>(32); //调用点 //(3) } //(4)

当C++编译器看到f<Int>(32)时，它知道要用MyInt来替换T来实例化模板，即生成了一个POI。（2）和（3）处，C++并不允许把::f<Int>(Int)的定义在这里插入。（1）和（4）的区别在于：在（1）处g(Int)是不可见的，所以在（4）处。

C++规定：对于指向非类型特化的引用，它的POI定义在“包含这个引用的定义或声明后的最近名字空间域”。

 

对于类的特化有点不同，例如：

template <typename T> class S { public: T m; }; //(5) unsigned long h() { //(6) return ((unsigned long) sizeof(S<int>)); //(7) } //(8)

当C++编译器看到S<int>时，它知道要用int来替换T来实例化模板，即生成了一个POI。（6）和（7）处，C++并不允许把的定义在这里插入。如果在（8）处，sizeof(S<int>)表达式是无效的，因为要编译到（8）只有才能知道S<int>的大小，而sizeof(S<int>)在（8）之前。C++规定：对于指向产生自模板的类实例的引用，它的POI定义在“包含这个实例引用的定义或声明之前的最近名字空间域”。

 

在实例化模板的时候，可能还需要进行某些附带的实例化。

template <typename T> class S { public: typename int I; }; //(1) template <typename T> void f() { S<char>::I var1 = 41; typename S<T>::I var2 = 42; } int main() { f<double>(); } //(2):(2a)(2b)

对于非类型实体，这种二次POI的位置和主POI的位置相同。
对于类型实体，二次POI的位置位于主POI位置的紧前处。
对于上例中，(1)处是S<char>的POI，(2a)是S<double>的POI，(2b)是f<double>的POI。

显式实例化：
从语法上讲，显式实例化指示符由关键字template和后面的特化声明组成，所声明的特化就是即将由实例化获得的特化。
在同一个程序中，每个特定的模板特化最多只能存在一处显式实例化，而且，如果某个模板特化已经被显式实例化了，就不能对它进行显式特殊化。
提高创建效率的一种方法是：在某一个位置手工实例化特定的模板特化，并且禁止在所有其他的翻译单元中进行模板的实例化。
在显式实例化指示符的前面，添加一个关键字extern，并且指出，只有不具备这个关键字的情况下，才会引发实例化过程。
例：
//翻译单元1 template <typename T> void f() { } extern template void f<int> (); //声明但没有定义 void g() { f<int>(); } //翻译单元2 template <typename T> void f() { } template void f<int>(); //手工实例化，这是实例化 void g(); int main() { g(); }