Kann man von A * nach B * über dynamic_cast umwandeln, wenn A und B keinen gemeinsamen Vorfahren haben?

Question

Sowohl Klirren 3.5.0 und g ++ 4.9.0compile the following code fine (mit -std=c++11 -Wall -Wextra -pedantic-errors) und das Programm Ausgänge true:

#include <iostream> 

struct A 
{ 
    virtual ~A() = default; 
}; 

struct B 
{ 
    virtual ~B() = default; 
}; 

struct C : A, B 
{ 
    virtual ~C() = default; 
}; 

int main() 
{ 
    C c; 
    A* ap = &c; 
    B* bp = dynamic_cast<B*>(ap); 

    std::cout << std::boolalpha << (bp != nullptr) << std::endl; 
} 

Answer 1

, gemäß §5.2.7 [expr.dynamic.cast], für dynamic_cast<T>(v) (Hervorhebung von mir):

Wenn C der Klassentyp, auf die T Punkte oder bezieht, ist die Laufzeit check logisch wie folgt ausgeführt:

- Wenn in dem abgeleiteten Objekt, auf das von v verwiesen wird, verweist V auf eine öffentliche Basisklasse Unterobjekt eines C-Objekts, und wenn nur ein Objekt vom Typ C wird aus dem Unterobjekt abgeleitet, auf das die Ergebnispunkte (referenziert) auf dieses C-Objekt zeigen.

- Andernfalls, wenn v Punkte (bezieht) auf eine öffentliche Basisklasse Subobjekt des meisten abgeleitetes Objekt und dem Typ des meisten abgeleitetes Objekt eine Basisklasse hat, vom Typ C, das eindeutig und öffentlich ist, Das Ergebnis verweist auf das Unterobjekt C des am weitesten abgeleiteten Objekts.

- Andernfalls schlägt die Laufzeitprüfung fehl.

In Ihrem Fall bezieht sich auf ein v meist abgeleitete Objekt, das eine Instanz der C ist, aber die statische Art der v ist ein Zeiger auf die öffentliche Basisklasse A. Die im Angebot genannte C Basisklasse ist Ihre B.

Answer 2

Ja. Das wird manchmal als Crosscasting bezeichnet und wird erfolgreich sein, wenn sie beide Basisunterobjekte desselben abgeleiteten Objekts sind, wie sie hier sind.

dynamic_cast ist erforderlich, da die Konvertierung die Laufzeitinformationen benötigt, die beide Teil eines C Objekts sind. Um statisch zu wirken, müssten Sie zuerst explizit zu C* konvertieren. Ja