前面讨论了两个相关但有区别的问题:C++ template编译模型和各种C++template实例化机制。
编译模型compilation model用来在程序的个编译阶段决定一个template的意义。更明确的说,它决定了template被实例化时其内各个构件的意义。名称查询(name lookup)当然是编译模型中的最基本的部分。当我们谈论置入式模型和分离式模型时,我们在谈论编译模型。这些模型是语言定义的一部分。
实例化机制是定义于C++语言之外的机制,它使C++编译器可以正确产生具现体。这些机制可能受制于链接器或其他开发工具。
早期的Cfronttemplate编译器超越了这两个概念。下面例子展示了实现方案细节:
//template.hpp
template
void f(T);
//template.cpp
template
void f(T)
{
}
//app.hpp
class App{
...
};
//main.cpp
#include "app.hpp"
#include "template.hpp"
int main()
{
App a;
f(a);
}
在链接期间,cfront迭代式机制会产生一个新编译单元,其中含入一些文件,它期望那些文件含有它在头文件中发现的template的实作码。cfront的习惯是将表头文件扩展名.h 替换为.c。这时它生成的编译单元变成:
//main.cpp
#include "template.hpp"
#include "template.cpp"
#include "app.hpp"
static void _dummy_(App a1)
{
f(a1);
}
这个编译单元会在编译期间获得一个特殊参数,禁止为定义于included file中的任何物体生成obj code。这将使得包含template.cpp这一事实不会造成template.cpp之中含有的任何可链接物产生重复定义。
函数dummy_()被用来建立一个referenc,指向必须被实例化的那个特化体。
与之对比的是,标准C++分离式模型将两个编译单元分别编译,并使用ADL跨越编译单元,产生一个可使用各编译单元内物体的具现体。由于这种机制并不依赖档案含入关系(not based on inclusion), 也就不依赖特殊的头文件组织方式。而编译单元中的宏也不会污染其他编译单元。然而宏并不是C++中带来惊奇的东西。汇出模型export model是另一中形式的污染。