Sollte ich von einer privaten abgeleiteten Klasse auf seine Basisklasse zoomen?

Question

ich dies aus C++ FAQ

Im Allgemeinen gefunden, Nr

Von einer Memberfunktion oder Freund einer privat abgeleiteten Klasse, die Beziehung zu der Basisklasse ist bekannt, und die Aufwärtskonvertierung von PrivateDer * zu Base * (oder PrivateDer & zu Base &) ist sicher; nein Guss wird benötigt oder empfohlen.

jedoch Benutzer von PrivatelyDer diese unsichere Umwandlung vermeiden sollten, da es auf einer privaten Entscheidung von PrivatelyDer basiert, und wird ohne vorherige Ankündigung geändert werden.

Wie kann man die obigen Wörter verstehen? Ich denke nicht, dass die Erklärung richtig oder genau ist.

Ich habe einen Code wie diese

class A{ 
}; 

class B: private A{ 
}; 

int main(){ 

    B *b = new B(); 
    A *a = new A(); 

    a = b;     //wrong 
    a = (A*)b;   //right 

} 

Answer 1

Aus rein mechanischer Sicht haben Sie Recht: Eine Besetzung in eine private Basisklasse wird funktionieren und Arbeitsergebnisse produzieren.

Der Punkt der FAQ ist, dass es aus Sicht des Designs im Allgemeinen falsch ist. Private Vererbung soll eigentlich privat sein - mit anderen Worten, obwohl es funktionieren mag, sollte man nicht wissen, dass es funktioniert, und irgendwann kann es aufhören zu arbeiten - da es offiziell ein Implementierungsdetail ist, nicht Als Teil der öffentlichen Schnittstelle könnten sie die Klasse ohne Vererbung erneut implementieren. An diesem Punkt würde die Besetzung nicht mehr funktionieren (aber weil du eine Besetzung benutzt hast, warnt der Compiler wahrscheinlich nicht davor, dass du von etwas, das du wahrscheinlich nicht machen solltest, zu etwas übergegangen bin, das unmöglich funktionieren könnte überhaupt).

Edit: Ja, die Besetzung tut unbedingt funktionieren. Gemäß §5.4/7 der Norm:

...die folgende static_cast und reinterpret_cast Operationen (gegebenenfalls durch eine const_cast Operation folgt) können, Notation von expliziten Typ Umwandlung mit Hilfe der Gussdurchgeführt werden selbst wenn die Basisklasse Typ ist nicht zugänglich:

- ein Zeiger auf ein Objekt des abgeleiteten Klassentyps oder eines lvalue des abgeleiteten Klassentyps kann explizit in einen Zeiger oder Verweis auf einen eindeutigen Basisklassen-Typ, , konvertiert werden;

[Hervorhebung hinzugefügt]

Answer 2

Ich denke, dass die Erklärung richtig ist. Es heißt zwar, dass eine Besetzung von B bis A möglich ist, aber nicht getan werden sollte. Der Grund dafür ist, dass die Vererbung private ist und als ein Implementierungsdetail von B betrachtet werden sollte, das die Benutzer der Klasse nie interessieren sollten. Es sind genau die gleichen Regeln wie alles, was mit private markiert ist - es sollte als intern in der Klasse betrachtet werden. Externe Clients sollten sich nur auf die public Funktionen und Attribute verlassen - einschließlich public Vererbung.

Persönlich habe ich nie eine Verwendung für private Vererbung gefunden - ich denke, dass es oft besser ist, Komposition zu verwenden.