Verhalten von qualifizierten Namen private Vererbung

Question

Verwendung Wenn Sie das folgende Beispiel in msvc kompilieren, bekomme ich

'Interface' nicht zugänglich, weil 'Base' Nutzungen 'privat' zu vererben 'Interface'

in der Zeile markiert mit Error. Wenn der Aufruf an foo mit einem Typenalias des gleichen Typen qualifiziert wird, funktioniert es. Ich habe mit msvc und ideone getestet.

Warum sind die beiden Anrufe nicht gleich?

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

Injected-Klasse-Namen.

Der Name Interface in den Gültigkeitsbereich der Klasse injiziert Interface, als ob es ein öffentliches Mitglied ist, und wiederum durch Base<Interface> (als privates Mitglied, da Sie private Vererbung verwenden) geerbt.

Wenn Sie Base<Interface>::foo() in Derived, Lookup unqualifizierten Namen für Interface schreiben schaut zuerst auf Derived und seine Basisklasse, findet Interface in der Basisklasse, und dann die Kontrolle Kicks zugreifen, da dieser Name ist private.

Die einfachste Lösung ist nur Base::foo() zu schreiben, oder auch nur foo(), wenn es nicht virtuell ist und Sie planen keine foo() in Derived zu schreiben.

Wenn Sie aus irgendeinem Grund das Template-Argument angeben müssen, schreiben Sie Base<::Interface>.