Почему при присваивании адреса массива не ставится знак '&' получения адреса

@Aqua77 · Регистрация: 13.07.2015

Студворк — интернет-сервис помощи студентам

C++
1
2
3
4
5
6
7
8
9
10
int main()
{
    int a[2] = { 2, 3 };
    int* b;
    b = a; //Почему при присваивании адреса массива не ставится знак '&' получения адреса.
//А когда присваиваешь адрес отдельной переменной, то необходимо ставить этот знак.
//int a=2;
    int* b;
    b = &a;//
}

И ещё адрес массива из пяти элементов передаст указателю все пять элементов? От адреса первого [0] до адреса последнего [4]. То есть, после такого присвоения указатель будет иметь все 5 адресов?

@daslex · 23.11.2015, 13:42

Это не упрощение. В русском варианте цитаты Дейтелов грубая ошибка.
Имя массива - не является ни указателем, ни ссылкой, ни чем-либо еще. Это вообще не объект какого бы-то ни было типа, это идентификатор типа NoType и стандарт разрешает это "чудо-юдо" приводить к типу константный указатель.
Только благодаря неявному приведению, с ним возможно работать как с константным указателем.

@sourcerer · 23.11.2015, 13:58

Блин, про неявное приведение к указателю чё-то никто не пишет. Вот, ещё, например в "Эффективное программирование на C++":

Сообщение от Эндрю Кёниг и Барбара Му

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

Добавлено через 5 минут
И далее (стр. 212) там же:

Сообщение от Эндрю Кёниг и Барбара Му

Как упоминалось в разделе 10.1.3, имя массива является адресом начального элемента этого массива.

@daslex · 23.11.2015, 14:00

Не по теме:

Сообщение от gru74ik

Блин, про неявное приведение к указателю чё-то никто не пишет

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

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

@sourcerer · 23.11.2015, 14:06

Сообщение от daslex

Неужто кредит доверия оригиналу библии С++ меньше чем кредит доверия русским переводам из разных источников, которые не стандарт языка???

Да нет, не меньше, конечно. Просто почти все учебники во весь голос одно и то же кричат. Странно как-то.

@Voivoid · 23.11.2015, 14:08

Сообщение от daslex

Это вообще не объект какого бы-то ни было типа, это идентификатор типа NoType и стандарт разрешает это "чудо-юдо" приводить к типу константный указатель

Ого, это что-то новенькое

Tulosba · 23.11.2015, 14:20

Сообщение от gru74ik

Просто почти все учебники во весь голос одно и то же кричат. Странно как-то.

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

@sourcerer · 23.11.2015, 14:21

Вот ещё и Липпман сотоварищи в "Язык программирования C++. Базовый курс" (2014) туда же (стр. 167):

Сообщение от Стенли Б. Липпман, Жози Лажойе, Барбара Э. Му

Существует множество свидетельств того факта, что операции с массивами зачастую являются операциями с указателями. Одно из них - при использовании массива как инициализатора переменной, определённой с использованием спецификатора auto (см. раздел 2.5.2, стр.107), выводится тип указателя, а не массива.

C++
1
2
int ia[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}; // ia - массив из 10 целых чисел
auto ia2(ia); // ia2 - это int*, указывающий на первый элемент в ia

@daslex · 23.11.2015, 15:03

Посмотрел русский, не ленись посмотреть оригинальный текст в оригинальном учебнике.
Вот я не поленился. Отрыл оригинал Дейтелов (7изд). Красиво там все, красочно так.

оригинал текста

Arrays and pointers are intimately related in C++ and may be used almost interchangeably.
An array name can be thought of as a constant pointer

Перевод текста

Массивы и указатели тесно связаны в C ++ и могут использоваться как синонимы.
Имя массива можно рассматривать в качестве константного указателя

Заметь, что ни разу не сказано о том, что это указатель. В оригиналах других популярных книг наверняка так же. Это твердолобые переводчики косячят не по-детски. А мы страдаем.

Добавлено через 4 минуты
А дальше уже пример, что они тесно связаны.

C++
1
2
int b[ 5 ]; // create 5-element int array b
int *bPtr; // create int pointer bPtr

Добавлено через 2 минуты
Хотя дальше и говорится...

