down cast avec static_cast

Bonjour,
Pourriez-vous m’expliquer pourquoi j'ai accès à la fonction fct() depuis pd ?
J'ai pensé avoir une erreur à la compilation mais ce n'est pas le cas
Voici mon code :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

class Base {}; class Derived: public Base { int a; public : void fct() { cout << "Fct Derived" << endl; } };   int main () { Base * pb = new Base; Derived * pd;   pd = static_cast<Derived*>(pb); //pd cast Base en Derived pd->fct();   return 0;   }

---

Réponse :

Citation:

---

Fct Derived

---

Bonjour,

parce que vue la trivialité du code, le compilateur a très certainement pris des largesses.
Un tel code devrait crasher à l'exécution.

Eben non, il ne plante pas à l’exécution.
Résultat :

Code:

---

Fct Derived

---

Peut être parce que je ne manipule rien dans fct !

Que veux-tu dire avec "trivialité du code" ?

Merci

Citation:

---

Envoyé par nirvo_ca

Que veux-tu dire avec "trivialité du code" ?

---

Tout simplement parce que "this" n'est pas utile dans fct, fct ressemble à

Code:

---

1 2 3

void fct(Derived* _this) { cout << "Fct Derived" << endl; }

---

Je suis sur que

Code:

---

1 2 3 4 5 6

int main () { Derived* pd = reinterpret_cast<Derived*>(nullptr); pd->fct();   return 0; }

---

S'exécute sans erreur.

edit : cas un peu particulier de l'héritage : pas de fonction virtuelle, donc pas de vtable -> nullptr pourra être un pointeur sur "Derived" "valide" pour cette fonction.

re-edit : l'appel de fonction à très certainement aussi été inliné, pour au final te retrouver avec

Code:

---

1 2 3 4 5 6

int main () { Base* pd = new Base; cout << "Fct Derived" << endl;   return 0; }

---

Citation:

---

Envoyé par nirvo_ca

Bonjour,
Pourriez-vous m’expliquer pourquoi j'ai accès à la fonction fct() depuis pd ?
J'ai pensé avoir une erreur à la compilation mais ce n'est pas le cas

---

Il n'y a pas de raison qu'il y ait une erreur à la compilation. Vous dites au compilateur qu'il est légal d'appeler fct à partir d'un objet Derived, puis vous appelez fct à partir d'un objet Derived. En l'occurrence, l'objet Derived est construit illégalement à partir d'un objet Base, ce que l'ordinateur aurait indiqué comme une erreur si vous ne lui aviez pas fermé son clapet par un static_cast aussi autoritaire que faux. Il ne peut que s'incliner (en maugréant probablement :lol:).
Quant au fait que cela s'exécute comme s'il n'y avait pas d'erreur, c'est comme le code de la route: ce n'est pas parce que vous roulez à 170 sur l'autoroute que votre disque dur s'efface obligatoirement. Attention, annuler l'alarme sonore de votre GPS par un static_cast n'assure cependant pas que vous n'aurez pas d'accident grave la prochaine fois (par exemple en cas de traffic dense ou de données membres dans la classe dérivée).