Discussion :

[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
Voici mon code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Fct Derived

[Bousk]

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.

[nirvo_ca]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

Fct Derived

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

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

Merci

[Iradrille]

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

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

Je suis sur que

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
int main () {
    Base* pd = new Base;
    cout << "Fct Derived" << endl;
 
    return 0; 
}

[ac_wingless]

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 ).
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).