Because the array name (without a subscript) is a (constant) pointer to the first element of the array, we can set bPtr to the address of the first element in array b with the statement

ошибочно в оригинале

Добавлено через 11 минут
Дейтелы немного подофигели такую ересь писать

Although array names are pointers to the beginning of the array, array names cannot be
modified in arithmetic expressions, because array names are constant pointers.

Это однозначно ошибка авторов. Они как бы и рассматривают их как указатели, только не оговорили этого явно. Вот только в этом у них тут ошибка.

@sourcerer · 24.11.2015, 06:31

daslex, я думаю, это общее место в большинстве обучающих книг по С++. Упрощение. Да, они грешат против истины, но так проще объяснить новичку. Они говорят о том, что это указатель, но не упоминают о том, что получается он из неявного преобразования имени массива в указатель на первый элемент. Иначе придётся ещё тут же пояснять, что такое преобразования, чем явные преобразования отличаются от неявных и т.д. А в теме про массивы и указатели новичку и так непросто разобраться.

Добавлено через 10 минут
У Страуструпа так:

Сообщение от Bjarne Stroustrup

In C++, pointers and arrays are closely related. The name of an array can be used as a pointer to its initial element. For example:

C++
1
2
intv[] = {1, 2, 3, 4};
int* p1 = v; // pointer to initial element (implicit conversion)

Сообщение от Бьярне Страуструп

В языке C++ указатели и массивы тесно связаны. Имя массива может быть использовано в качестве указателя на его первый элемент. Например:

C++
1
2
intv[] = {1, 2, 3, 4};
int* p1 = v; //указатель на начальный элемент (неявное преобразование)

Добавлено через 7 минут
И далее у него же:

Сообщение от Bjarne Stroustrup

The implicit conversion of an array name to a pointer to the initial element of the array is extensively used in function calls in C-style code.

Сообщение от Бьярне Страуструп

Неявные преобразования имени массива в указатель на его первый элемент широко используются при вызовах функций в С-стиле.

@mporro · 24.11.2015, 08:55

Всё, что неявно куда-то приводится является этим куда-то.
Метафорически говоря, типовая метка указателя int* -- базовый тип для типа переменной а, объявленной как int a[5];

@zss · 24.11.2015, 09:00

Не по теме:

Класная опечатка!

Сообщение от Байт

для хренения

Байт · 24.11.2015, 09:49

Не по теме:

Сообщение от zss

Класная опечатка!

Долго думал. Показал жене. На семейном совете решили - так и оставить:) Спасибо, что заметили:good:

Croessmah · 24.11.2015, 09:51

mporro, да ладно?

zer0mail · 24.11.2015, 09:54

Есть ли для программиста разница - является ли имя массива указателем или приводится оно к указателю?
При передаче в качестве параметра это одно и то же. А когда это не одно и то же, есть примеры?

@daslex · 24.11.2015, 10:06

Сообщение от zer0mail

А когда это не одно и то же

далеко ходить не надо. sizeof.

Croessmah · 24.11.2015, 10:08

zer0mail, ну сделай две функции, одна принимает массив, другая - указатель и посмотри, если ли разница. Ах, да, sizeof тоже не забудь.

@mporro · 24.11.2015, 10:31

Croessmah
Так как в любом выражении, где требуется переменная int*, можно использовать переменную int a[], то очевидно, что массив -- это указатель. Хотя указатель -- это не массив, так как можно написать выражение верное для int a[5], но неверное для int*.

Croessmah · 24.11.2015, 11:08

Сообщение от mporro

где требуется переменная int*, можно использовать переменную int a[]

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

@mporro · 24.11.2015, 17:10

Сообщение от Croessmah

это не делает из этого литерала указательный тип

Никто не запрещает одному объекту принадлежать разным типам. Неявное преобразование ноля в указатель говорит о том, что 0 -- это и целое число, и указатель.

Croessmah · 24.11.2015, 17:16

Сообщение от mporro

Никто не запрещает одному объекту принадлежать разным типам.

У объекта один тип.

Сообщение от mporro

Неявное преобразование ноля в указатель говорит о том, что 0 -- это и целое число, и указатель.

