模板+从属名称

Question

$14.6.2/3 - "在类模板或类模板成员的定义中，如果类模板的基类依赖于模板参数，则在非限定名称期间不检查基类范围在类模板或成员的定义点或在类模板或成员的实例化期间查找。"

因此，'D::g' 中的调用 'f(0)' 应该调用 'B:f'。但是 gcc(IdeOne) 给出了一个模棱两可的错误。

这是 gcc 中的错误吗？ Comeau 编译得很好

template<class T, class U> struct A{
   template<class A, class B> A f(B b){A a; return a;}
};

struct B{
   double f(double d){return 0.0;}
};

template<class T, class U> struct D : A<T, U>, B{
   void g(){f(0);}
};

int main(){
   D<double, double> d;
   d.g();
}

Answer 1

我认为它是 GCC 中的 known bug。根据错误报告，您的示例在 GCC 4.4.0 中都失败了。我认为这只是意味着它尚未在较新的版本上进行测试 - 并不是说​​它已被修复。