Вопрос на основе обсуждения ответа про sizeof NULL
.
Вот куски стандарта:
An integer constant expression with the value 0, or such an expression cast to type
void *
, is called a null pointer constantNULL which expands to an implementation-defined null pointer constant
Кажется, что не запрещено вместо #define NULL ((void*)0)
сделать просто #define NULL 0
, как это сделано в плюсах. Тогда получается, что sizeof NULL
равен либо sizeof (void*)
, либо sizeof (int)
(в варианте sizeof 0
).
Однако, @Vlad from Moscow утверждает, что NULL в Си обязан быть указателем.
NULL в С определен как указатель.
Ключевое значение в приведенной цитате имеют слова "cast to type void *".
Здесь
или
имеет отношение не к приведению типов, а к виду выражения. И именно таким образом определяется NULL.
Так допустимо ли для Си (без плюсов) иметь?
#define NULL 0
И если допустимо, то почему в компиляторах используется
#ifndef NULL
#ifdef __cplusplus
#define NULL 0
#else
#define NULL ((void *)0)
#endif
#endif
вместо более простого варианта с нулём для обоих языков?
Ведь в си даже перегрузки функций не было, чтобы можно было что-то сломать.
execl
должен завершаться нулевым (константа(!)) указателем (не важно(void *)0
или хоть(float *)0
). Кстати, понимает, даже если unistd.h не включать. Поэтому использовать всюду просто 0 не получится.__nonnull((1, 2))
относятся к первому и второму аргументам списка вызова, а не к последнему (его компайлер называетsentinel
и ругаетсяwarning: missing sentinel in function call [-Wformat=]
). Причем, это где-то прописано дляexecl
(и очевидно, кучи др. функций), потому что, когда я убираю unistd.h и вручную прописываю одинаковые декларации execl и execf, то ругань только на execl(void *)0 != 0
. Думаю легко понять почему.