C++模板编程（23）---模板实例化小结summary

前面讨论了两个相关但有区别的问题：C++ template编译模型和各种C++template实例化机制。

    编译模型compilation model用来在程序的个编译阶段决定一个template的意义。更明确的说，它决定了template被实例化时其内各个构件的意义。名称查询（name lookup）当然是编译模型中的最基本的部分。当我们谈论置入式模型和分离式模型时，我们在谈论编译模型。这些模型是语言定义的一部分。 

    实例化机制是定义于C++语言之外的机制，它使C++编译器可以正确产生具现体。这些机制可能受制于链接器或其他开发工具。

    早期的Cfronttemplate编译器超越了这两个概念。下面例子展示了实现方案细节：

//template.hpp

template <class T> //cfront 不支持关键词 typename

void f(T);

//template.cpp

template <class T>

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是另一中形式的污染。