Darf in C++ in eine abgeleitete Klasse umgewandelt werden, die nur nicht-virtuelle Methoden hinzufügt?

Question

Ich möchte nicht vorhandene virtuelle Methoden zu einer vorhandenen Klasse A hinzufügen, die ich nicht ändern kann. Deshalb erstelle ich eine Klasse B geerbt von A und füge die Methoden hinzu, die ich will. Wenn ich nun ein Objekt vom Typ A habe, kann ich es einfach als Objekt vom Typ B betrachten? Sprich, ist der folgende Code Recht ?:

class A { <...> }; 

class B: public A { 
    void f(); 
    }; 

A a(); 
void g(const B&); 
void h() { g(static_cast<B&&>(a())); } 

Es ist zu kompilieren und zu arbeiten, aber ich frage mich, ob es durch den Standard garantiert wird wie erwartet zu funktionieren. Ich sehe nicht, warum nicht, aber es fühlt sich nicht sehr sauber an.

Answer 1

Das ist undefiniertes Verhalten. Von [expr.static.cast]:

einen L-Wert vom Typ „CV1 B“, wobei B ein Klasse-Typ ist, kann gegossen werden „Bezugnahme auf CV2 D“ eintippen, wobei D eine Klasse ist abgeleitet (Ziffer 10) von B , wenn eine gültige Standardkonvertierung von "Zeiger auf D" zu "Zeiger auf B" existiert (4.10), cv2 ist die gleiche cv-Qualifikation wie oder höher cv-qualification als cv1, und B ist weder eine virtuelle Basisklasse von D noch eine Basisklasse einer virtuellen Basisklasse von D. Das Ergebnis hat den Typ "cv2 D". Ein xvalue vom Typ "cv1 B" kann umgewandelt werden, um "rvalue reference to cv2 D" mit denselben Einschränkungen wie für einen lvalue des Typs "cv1 B" zu schreiben. Wenn das Objekt vom Typ "cv1 B" eigentlich ein Unterobjekt eines Objekts vom Typ D ist, bezieht sich das Ergebnis auf das umschließende Objekt vom Typ D. Ansonsten ist das Verhalten undefiniert.

a ist nicht wirklich ein suboject eines Objekts vom Typ B - es ist wirklich nur vom Typ A, so ist das Verhalten undefiniert.

Was ist Ihnen zu stoppen einfach ein Nicht-Mitglied-Funktion hinzugefügt:

void f(A&); 

Wenn die Antwort ist, dass Sie private oder protected Mitglieder A zugreifen müssen, dann war es Absicht, diese Mitglieder unaccessible zu machen Sie!