• C++模板编程(23)---模板实例化小结summary


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

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

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

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

    //template.hpp

    template //cfront 不支持关键词 typename

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

     

        

  • 相关阅读:
    curl命令的那些事
    [Framework] Android Handler 工作原理
    在64位电脑上 使用anaconda虚拟环境将Python程序打包成32位
    线程(中):线程安全
    Unity 控制物体透明度变化
    BGP的基础知识
    知识图谱实战应用28-基于py2neo的ICD-11疾病分类的知识图谱的查询与问答实战应用
    centos7安装ansible图形化管理界面AWX
    经典算法-----01背包问题(动态规划)
    VPP创建接口
  • 原文地址:https://blog.csdn.net/zkmrobot/article/details/126093448