用于非模板相关代码的C代码生成

发布时间：2020-12-16 05:49:53 所属栏目：百科来源：网络整理

导读：考虑以下代码： templatetypename Tstruct A{ void f(){...} friend T;};templatetypename Tstruct B{ void f(T){...}//code depends on T void g(){...}//code doesn't depends on T} 如你所见,结构A中的“代码”不依赖于T. 编译器会为每个用于实例化A的T的

考虑以下代码：

template<typename T>
struct A
{
    void f(){...}

    friend T;
};

template<typename T>
struct B
{
    void f(T){...}//code depends on T
    void g(){...}//code doesn't depends on T
}

如你所见,结构A中的“代码”不依赖于T.
编译器会为每个用于实例化A的T的最终二进制生成不同的代码吗？

对于B :: g()函数来说,相同的问题,编译器对于所有B< T>的实例使用相同的函数.当有可能的时候,例如这个在g()中没有使用,所以没有依赖于T？标准是否有这种情况的规格？

解决方法

如果你想确定编译器生成什么,为什么不写一个非模板结构来实现不依赖于T的代码,然后从非模板派生你的模板？您获得一个非模板代码的副本,每个模板的每个实例继承.

至少,这是我过去做的,当我发现模板实例化使我的编译对象非常大.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!