NULL против нуля в C

Из этой NULL ссылки на указатель:

Чтобы инициализировать указатель нулевым значением или присвоить нулевое значение существующему указателю, может использоваться константа нулевого указателя (NULL или любая другая целочисленная константа с нулевым значением).

_{[выделено мной]}

Таким образом, целочисленная константа 0 является допустимой константой нулевого указателя.

Но обратите внимание, что это не означает, что фактическое значение null на используемой аппаратной платформе равно 0, это означает только то, что компилятор принимает 0 как псевдоним для системно-зависимой константы нулевого указателя.

Кроме того, нулевой указатель всегда является «ложным», а ненулевой указатель всегда «истинным», поэтому такие условия, как if (ptr) или if (!ptr), работают хорошо.

Я знаю, что содержание вопросов отличается, но как это можно объяснить, что использование NULL в качестве замены 0 неверно, а if(!ptr) верно? Потому что if(!ptr) эквивалентно if(ptr==0) (я полагаю, это правильно, не уверен).

if(!ptr) эквивалентен if (!ptr != 0) по семантике операторов if, что эквивалентно if (ptr == 0) по семантике операторов !, != и == с операндами-указателями. Это хорошо согласованно, но не следует из того, что вы знаете об операциях с целыми числами. Операции с указателями имеют свой собственный набор правил.

И это как раз то, что нужно домой. Поскольку целочисленная константа со значением ноль - которая является конструкцией исходного кода - является, помимо прочего, константой нулевого указателя, она по определению сравнивается со всеми нулевыми значения указателя. Это вообще ничего не говорит о представлении значений нулевого указателя любого типа, о типе выражения, до которого раскрывается макрос NULL, или о значении, полученном преобразованием в целое число любого конкретного значения нулевого указателя, которое не представлено в исходном коде. как целочисленная константа со значением ноль.

NULL - это макрос. Это «константа нулевого указателя, определяемая реализацией»; C17dr § 7.19 3.

Целочисленное постоянное выражение со значением 0 или такое выражение, приведенное к типу void *, называется константой нулевого указателя. C17dr § 6.3.2.3 3

Таким образом, NULL может иметь тип void *, int, long, unsigned, long long и т. Д.

0 - это int константа.

Когда все в порядке.

Назначение. Оба нижеприведенных элемента присваивают p,q некоторому нулевому указателю.

void *p = 0;
void *q = NULL; 

Сравнение кода: p==q верно, поскольку все нулевые указатели приравниваются. Все нулевые указатели не соответствуют адресу какого-либо объекта. !p и !q равны 1.

Когда это не нормально.

Аргумент функции

Тип и размер NULL определяется реализацией.

printf("%d\n", 0);            // OK - %d expects an int
printf("%d\n", NULL);         // Not OK, NULL could be long, void *, etc.
printf("%p\n", NULL);         // Not OK, NULL could be int, long, long long
printf("%p\n", (void*) NULL); // OK - %p expects a void*

_Generic()

Результат ниже определяется реализацией.

_Generic((NULL), \
  void *: "void *", \
  int: "int", \
  long: "long", \
  default: "TBD")

Сравнение макросов

Ниже приведено сообщение «ошибка: оператор '*' не имеет правильного операнда». #if !0 был в порядке.

#if !NULL
#error foo
#endif