Pourquoi les appels de méthodes non virtuelles sur les pointeurs NULL réussissent-ils alors que les appels de méthodes virtuelles échouent en C ?

Accès aux membres de la classe sur un pointeur NULL : exploration du comportement des méthodes non virtuelles

Question :

Pourquoi un appel de méthode non virtuelle réussit-il sur un pointeur NULL en C, alors qu'un appel de méthode virtuelle fait planter le programme ?

Réponse :

Comportement de la méthode non virtuelle :

Lorsqu'une méthode non virtuelle est appelée sur un pointeur NULL, le compilateur génère du code qui invoque directement l'implémentation de la méthode. Ceci est réalisé en passant un paramètre caché "this" à la fonction, qui dans le cas d'un pointeur NULL ne pointe nulle part. Cependant, la méthode elle-même ne tente d'accéder à aucun membre de l'objet, le code évite donc de déréférencer le pointeur NULL et fonctionne comme prévu.

Définition formelle :

Cependant, il est important de noter que l’invocation d’une méthode sur un pointeur NULL est formellement considérée comme un comportement non défini en C . Cela signifie que le compilateur peut faire des choix arbitraires sur ce qui se passe, notamment en permettant au programme de s'exécuter apparemment correctement.

Comportement de la méthode virtuelle :

Les appels de méthode virtuelle nécessitent une table virtuelle recherche pour déterminer quelle implémentation invoquer. La table virtuelle est associée à l'objet réel, donc appeler une méthode virtuelle sur un pointeur NULL, qui n'a pas de table virtuelle associée, entraîne un crash.

Allocation d'objet :

La variable "foo" dans le code fourni est une variable locale allouée sur la pile de la fonction principale. Cependant, il est initialisé avec un pointeur NULL, indiquant qu'il ne pointe vers aucun objet valide de type Foo.

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!