Ist NULL in C erforderlich/definiert als Null?

NULL scheint in meinen GCC-Testprogrammen Null zu sein, aber Wikipedia sagt das NULL muss nur auf einen nicht adressierbaren Speicher zeigen.

Machen irgendwelche Compiler NULL nicht null? Bin gespannt ob if (ptr == NULL) ist eine bessere Praxis als if (!ptr).

NULL ist garantiert null, vielleicht gecastet (void *)¹.

C99, §6.3.2.3, ¶3

Ein ganzzahliger konstanter Ausdruck mit dem Wert 0oder ein solcher Ausdruck, der in einen Typ umgewandelt wird
void *wird als Nullzeigerkonstante bezeichnet. (55) Wenn eine Nullzeigerkonstante in einen Zeigertyp konvertiert wird, ist der resultierende Zeiger, der als Nullzeiger bezeichnet wird, garantiert ungleich mit einem Zeiger auf ein Objekt oder eine Funktion.

Und Note 55 sagt:

55) Das Makro NULL ist definiert in <stddef.h> (und andere Header) als Nullzeigerkonstante.

Beachten Sie, dass der Wert, den Sie zum Zuweisen/Vergleichen von Nullzeigern verwenden, aufgrund der Formulierung der Regeln für Nullzeiger garantiert Null ist, aber das tatsächlich im Zeiger gespeicherte Bitmuster kann alles andere sein (aber AFAIK nur wenige sehr Esoterische Plattformen nutzten diese Tatsache aus, und dies sollte sowieso kein Problem darstellen, da Sie sich mit dem zugrunde liegenden Bitmuster befassen sollten, um es zu “sehen”. UB-Land sowieso).

Was den Standard betrifft, sind die beiden Formen also gleichwertig (!ptr ist äquivalent zu ptr==0 aufgrund §6.5.3.3 Abs. 5, und ptr==0 ist äquivalent zu ptr==NULL); if(!ptr) ist auch ziemlich idiomatisch.

Davon abgesehen schreibe ich normalerweise explizit if(ptr==NULL) Anstatt von if(!ptr) um es besonders deutlich zu machen, dass ich anstelle eines booleschen Werts einen Zeiger auf Nichtigkeit überprüfe.

1. Beachten Sie, dass in C++ die void * Cast kann aufgrund der strengeren impliziten Casting-Regeln, die die Verwendung solcher machen würden, nicht vorhanden sein NULL umständlich (Sie müssten es jedes Mal explizit in den Typ des verglichenen Zeigers konvertieren).

Aus dem Sprachstandard:

6.3.2.3 Zeiger

…
3 Ein ganzzahliger konstanter Ausdruck mit dem Wert 0 oder ein solcher Ausdruck, der in einen Typ umgewandelt wird
void *heißt a Nullzeiger konstant.⁵⁵⁾ Wenn eine Nullzeigerkonstante in einen Zeigertyp konvertiert wird, wird der resultierende Zeiger, genannt a Null Zeigerwird garantiert ungleich mit einem Zeiger auf ein Objekt oder eine Funktion verglichen.
…
55) Das Makro NULL ist darin definiert <stddef.h> (und andere Header) als Nullzeigerkonstante; siehe 7.17.

Angesichts dieser Sprache ist das Makro NULL sollte zu einem nullwertigen Ausdruck auswerten (entweder ein nicht ergänztes Literal 0ein Ausdruck wie (void *) 0, oder ein anderes Makro oder Ausdruck, der letztendlich 0 ergibt). Die Ausdrücke ptr == NULL und !ptr sollte gleichwertig sein. Die zweite Form ist eher idiomatischer C-Code.

Beachten Sie, dass der Nullzeiger Wert muss nicht 0 sein. Die zugrunde liegende Implementierung kann jeden beliebigen Wert verwenden, um einen Nullzeiger darzustellen. Was Ihren Quellcode betrifft, stellt ein nullwertiger Zeigerausdruck jedoch einen Nullzeiger dar.

In der Praxis ist es dasselbe, aber NULL ist anders als Null. Da Null bedeutet, dass es einen Wert gibt, und NULL bedeutet, dass es keinen gibt. Theoretisch sind sie also unterschiedlich, NULL hat eine andere Bedeutung und in einigen Fällen sollte dieser Unterschied von Nutzen sein.

in der Praxis nein, !ptr ist richtig