Discussion :

[Patriarch24]

Bonjour à tous

Voilà le code posant un problème :

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
 
class A {
public:
   ~A() {cout << "destroy" << endl;}
   void print() {cout << "print" << endl;}
};
 
int main (int argc, char** argv) {
 
   A* a = new A;
   a->print();
   delete a;
   a = 0;
   a->print(); // crash ? nenni ! affiche bel et bien "print"
                  // avec : a = 0x00000000 !!!
 
   return 0;
}

Configuration :
* jeu de caractères MBCS
* pas d'optimisations

Et oui, c'est incroyable, mais j'arrive à déréférencer un pointeur nul !!! Du moins, j'y arrive parfaitement sur trois machines différentes (XP). Quelqu'un peut-il m'expliquer ce qu'il se passe ? Comment y remédier (hormis en changeant de compilateur ) ?

Merci à tous !

[nico-pyright(c)]

et bien c'est simplement parce que déréférencer un pointeur null a un comportement indéfini.

Ici l'explication est que vu que la fonction print n'utilise pas this, le paramètre implicite n'est pas passé, donc l'appel de la fonction peut très bien se passer de this, d'où il n'est pas passé, d'où le fait qu'il vaille null importe peu.

change ta classe A par

Code :

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

1
2
3
4
5
6
7
 
class A {
public:
   int b;
   ~A() {cout << "destroy" << endl;}
   void print() {b=0;cout << "print" << endl;}
};

Cette fois-ci ca plante. La fonction utilise l'objet this en mettant à jour la variable b, donc il est utilisé, donc le fait qu'il vaille null cette fois-ci importe.

je sais pas si j'ai été clair

[nico-pyright(c)]

je me suis permis de rentrer un peu plus dans les détails ici :

http://blog.developpez.com/index.php...&pb=1#more3643

[Médinoc]

En fait, contrairement à java ou à une fonction virtuelle, this n'est pas déréférencé dans la fonction print().
Donc, le pointeur nul n'est pas déréférencé.

D'ailleurs, il arrive de voir ceci dans les sources de MFC:

Code :

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

1
2
3
4
5
6
7
HWND CWnd::GetSafeHwnd()
{
   if(this==NULL)
      return NULL;
   else
      return this->m_hWnd;
}

Mais je considère cette fonction plus dangereuse que print(), car elle PEUT déréférencer this, contrairement à print() qui ne le fait jamais (print() pourrait être une fonction static, contrairement à GetSafeHwnd()). D'où, éventuels problèmes liés à l'optimisation dans le cas de GetSafeHwnd().