Quy tắc cho phép `this->` truy cập vào các thành viên của các lớp cơ sở phụ thuộc là gì?

Question

Như chúng ta đã biết, mã bên dưới không đúng định dạng vì thành viên x thuộc lớp cơ sở phụ thuộc. Tuy nhiên, việc thay đổi x thành this->x trên dòng được chỉ định sẽ khắc phục lỗi.

template <typename T> 
struct B { 
    int x; 
}; 
template <typename T> 
struct C : B<T> { 
    void f() { 
     int y = x; // Error! 
    } 
}; 
int main() { 
    C<int> c; 
    c.f(); 
} 

Tôi muốn giải thích về cách hành vi này được chỉ định trong tiêu chuẩn. Theo [temp.dep]/3:

Trong định nghĩa của một lớp hoặc lớp mẫu, nếu một lớp cơ sở phụ thuộc vào một mẫu tham số , phạm vi lớp cơ sở không kiểm tra trong tên không đủ tiêu chuẩn tra cứu hoặc tại điểm định nghĩa của mẫu lớp hoặc thành viên hoặc trong quá trình diễn giải mẫu lớp hoặc thành viên.

Điều này dường như giải thích tại sao chỉ sử dụng x không thành công. Tên x được tra cứu tại điểm định nghĩa và phạm vi lớp cơ sở không được kiểm tra. Tuy nhiên, nếu chúng ta sử dụng this->x thì sao? Bây giờ tên x là phụ thuộc và tra cứu của nó được hoãn cho đến khi instantiation. Nhưng đoạn trích dẫn dường như ngụ ý rằng x không nên được tìm thấy thậm chí lúc instantiation, kể từ khi tra cứu của x trong this->x là vẫnkhông đủ tiêu chuẩn tra cứu.

Rõ ràng việc triển khai không hoạt động theo cách này và được hiểu rộng rãi rằng phạm vi lớp cơ sở là được tìm kiếm khi mẫu được khởi tạo.

1. Tôi đã giải thích sai đoạn trích dẫn?
2. Có đoạn nào chỉ định hành vi "đúng" không?

Answer 1

Biểu thức truy cập thành viên lớp học (5.2.5. [Expr.ref]) không sử dụng quy tắc tra cứu không đủ tiêu chuẩn, họ sử dụng quy tắc tra cứu truy cập thành viên lớp học (3.4.5 [basic.lookup.classref]).

(2) Nếu id-biểu trong một truy cập thành viên lớp (5.2.5) là một không đủ tiêu chuẩn-id, và các loại hình biểu tượng là của một loại lớp C, các unqualified- id được tra cứu trong phạm vi lớp C.