템플릿 클래스 인 상위 클래스의 변수를 사용할 수없는 이유는 무엇입니까?

Question

내가 this->를 사용하지 않는 경우

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; 
} 

왜 오류가 발생합니까 b.h

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

a.h?

어떤 방법으로 this->을 생략해도됩니까?

은 템플릿 인스턴스화 ("2 단계 이름 조회")의 두 단계가 있습니다

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 

이 내가 설명 정확히 것입니다. 괜찮은 용어 인 경우 t은 2 단계에서 으로 조회됩니다. this은 템플릿 매개 변수에 따라 달라지기 때문입니다.

해당 이름의 아무 것도 템플릿 매개 변수에 의존하지 않으므로 잘못된 용어는 1 단계에서 조회됩니다. 템플릿을 특수화 할 수 있고 기본 템플릿 선언에서 원격 일 수있는 , 다른 전문화 인 은 템플릿이 특수화 될 수 있기 때문에 컴파일러에서 기본 클래스 템플릿 을 인트로 스콥 할 수 없으므로 1 단계에서 컴파일러가 a을 볼 수 없습니다. 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 
    } 

, BTW 내가 한 번 내 매우 낮은 주파수 블로그에 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 댓글