模板+從屬名稱

Question

$ 14.6.2/3 - 「在類模板或類模板成員的定義中，如果類模板的基類依賴於模板參數，則基類作用域不是在定義類模板或成員時或在類模板或成員的實例化過程中，在非限定名稱查找過程中進行檢查。「

根據這個，撥打電話'f(0)''D::g'應撥打'B:f'。然而gcc（IdeOne）給出了一個模糊錯誤。

這是gcc中的錯誤嗎？科莫編譯它很好

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。我認爲這僅僅意味着它尚未在新版本上進行過測試 - 並不是它已被修復。