模板类实例化使用java_如何与模板类的一个实例化与同一模板中的另一个实例化...

那么为什么这个没有编译成类的内部，并在类外编译 .

当你有这个：

template struct C {

template

friend bool operator == (C const& c1, C const& c2)

{

return c1.i == c2.i;

}

};

C() == C()

在 class C 的外部范围内生成了两个 ::operator== ，在我们的全局命名空间中： ::operator==(C const& c1, C const& c2) (1)和 ::operator==(C const& c1, C const& c2) (2)，第一个是 C 的朋友，第二个是朋友 C . 编译器使用(1) . (1)只是 C 的朋友，所以编译时错误 .

但是如果你编写这样的代码：

template struct C {

template

friend bool operator == (C const& c1, C const& c2);

private:

int i;

};

template

bool operator == (C const& c1, C const& c2)

{

return c1.i == c2.i;

}

其中 operator== 未在 C 内实现，那么编译器不会生成 operator== 范围之外的 C 它使用已经存在，所以我们有 ::operator== 这两个类的朋友 C 和 C . 最后当你有：

template struct C {

template

friend bool operator == (C const& c1, C const& c2) {

return c1.i == c2.i;

}

private:

int i;

};

在 C() == C() 的情况下，您有两个由 ::operator== ::operator==(Cconst&, Cconst&) 和 ::operator==(Cconst&, Cconst&) 的编译器变体生成，编译器应该在这里生成编译时错误 .

参考文献c 11标准最后草案，第14.5.4和11.3.5节 .