Est-ce que NULL est toujours faux ?

Question

Est-il sûr de supposer que NULL se traduit toujours par faux en C?

void *somePtr = NULL;

if (!somePtr) {
  /* Cela sera-t-il toujours exécuté? */
}

Ou devrait-on faire une vérification explicite de la valeur de NULL?

Answer 1

Oui. NULL évalue à faux, car en C, toute valeur non nulle est considérée comme vraie et toute valeur nulle est considérée comme fausse. NULL est essentiellement l'adresse de zéro et est traitée comme telle dans les comparaisons, et je crois qu'elle serait convertie en un entier pour la vérification booléenne. Je m'attends à ce que votre code soit lisible par toute personne familière avec le langage C, bien que je ferais probablement la vérification de manière explicite.

En programmation C et C++, deux pointeurs nuls sont garantis de comparer égaux ; ANSI C garantit que tout pointeur nul sera égal à 0 dans une comparaison avec un type entier ; en outre, la macro NULL est définie comme une constante de pointeur nul, c'est-à-dire la valeur 0 (soit en tant que type entier, soit convertie en un pointeur vers void), donc un pointeur nul sera égal à NULL.

Réf : http://en.wikipedia.org/wiki/Null_pointer#Null_pointer

Answer 2

Le langage 'C' date d'une époque où (void*)0 pouvait réellement être un pointeur valide. Ce n'est pas si loin, les microprocesseurs 8080 et Z80 avaient un vecteur d'interruption à l'adresse 0. Face à de telles choix d'architecture, il ne pouvait rien faire d'autre que de laisser un fichier d'en-tête déclarer la valeur de NULL. Il y avait des compilateurs, aujourd'hui oubliés, où NULL n'était pas égal à (void*)0 (0xffff était la prochaine alternative), ce qui donnait à votre instruction if() un comportement indéfini.

Heureusement, C++ a mis fin à cela, un pointeur nul est affectable à 0 et testable contre 0.

Answer 3

Il n'est jamais sûr de supposer quoi que ce soit.

Une vérification explicite est également plus claire sur ce que vous testez.

Answer 4

Oui (du moins pour tout compilateur C conforme aux normes!)

De la FAQ comp.lang.c:

Q: Est-il valide d'utiliser la comparaison abrégée des pointeurs ``if(p)'' pour tester les pointeurs non nuls? Et si la représentation interne des pointeurs nuls est non nulle?

R: C'est toujours valide.

Answer 5

NULL n'est qu'une définition de préprocesseur. Il se trouve dans stdio.h. En général, seule une personne folle le redéfinirait, mais c'est possible. Un exemple :

#include 
#ifdef NULL
#undef NULL
#endif
#define NULL 1

void main()
{

        if (NULL)
                printf("NULL is true\n");
        else
                printf("NULL is false\n");
}

Ce code affichera "NULL est vrai". Essayez-le si vous ne me croyez pas. Votre compilateur pourrait même ne pas vous avertir que vous faites quelque chose d'étrange.