Statisches Casting auf falschen Typ

Question

Ich erkannte, dass diese Methode besonders nützlich ist, wenn Code debuggt, wenn ich eine externe Bibliothek nicht ändern/erstellen möchte.

Bin noch meine Hände damit zu verbrennen oder ist das zumindest für das Debuggen sicher?

http://ideone.com/i9jBN8

#include <iostream> 
using namespace std; 

class A 
{ 
public: 
    A(int lx):x(lx){}; 
protected: 
    int x; 
}; 

class B : public A 
{ 
public: 

    void print(){std::cout << x << endl;} 
}; 

int main() { 
    A *a = new A(22); 
    B *b = static_cast<B*>(a); 
    b->print(); 
} 

Edit: was ist, wenn die Verwendung Ich verwende reinterpret_cast statt static_cast und stellen Sie sicher, dass B keine virtuellen Methoden hat, würde nicht die Erinnerung an A und B Spiel und es wird nicht sein ein UB richtig?

Answer 1

Ihr Code hat ein undefiniertes Verhalten, aber da es ziemlich einfach ist, können Sie sich wahrscheinlich überzeugen, ob es an Ihrer Implementierung funktioniert, indem Sie den Code der Zwischenversion oder die disassemblierte Binärdatei untersuchen.

Die Chancen stehen gut, dass es in der Praxis funktioniert, besonders für einfache Klassen. Die Hauptangst mit solchen "Es sieht so aus, als ob es funktionieren sollte, auch wenn es UB ist" -Situationen ist, dass der Optimierer einige sehr schlaue Schlussfolgerungen basierend auf einer Annahme machen wird, die er zu machen berechtigt ist, was aber nicht wahr ist UB-Code. Wenn Sie also alle Optimierungen ausschalten, erhalten Sie eine bessere Chance, (Des-) Assemblierung zu sehen, wenn (a) Ihr Ziel erreicht und (b) Sie einen Sinn ergeben.

Für dieses Beispiel zumindest, können Sie den Wert von x für Debugging-Zwecke zugreifen, ohne undefiniertes Verhalten und ohne die Klasse zu modifizieren A, indem Sie eine Kopie unter:

class B : public A 
{ 
public: 
    B(const A&a) : A(a) {} 

    void print(){std::cout << x << endl;} 
}; 

int main() { 
    A *a = new A(22); 
    static_cast<B>(*a).print(); 
} 

Answer 2

Nein, das ist nicht sicher, in der Tat ist es undefined behavior. Wenn Sie einen Basiszeiger auf einen abgeleiteten Zeiger umwandeln möchten, sollten Sie dynamic_cast als nullptr verwenden, wenn die Konvertierung ungültig ist.