Как void * a = & a законно?

Рассмотрим следующий код C ++:

void* a = &a;

Почему компилятор не жалуется на использование необъявленного идентификатора?

Кроме того, что компилятор считает переменной a? Это указатель на объект void или указатель на void*указатель?

c++

— user2681063
источник

Пункт декларации

— Гриджеш Чаухан

Точка декларации на C ++

— masoud

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

— OrangeDog

Ответы:

Объем объявления переменных в C ++ может быть довольно удивительным:

void* a =               &a;
         ^~~~~~~~~~~~~~~~~
          a declared as `void*` from here on

Таким образом, &aесть , void**но так как любой тип указателя неявно конвертируется в void*...

— Матье М.
источник

Как бы мне присвоить этому полезный объект?

— user2681063

@ user2681063 a = &userfulObject?

— Никос С.

@MarkGarcia: обратите внимание, что void *a = a;это будет UB, если объявлено локально, в противном случае это нормально в области пространства имен.

— Nawaz

@TheodorosChatzigiannakis: Я бы поверил, что да.

— Matthieu M.

Здесь было бы неплохо сделать ссылку на спецификацию.

— Бенджамин Грюнбаум

Это эквивалентно

void* a;
a = &a;

Таким образом, aбыло объявлено. Так aполучает адрес aзаписанный в a. Так что это указатель на указатель void. (Вы еще не определили никаких объектов.)

— Стасик
источник

Технически вы определили один объект. aсам по себе является объектом. (Не все объекты имеют определяемые пользователем типы в C ++)

— MSalters

@MSalters, что это за «объект», о котором вы говорите? : D

— Gusdor

@Gusdor Мы можем только предполагать, что находится за пределами горизонта событий.

— Коул Джонсон,

Они называются по-разному, однако «эффект» в этом случае тот же

— Стасик

В целом они не эквивалентны, но в этом сценарии они есть.

— Гонки за легкостью на орбите,

В void* a, aобъявлен как указатель не к voidтипу , а к «любой» типа (частный случай). Адрес (позиция в памяти) присваивается a, как и любой другой объявленной переменной, конечно.

После этого выражение &aвычисляется для инициализации только что объявленной переменной (также a, но это не имеет значения). Типом &aявляется «указатель на указатель на любой тип», который является частным случаем «указателя на любой тип», полностью совместимого с типом a. Ergo, нет сообщения компилятора.

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

Кроме того, AFAIR это действительно исходит от C.

— Марио Росси
источник