模板+相关名称

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 错误，已修复。

根据错误报告，您的示例迟至 GCC 4.4.0 都会失败。我认为这只是意味着它还没有在新版本上进行过测试 - 并不是说​​它已经被修复。