从模板基类派生类型时未找到

Question

我很难理解为什么在以下两段代码中存在差异，编译器究竟在做什么。

我的琐碎以下代码位，符合市场预期，没有任何问题，编译：

class base 
{ 
public: 
    typedef int booboo; 
}; 

class derived : public base 
{ 
public: 
    int boo() 
    { 
     booboo bb = 1; 
     return bb; 
    } 
}; 

int main() 
{ 
    derived d; 
    d.boo(); 
    return 0; 
} 

我把代码从上面添加一些模板参数，并开始得到错误与类型BOOBOO不为有效：

template <typename T> 
class base 
{ 
public: 
    typedef T booboo; 
}; 

template <typename T> 
class derived : public base<T> 
{ 
public: 
    //typedef typename base<T>::booboo booboo; <-- fixes the problem 
    booboo boo() 
    { 
     booboo bb = T(1); 
     return bb; 
    } 
}; 

int main() 
{ 
    derived<int> d; 
    d.boo(); 
    return 0; 
} 

错误：

prog.cpp:13:4: error: ‘booboo’ does not name a type 
prog.cpp:13:4: note: (perhaps ‘typename base<T>::booboo’ was intended) 
prog.cpp: In function ‘int main()’: 
prog.cpp:23:6: error: ‘class derived<int>’ has no member named ‘boo’ 

http://ideone.com/jGKYIC

。

我想详细了解一个典型的C++编译器如何编译代码的模板版本，它与编译原始示例有什么不同，这是一个需要多次代码传递的问题，类型依赖查找？

Answer 1

在第二个版本中，booboo是一个从属名称，所以它不会在模板中自动显示。您可以将using typename base<T>::booboo;添加到派生类，或使用您的typedef解决方案，或者说typename base<T>::booboo bb = T(1);。