为什么我不能使用模板类的父类变量？

Question

A.H

template <typename T> 
class A 
{ 
    public: 
    int a; 
} 

b.h

template <typename T> 
class B : public A<T> 
{ 
    public: 
    int f(); 
} 

template <typename T> 
int B<T>::f() 
{ 
    int t; 
    t = this->a; //Okay 
    t = a //Error 
    return 0; 
} 

当我不使用this->为什么错误发生？

我可以用某种方法省略this->吗？

（我固定的一些错误）

Answer 1

有模板实例化（“两阶段名称查找”）两个阶段。

在第一阶段，所有非从属名称都被解析（查找）。在第二阶段，依赖名称被解析。

一个从属名称是依赖于模板参数的名称，例如：

template <typename T> 
void foo() { 
    x = 0; // <- Non-dependent, nothing in that refers to "T". 
       // Thus looked up in phase 1, therefore, an 'x' must be 
       // visible. 

    T::x = 0; // <- Dependent, because it depends on "T". 
       // Looked up in phase 2, which is when it must be visible. 
} 

现在，你写的：

t = this->a; //Okay 
t = a //Error 

这正是我所描述。在好的术语中，在阶段2, 中查找t，因为this取决于模板参数。

错误的术语在阶段1中查找，因为该名称中的任何内容都不依赖于模板参数。 但是在相1中，没有a是可见的，因为编译器不能在阶段1内省基类模板 ，因为模板可以专门和在实例化， 的点可以从主模板声明是远程的，另一个专业化 没有a，可能是可见的。

例子：

template <typename T> 
    struct Base { 
    }; 


    template <typename T> 
    struct Derived : Base<T> { 
     void foo() { 
      this->a = 0; // As is valid. `this->a` is looked up in phase 2. 
     } 
    }; 


    template <> struct Base<int> { 
     int a;    
    }; 


    int main() 
    { 
      // The following declarations trigger phase 2 lookup. 

      Derived<int> di; // valid, because a later specialized 
           // Base<int> is used and all symbols 
           // are resolved. 

      Derived<float> df; // not valid 
    } 

顺便说一句，我曾经写this-> is not only a matter of style我甚低频博客。

Answer 2

B是一个模板，因此它的名字是不相关的，因此必须抬起头来时，模板定义，而不是当它被实例化。但是，在定义模板时，从属名称是未知的（可能存在基类模板A迄今尚未见过的特化），编译器无法将未限定的名称解析为基类。

template <typename T> 
class B : public A<T> 
{ 
    public: 
    using A<T>::a; 
    int f(); 
}; 

另外请注意，您在那里打上类声明后失踪分号和行：您可以用A<T>::或用using声明把名字变成电流范围通过this->资格，由前缀它// Error评论。