Что такое указатель void и что такое указатель null?

Эти два понятия ортогональны:

1. Пустой указатель (void *) - это необработанный указатель на некоторую ячейку памяти.
2. Нулевой указатель - это специальный указатель, который по определению ни на что не указывает. Это может быть указатель на любой тип, void или иное.

Указатель void может быть нулевым или нет:

void *void_ptr1 = nullptr;
void *void_ptr2 = malloc(42);
void *void_ptr3 = new Foo;               // void * can point to almost anything
void *void_ptr4 = (char*)void_ptr3 + 1;  // even somewhere inside an object

Непустой указатель также может быть нулевым или нет:

Foo *f = nullptr;
Foo *g = new Foo;

Просто забудьте об этом ответе. Цитата из вашей ссылки:

«указатель без возвращаемого типа называется нулевым указателем».

Это ооочень просто НЕПРАВИЛЬНО. возвращаемый тип указателя? В САМОМ ДЕЛЕ? Это плохой источник ...

void* является универсальным указателем тип, потому что любой тип указателя (кроме указателя на const и / или volatile) может быть неявно преобразован в void*. Другими словами, вы можете присвоить любой указатель переменной типа void*. Нулевой указатель - это указатель значение 0

Тип void в целом означает, что информация о типе не указана.

Вы всегда должны помнить, что указатель передает две части информации: тип указанных данных (int, double, ...), который указывает, как их интерпретировать, и адрес данных, на которые он указывает, который указывает где можно получить фактическое значение указанных данных.

Информация о типе находится в типе указателя (double *, int *, ...), а адрес данных - это фактическое значение, содержащееся в указателе. Переменная.

Итак, указатель void (void *) - это указатель, который не указывает никакой информации о типе. Он сообщает вам, где находятся данные, но не говорит, как их интерпретировать. Вы знаете, что по этому адресу что-то есть, но вы не знаете, int, double или группа летающих коров. Чтобы действительно использовать такие данные, вы должны получить информацию о типе каким-либо другим способом (например, с помощью какого-либо другого магического параметра), привести этот указатель к обычному типу указателя и затем использовать его как обычно.

void * часто используется в C для поддержки общего программирования; см., например, функцию библиотеки qsort C .

Вместо этого указатель NULL - это указатель, который ни на что не указывает. В этом случае информация о типе указателя в целом присутствует, но отсутствует адрес указанных данных. Конечно, возможно иметь void *, то есть NULL.

Быстрый пример (предположим, что v объявлен как double v;):

                         Type information present
             +----------------------+----------------------+
             |          ✔           |          ✘           |
         +---+----------------------+----------------------+
    p  c |   |                      |                      |
 v  o  o | ✔ | double * ptr = &v;   | void * ptr = &v;     |
 a  i  n |   |                      |                      |
 l  n  t +---+----------------------+----------------------+
 i  t  e |   |                      |                      |
 d  e  n | ✘ | double * ptr = NULL; | void * ptr = NULL;   |
    d  t |   |                      |                      |
         +---+----------------------+----------------------+

Общая информация: NULL, по крайней мере, в текущем стандарте гарантированно равно 0.

В других областях языка void всегда используется для обозначения отсутствия типа. Использование его в качестве возвращаемого значения (примечание: я сейчас говорю о void, а не void *) означает, что функция не возвращает никакого значения, а приведение выражения к void - это интересный способ отбросить значение (вы сигнализируете компилятору и другим программистам, что вы понимаете, что не используете определенное значение).

Расскажите, пожалуйста: в чем разница:

• между бензобаком и ситуацией отсутствия газа
• между банкой для файлов cookie и без файлов cookie
• между термином "деньги" и "пустые карманы"

Если вы их придумаете, вы сможете понять, что такое null vs void * dillema.

void не является типом. null не имеет значения.

Вот некоторые отличия от арифметики указателей:

Это связано с тем, что void - это неполный тип.

void *vp;
vp++;     // error, incomplete type
vp += 2;  // same error

void *p = 0;
p++;      // still same error

int *p = 0;
p++;      // well-formed program, but UB ($5.6/5)

Связанная статья просто неверна. Его первое предложение:

указатель без возвращаемого типа называется нулевым указателем

вызывает у меня всевозможные сигналы тревоги. Это очень запутанный отрывок.

Вы почти правы. «Указатель на void» - это тип (не «возвращаемый тип»). Значения любого типа могут возвращаться функциями и, таким образом, быть типом возвращаемого значения (функции).

Нулевой указатель - это указатель, который, независимо от его типа, указывает на нулевой объект, который не является любым допустимым объектом, который может быть создан. Можно сказать, что нулевой указатель указывает на «ничего».

Указатель на void также может быть нулевым;

void *nothing = 0;

является совершенно правильным кодом и просто говорит, что этот указатель может указывать на нетипизированный объект, но сейчас это не так.

void *ptr - это указатель, который можно использовать для указания любого типа данных. Это может быть int, float, double. Он не имеет возвращаемого типа, поскольку изначально указатель создается с типом указателя (имеющим шестнадцатеричное значение), и мы можем назначить этот указатель любому типу данных.

В то время как нулевой указатель - это указатель, адрес которого имеет значение NULL, указателю присваивается значение NULL, поэтому его нельзя использовать для доступа к другим данным, которые его адрес может содержать во время создания. Я считаю хорошей техникой программирования присвоить указателю NULL, если он в данный момент не используется.

нулевой указатель указывает на 0x000000 (что неверно для указателя доступа), в то время как указатель void является правильным указателем на неопределенный тип (void *). Однако указатель void может быть нулевым указателем, но тогда отсутствие ссылки на указатель приведет к ошибке.