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

     

        

  • 相关阅读:
    java数组算法运用
    binary_cross_entropy和binary_cross_entropy_with_logits的区别
    漫谈:C/C++ char 和 unsigned char 的用途
    cost function 成本函数
    哪些城市的互联网发展比较好?
    2024年【N1叉车司机】免费试题及N1叉车司机模拟试题
    论文笔记:Contrastive Trajectory Similarity Learning withDual-Feature Attention
    【Linux】动静态库
    广东的介绍
    Python多线程(一)
  • 原文地址:https://blog.csdn.net/zkmrobot/article/details/126093448