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

@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

Новые блоги и статьи Все статьи Все блоги /
Часы электронные Uhbif79 12.08.2026 Выкладываю программу часов. Программа позволяет: 1. Использовать системное время и дату, 2. Есть возможность вводить время и дату вручную. 3. Реализованы 2 будильника: начало и конец рабочего дня. . . .	Часы с будильником на основе класса QLCDNumber Uhbif79 12.08.2026 Всем добрый день, выкладываю программу часов с будильником на основе класса QLCDNumber. Здесь я пробовал самостоятельно создавал классы, впервые столкнулся с видимостью переменной одного класса из. . .	Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия	Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .
Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .	Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .

@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