考虑以下代码：
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？标准是否有这种情况的规格？
