Discussion :

[Médinoc]

J'ai peut-être mal compris, mais je pense que NULL ne peut pas être une trap value de toute façon: Si c'était le cas, on ne pourrait pas lire un pointeur pour le comparer à NULL...

[nicroman]

Pour le reste, le compilateur ne peut pas te mettre un énorme avertissement car « A * a = NULL; » est séparé de « a->g(); ».

Tu serais surpris de ce dont est capable un compilateur

En attendant (et heureusement) les deux IDEs que j'utilisent m'avertissent tous sur le code:

Code :

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

1
2
3
4
5
6
7
8
 
A* a = null;
....
if (xxxx)  {
   a = ....
}
...
a->dosomething(); // <= "warning 'a' may be null"

[Obsidian]

Tu serais surpris de ce dont est capable un compilateur

Oui, je sais ! :-) Et dans ce cas précis, il en serait effectivement tout-à-fait capable, mais chaque chose en son temps ...