L'appel d'une méthode via un pointeur nul dans un comportement défini en C ?

L'appel d'une méthode via un pointeur nul fonctionne-t-il en C ?

Semblable à la question en double, examinons ce programme C :

<code class="cpp">#include <iostream>
using namespace std;

class test {
    int i;
public:
    test(): i(0) { cout << "ctor called" << endl; }
    void show() {
        cout << "show fun called" << endl;
    }
};

int main(int argc, char *argv[]) {
    test *ptr = NULL;
    ptr->show();
    return 0;
}</code>

Ici, nous appelons la méthode show() sur un pointeur nul (ptr), ce qui soulève la question : Est-ce une opération valide ?

La réponse

Appeler une méthode via un pointeur nul n'est pas le standard C et est considéré comme un comportement non défini. Cependant, certains compilateurs peuvent optimiser ce code pour qu'il s'exécute efficacement en ignorant la vérification du pointeur nul.

La raison en est que la méthode n'a pas réellement besoin du pointeur this pour exécuter son code. Le compilateur connaît le type du pointeur, il peut donc trouver la méthode et exécuter son code sans vérifier la valeur du pointeur.

Bien que ce comportement puisse être pratique pour des raisons de performances, il est essentiel de reconnaître qu'il ne s'agit pas d'une garantie. comportement et varie selon les différents compilateurs et systèmes. S'appuyer sur cette optimisation peut entraîner un comportement inattendu et erroné dans le code de production.

Par conséquent, il est toujours recommandé de vérifier les pointeurs nuls avant de les utiliser, garantissant ainsi l'intégrité et la prévisibilité de votre code.

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!