Hành vi của tên đủ điều kiện sử dụng thừa kế riêng

Question

Khi biên dịch ví dụ sau đây trong MSVC, tôi nhận được

'Giao diện' không thể truy cập bởi vì sử dụng 'cơ sở' 'tư nhân' để kế thừa từ 'Giao diện'

trong dòng được đánh dấu bằng Error. Khi cuộc gọi đến foo đủ điều kiện với bí danh loại cùng loại, nó hoạt động. Tôi đã thử nghiệm với msvc và ideone.

Tại sao hai cuộc gọi không bằng nhau?

struct Interface {}; 

template<class T> 
struct Base : private T 
{ 
    void foo() {} 
}; 

using BaseX = Base<Interface>; 

class Derived : Base<Interface> 
{ 
    Derived() { 
     Base<Interface>::foo(); // Error 
     BaseX::foo();    // Works 
    } 
}; 

Ideone

Answer 1

Tiêm-đẳng cấp tên.

Tên Interface được tiêm vào phạm vi của lớp Interface như thể đó là thành viên công khai và được kế thừa bởi Base<Interface> (với tư cách thành viên riêng vì bạn đang sử dụng kế thừa riêng).

Khi bạn viết Base<Interface>::foo() trong Derived, tra cứu tên không đủ tiêu chuẩn cho Interface trông đầu tiên tại Derived và lớp cơ sở của nó, thấy Interface trong lớp cơ sở, và sau đó truy cập vào đá kiểm soát trong vì tên đó là private.

Sửa chữa đơn giản nhất là chỉ viết Base::foo() hoặc thậm chí chỉ foo() nếu không phải là ảo và bạn không định viết foo() trong Derived.

Nếu bạn phải bao gồm đối số mẫu vì lý do nào đó, hãy viết Base<::Interface>.