Comment « static_cast » peut-il apparemment autoriser l'accès aux membres d'une classe dérivée lors du downcasting d'un pointeur de base vers un objet de base distinct ?

Downcasting à l'aide de l'opérateur static_cast : démystifier un comportement non défini

Considérez la préoccupation suivante :

class base {
    base();
    virtual void func();
};

class derived : public base {
    derived();
    void func();
    void func_d();
    int a;
};

int main() {
    base *b = new base();
    sizeof(*b); // Gives 4.
    derived *d = static_cast<derived*>(b);
    sizeof(*d); // Gives 8 - means whole derived obj size...why?
    d->func_d();
}

Dans ce scénario , la conversion du pointeur de base en un pointeur dérivé à l'aide de static_cast a apparemment permis d'accéder à la taille complète de l'objet dérivé et fonction. Cependant, cela soulève la question : comment est-ce possible si le pointeur de base pointait à l'origine vers un objet de base distinct ?

Comprendre le comportement non défini

La réponse réside dans le nature de static_cast et son impact sur les objets dynamiques. Le downcasting à l'aide de static_cast vers un type que l'objet n'a pas réellement est classé comme comportement non défini. Les conséquences d'un comportement non défini peuvent varier considérablement, y compris autoriser un accès inattendu à la fonction membre de la classe dérivée func_d() dans ce cas.

La règle du downcasting

Selon Selon la norme C (section 5.2.9), le downcasting à l'aide de static_cast suit une règle spécifique :

• Si le pointeur de base pointe vers un objet de base qui est un sous-objet d'un objet dérivé, le pointeur dérivé résultant pointera vers l'objet dérivé englobant.
• Sinon, le résultat de la conversion n'est pas défini.

Dans notre exemple :

• Le pointeur de base pointe vers un objet de base distinct de tout objet dérivé objet.
• Par conséquent, le downcast en dérivé* entraîne un comportement indéfini.

Le succès inattendu de l'appel de d->func_d() est une conséquence de ce comportement indéfini. Ne comptez pas sur la possibilité d'accéder aux membres de la classe dérivée après un downcast dangereux.

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!