19

Вопрос на основе обсуждения ответа про sizeof NULL.

Вот куски стандарта:

An integer constant expression with the value 0, or such an expression cast to type void *, is called a null pointer constant

NULL 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

вместо более простого варианта с нулём для обоих языков?
Ведь в си даже перегрузки функций не было, чтобы можно было что-то сломать.

20
  • возможно это прояснит stackoverflow.com/questions/502811/sizeof-int-sizeof-void
    – KoVadim
    Commented 10 янв. 2017 в 13:03
  • Может поможет получить ответы. В этом вопросе на SO есть ссылка на ресурс comp.lang.c Frequently Asked Questions и в частности на список null pointer вопросов -> ответ на 5.16. Судя по всему в Си NULL всегда указатель.
    – Alex Krass
    Commented 10 янв. 2017 в 13:11
  • Не знаю, как именно это сделано, но, например, gcc понимает, что список аргументов execl должен завершаться нулевым (константа(!)) указателем (не важно (void *)0 или хоть (float *)0). Кстати, понимает, даже если unistd.h не включать. Поэтому использовать всюду просто 0 не получится.
    – avp
    Commented 10 янв. 2017 в 13:13
  • 1
    @KoVadim только вот __nonnull((1, 2)) относятся к первому и второму аргументам списка вызова, а не к последнему (его компайлер называет sentinel и ругается warning: missing sentinel in function call [-Wformat=]). Причем, это где-то прописано для execl (и очевидно, кучи др. функций), потому что, когда я убираю unistd.h и вручную прописываю одинаковые декларации execl и execf, то ругань только на execl
    – avp
    Commented 10 янв. 2017 в 14:01
  • 1
    Ха, по идее (void *)0 != 0. Думаю легко понять почему.
    – 0andriy
    Commented 10 янв. 2017 в 14:23

1 ответ 1

11

Просмотрев внимательно стандарт C, я думаю, что вы правы. null pointer constant - это либо целочисленное константное выражение со значением 0, либо такое выражение, приведенное к типу void *.

Поэтому определение макроса NULL может быть в принципе различным, зависящим от реализации компилятора. То есть нигде в стандарте C я не нашел, что макрос NULL обязан быть определен как

( void *)0

Я заглянул в документ Rationale for International Standard— Programming Languages— C и там нашел следующее (7.17 Common definitions )

25 NULL can be defined as any null pointer constant. Thus existing code can retain definitions of NULL as 0 or 0L, but an implementation may also choose to define it as (void*)0. This latter form of definition is convenient on architectures where sizeof(void*) does not equal the size of any integer type.

Так как null pointer constant преобразуется в выражениях в null pointer, а размер null pointer может быть не равен размеру ни одному целочисленному типу, то удобнее определять null pointer constant как

( void * )0

то есть сразу же приводить ее к типу указателя.

В C++ от такого определения отказались, так как в отличии от C в C++ в связи с обеспечением безопасности типов нужно явное приведение указателя на void к типу указателя на конкретный объект. То есть если null pointer constant NULL будет определена в C++ как

( void *)0

то вам придется делать явное приведение указателей, как, например,

int *p = ( int * )( void *)0;

что, естественно, очень обременительно.

Поэтому в C++ Отказались объявлять NULL в виде целочисленной константы, приведенной к типу void *.

2
  • 0L - неожиданный вариант... Хотя и логичный, пожалуй. А требования на совпадение размера с размером указателя нет? Т. е. это просто заметка, которая ни к чему не обязывает?
    – Qwertiy
    Commented 10 янв. 2017 в 13:40
  • 1
    В современных плюсах NULL и вовсе не рекомендуется использовать. Появился nullptr.
    – αλεχολυτ
    Commented 10 янв. 2017 в 14:05

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.