C++
1
2
3
4
5
6
7
8
9
10
11
12
void foo(int)
{
}
 
void foo(int*)
{
}
 
int main()
{
    foo(0) ;
}

Никаких конфликтов, потому что 0 - int

Новые блоги и статьи Все статьи Все блоги /
[golang] Угол между стрелками часов alhaos 12.05.2026 По заданным значениям часа и минуты необходимо определить значение меньшего угла между стрелками аналогового циферблата часов. import "math" func angleClock(hour int, minutes int) float64 { . . .	Debian 13: Установка Lazarus QT5 ВитГо 09.05.2026 Эта инструкция моя компиляция инструкций volvo https:/ / www. cyberforum. ru/ blogs/ 203668/ 10753. html и его же старой инструкции по установке Lazarus с gtk2. . .	Нейросеть на алгоритме "эстафета хвоста" как перспектива. Hrethgir 06.05.2026 На десерт, когда запущу сервер. Статья тут https:/ / habr. com/ ru/ articles/ 1030914/ . Автор я сам, нейросеть только помогает в вопросах которые мне не известны - не знаю людей которые знали-бы. . .	Асинхронный приём данных из COM-порта Argus19 01.05.2026 Асинхронный приём данных из COM-порта Купил на aliexpress термопринтер QR701. Он оказался странным. Поключил к Arduino Nano. Был очень удивлён. Наотрез отказывается печатать русские буквы. Чтобы. . .
попытка написать игровой сервер на C++ pyirrlicht 29.04.2026 попытка написать игровой сервер на плюсах с открытым бесконечным миром. возможно получится прикрутить интерпретатор питон для кастомизации игровой логики. что есть на текущий момент:. . .	Контроль уникальности выбранного документа-основания при изменении реквизита Maks 28.04.2026 Алгоритм из решения ниже разработан на примере нетипового документа "ЗаявкаНаРемонтСпецтехники", разработанного в КА2. Задача: уведомлять пользователя, если указанная заявка (документ-основание). . .	Благородство как наказание Maks 24.04.2026 У хорошего человека отношения с женщинами всегда складываются трудно. А я человек хороший. Заявляю без тени смущения, потому что гордиться тут нечем. От хорошего человека ждут соответствующего. . .	Валидация и контроль данных табличной части документа перед записью Maks 22.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в КА2. Задача: контроль и валидация данных табличной части документа перед записью с учетом регламента компании. . .

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	23.11.2015, 13:42
	Это не упрощение. В русском варианте цитаты Дейтелов грубая ошибка. Имя массива - не является ни указателем, ни ссылкой, ни чем-либо еще. Это вообще не объект какого бы-то ни было типа, это идентификатор типа NoType и стандарт разрешает это "чудо-юдо" приводить к типу константный указатель. Только благодаря неявному приведению, с ним возможно работать как с константным указателем. 0

@mporro 306 / 101 / 18 Регистрация: 04.07.2014 Сообщений: 571
	24.11.2015, 08:55
	Всё, что неявно куда-то приводится является этим куда-то. Метафорически говоря, типовая метка указателя int* -- базовый тип для типа переменной а, объявленной как int a[5]; 0

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,035 Записей в блоге: 1
	24.11.2015, 09:51
	mporro, да ладно? 0

zer0mail 2688 / 2260 / 244 Регистрация: 03.07.2012 Сообщений: 8,231 Записей в блоге: 1
	24.11.2015, 09:54
	Есть ли для программиста разница - является ли имя массива указателем или приводится оно к указателю? При передаче в качестве параметра это одно и то же. А когда это не одно и то же, есть примеры? 0

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,035 Записей в блоге: 1
	24.11.2015, 10:08
	zer0mail, ну сделай две функции, одна принимает массив, другая - указатель и посмотри, если ли разница. Ах, да, sizeof тоже не забудь. 0

@mporro 306 / 101 / 18 Регистрация: 04.07.2014 Сообщений: 571
	24.11.2015, 10:31
	Croessmah Так как в любом выражении, где требуется переменная int, можно использовать переменную int a[], то очевидно, что массив -- это указатель. Хотя указатель -- это не массив, так как можно написать выражение верное для int a[5], но неверное для int. 0