实例化:一个通过使用具体值替换模板参数,从模板产生的普通类,函数或者成员函数的过程。
特化:就是上述过程最终获得实体。
延迟实例化:
当隐式实例化类模板时,同时也实例化了该模板的每个成员声明,但并没有实例化相应的定义,然而,存在例外:
1.如果类模板包含了一个匿名的union,那么该union定义的成员同时也被实例化了
2.作为实例化类模板的结果,虚函数的定义可能被实例化,但也可能没有,这依赖于具体实现
C++的实例化模型:
两阶段查找:
第1阶段:发生在模板的解析阶段
非依赖型名称:普通查找+ADL
非受限的依赖型名称:普通查找,但它的查找是不完整的,在实例化的时候,还会再次进行查找。
第2阶段:发生在模板的实例化阶段,此时发生的地点称为一个实例化点POI
依赖受限名称:普通查找+ADL
非受限的依赖型名称:ADL (查询完后,和第1阶段的查找结果合并成为候选函数集合)
实例化地点POI:
当某些代码构造引用了模板特化,而且为了生成这个完整的特化,需要实例化相应模板的定义时,就会在源代码中产生一个实例化点(POI)。POI是位于源代码中的一个点,在该点会插入替换后的模板实例。