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

考虑以下代码：

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的代码,然后从非模板派生你的模板？您获得一个非模板代码的副本,每个模板的每个实例继承.

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