Tại sao tôi không thể sử dụng biến của lớp cha là lớp mẫu?

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

tại sao lỗi xảy ra khi tôi không sử dụng this->?

Tôi có thể bỏ qua this-> bằng cách sử dụng một số phương pháp không?

(Tôi cố định một số lỗi)

Answer 1

Có hai giai đoạn trong mẫu instantiation ("Hai giai đoạn Tên Lookup").

Trong giai đoạn đầu tiên, tất cả các tên không phụ thuộc đều được giải quyết (tra cứu). Trong giai đoạn thứ hai, các tên phụ thuộc được giải quyết.

Một tên phụ thuộc là một cái tên mà phụ thuộc vào tham số mẫu ví dụ .:

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

Bây giờ, bạn viết:

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

Đây là chính xác những gì tôi đã mô tả. Theo thuật ngữ không sao, t được tra cứu trong giai đoạn 2, vì this phụ thuộc vào thông số mẫu.

Cụm từ lỗi được tra cứu trong giai đoạn 1, bởi vì không có gì trong tên đó phụ thuộc vào thông số mẫu. Nhưng trong giai đoạn 1, không thể nhìn thấy a vì trình biên dịch không thể xem xét các mẫu lớp cơ sở trong giai đoạn 1, vì các mẫu có thể chuyên biệt và tại thời điểm khởi tạo, có thể được điều khiển từ mẫu chính, một chuyên ngành khác không có số a, có thể hiển thị.

Ví dụ:

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, tôi đã một lần bằng văn bản this-> is not only a matter of style trong blog của tần số rất thấp của tôi.

Answer 2

B là mẫu và do đó tên của nó không phụ thuộc và do đó phải được tra cứu khi mẫu được xác định, không phải khi mẫu được khởi tạo. Tuy nhiên, tại thời điểm định nghĩa mẫu, các tên phụ thuộc không được biết (có thể có các chuyên ngành của mẫu lớp cơ sở A chưa được nhìn thấy), trình biên dịch không thể giải quyết tên không đủ tiêu chuẩn cho lớp cơ sở. Bạn có thể mang tên vào phạm vi dòng điện qua this-> trình độ chuyên môn, bằng cách đặt trước từ đó A<T>:: hoặc với một tuyên bố using:

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

Cũng lưu ý rằng bạn nơi thiếu dấu chấm phẩy sau khi khai báo lớp và dòng được đánh dấu bằng số // Error nhận xét.