不合格查找和（maybe-）依賴性基類

Question

考慮下面的程序：

template <typename T> 
struct t 
{ 
    struct base { void f1(); }; 
    struct derived : base 
    { 
     void f2() 
     { 
      f1(); 
     } 
    }; 
}; 

在derived::f2，不合格查找用於查找f1。將會搜索base？將會找到base::f1？ base是依賴類型嗎？

請用標準引用來證實您的答案。

Answer 1

是的，base是相關的，所以找不到f1。在C++ 03中，這被addition14.6.1/2d（其在C++ 98中不存在）以及在C++ 0x中被清除，這直接由14.6.2.1/6（n3126）表示。

的依賴IT是很重要的，因爲下面是可能

// for T = int, f1 does not exist. 
template<> struct t<int>::base { }; 

Answer 2

這不適合評論中...

GCC拒絕代碼：

there are no arguments to 'f1' that depend on a template parameter, so a declaration of 'f1' must be available。

但是，在f1之前引入this->使其依賴，然後編譯工作。

至於我的經驗表明，同樣的行爲適用於：

• 類型（你必須typedef他們再次）
• 方法（你需要使用using base::f1或this->f1）

而我看到過這種行爲：

• GCC 3.4
• VC++ 9
• VC++ 10

現在我們可以等待standardistas擺脫標準的確切報價。