Casting dynamique et statique en C
Les concepts de Dynamic_cast et static_cast en C peuvent prêter à confusion, surtout lorsqu'il s'agit de classes polymorphes. Pour mieux comprendre ces concepts, considérons leurs équivalents C dans une perspective de haut niveau.
static_cast<>
Le static_cast<> l’opération en C est une distribution sûre au moment de la compilation. Il garantit que les types de destination et de source sont liés, empêchant ainsi la corruption des données. Si les types ne sont pas liés, une erreur de compilation se produira.
Dans l'exemple ci-dessous, le static_cast<> L'opération convertit en toute sécurité un pointeur vers une classe de base en un pointeur vers une classe dérivée :
class B {}; class D : public B {}; D* d = new D; B* b = static_cast<B*>(d); // Safe compile-time cast
dynamic_cast<>
Contrairement à static_cast<>, Dynamic_cast< > est un casting d'exécution. Il vérifie au moment de l'exécution si le type réel du pointeur correspond au type cible. Il peut gérer la conversion des classes de base vers les classes dérivées (B2D) et dérivées vers la base (D2B).
Pour les conversions D2B, Dynamic_cast<> renvoie simplement un pointeur NULL si la conversion n'est pas valide. Cependant, pour les conversions B2D, la hiérarchie des classes doit prendre en charge le polymorphisme, ce qui signifie qu'au moins une fonction virtuelle doit être définie dans la classe de base.
Dans l'exemple suivant, Dynamic_cast<> est utilisé pour convertir en toute sécurité un pointeur vers une classe de base en un pointeur vers une classe dérivée :
class Base { virtual void DoIt() = 0; }; class Foo : public Base {}; class Bar : public Base {}; Base* base = new Foo; Foo* foo = dynamic_cast<Foo*>(base); // Safe run-time cast
Si la base pointait réellement vers un objet Bar, le Dynamic_cast<> l’opération renverrait NULL. Cela garantit la sécurité du type et empêche un comportement indéfini.
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!