Comportement inattendu des méthodes d'appel via des pointeurs nuls en C

Dans l'extrait de code fourni, une méthode est invoquée via un pointeur nul, mais étonnamment, l'appel de méthode semble s'exécuter sans planter. Ce comportement inhabituel soulève la question : est-ce autorisé dans le standard C ou simplement une optimisation de l'implémentation ?

L'explication réside dans la nature des appels de méthode en C . Lorsqu'une méthode d'objet est invoquée, le compilateur connaît le type de l'objet, et donc l'adresse de la méthode à exécuter. Dans ce cas, le type du pointeur est connu (même si sa valeur est nulle), le compilateur peut donc toujours déterminer l'adresse de la méthode.

Surtout, la méthode appelée (show) n'accède pas à l'adresse de l'objet. état (représenté par le pointeur this). Par conséquent, l'exécution de la méthode se déroule comme prévu, même si l'objet sur lequel elle opère n'est pas initialisé.

Bien que ce comportement puisse sembler inattendu, il n'est pas conforme aux normes. La norme C indique clairement que l'accès à un membre via un pointeur nul entraîne un comportement indéfini. Cependant, certains compilateurs peuvent optimiser ces appels en ignorant la vérification du pointeur nul et en appelant directement la méthode.

Cette optimisation troque la sécurité contre l'efficacité, car elle permet aux appels de méthode de s'exécuter même lorsqu'ils ne sont pas destinés à le faire. Bien que cela puisse faire gagner du temps lors de l'exécution, cela introduit un risque de bugs subtils et de comportements indéfinis.

Par conséquent, il est recommandé de toujours vérifier les pointeurs nuls avant d'accéder aux membres de l'objet pour garantir un comportement correct et prévisible du programme.