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

@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

Новые блоги и статьи Все статьи Все блоги /
28. КОнкретное развертывание плана номер 1 из поста номер 27 anaschu 22.06.2026 Можно ли из модели получить конкретные строительные требования? Честно — напрямую из текущей модели такие ответы не получить. Но цепочка логики есть, и она не такая длинная. Где разрыв . . .	27. Планы на разработку функциональных требований к строительству внутри модели пищеблока (или не только его?) anaschu 22.06.2026 Что уже реализовано и даёт конфликты «бесплатно» Самый простой конфликт уже работает — конфликт за ресурс-работника. Заданий больше, чем доступных поваров → очередь в queue1. Это прямое отражение. . .	26. мед мат модель.Какие типы конфликтов функциональных требований можно рассчитать через ДЕС-моделирование (СМО) в AnyLogic? anaschu 22.06.2026 Что ДЕС/ СМО умеет считать напрямую: Конфликты за ресурсы (очереди, узкие места). Несколько типов агентов (повара, учителя, рабочие, пациенты) претендуют на один ресурс (лифт, вход, коридор,. . .	25 модель здравосохранения и функциональных требований к пищеблоку: конфликты функциональных требований. anaschu 22.06.2026 Есть ли данные о том, какие функциональные/ эксплуатационные требования или их сочетания труднее всего учитывать при проектировании зданий? Да, такие данные есть, и они хорошо описаны и в российской,. . .
Remote Connection Manager DevAlt 21.06.2026 Написал для себя небольшую прилагу: https:/ / github. com/ altbodhi/ ReConMan По итогу пришел к мысли, что DU не дружат с существующими технологиями. От сериализации до отображения в реляционную. . .	Администрация Хабра удаляет новые энрегоэфективные алгоритмы, которые не западной школы кода, и вовсе никак не сгенерировавны. Hrethgir 20.06.2026 Делается это, как замечено, при правках - при объявлении концептуальных отличий в алгоримах. Делается это, по линейке событий - после дополнения публикации основными отличиями от основных западных. . .	Процесс ориентированная диалектика (не новость - просто системное обновление, философия). Hrethgir 20.06.2026 Однажды один участник в своём блоге, на этом форуме, сделал запись "О языках замолвите слово". Понимая, что язык - важная вещь, я решил хорошо подумать, прежде чем сказать, и сказал то, что вы видите. . .	Контроль уникальности строк в табличной части документа Maks 18.06.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,038 Записей в блоге: 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,038 Записей в блоге: 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