Массив в C + указатель?

Question

[artemka85]

Вообщем , задумался о мысли .
Вот к примеру я создаю массив :
int a[3] = {1, 2, 3};
Выведу : a
Выведу : &a
и : &a[0]
одинаково . хм..
ведь по сути переменная "a" содержит адрес нулевого элемента массива , правильно ?
значит в памяти создалась эта переменная "a" точнее указатель , и в нем адрес нулевого элемента массива .
но тогда при выводе :
&a и &a[0] должны быть выведены разные адреса . так что же получается .
компилятор скрывает от нас эту переменную?

Comments

[Максим Рыбас]

так что же получается .
компилятор скрывает от нас эту переменную?

Любая переменная располагается где-то в памяти, а значит сама по себе имеет адрес расположения. Для хранения адреса, по которому хранится переменная a не нужно другой переменной.

[artemka85]

ну да , я с этим согласен , но ведь , для хранения
нулевого элемента массива . как раз таки и нужна по сути эта переменная " a ".

Answer 1

[Максим Мосейчук]

ведь по сути переменная "a" содержит адрес нулевого элемента массива , правильно ?

Нет. Как вы верно подметили, имя массива, его адрес и адрес первого элемента - это одно и тоже. Никакой дополнительной скрытой переменной нет, т.к. вы выделяете массив в автоматической памяти (на стеке).

Comments

[Толстый Лорри]

Не одно и то же, но такое преобразование чаще всего выполняется.

[Максим Мосейчук]

Толстый Лорри: семантически это разные вещи. Физически - одно и тоже и преобразований никаких нет.

[Толстый Лорри]

fshp: Это не так, фактически. Это имеет разницу в контексте вывода типов в шаблонах. Мейерс упоминает об этом в "Эффективном и современном С++".

Answer 2

[Алексей]

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