Что такое указатель на массив?

@ReYalp · Регистрация: 27.12.2017

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

@DrOffset · 19.02.2020, 09:03

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

а то что arr заменяется на &arr[0] это правда

Нет, это тоже неправда.
Оно не заменяется, а приводится. Т.е. в определенные моменты одна сущность порождает другую. При этом исходная сущность никуда не девается. Вы понимаете, что значит приведение?

Добавлено через 1 минуту

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

В книге должно быть "неявно преобразовывает", а не "автоматически заменяет".

Кстати, конкретно в случае с Липпманом это все-таки может быть ошибка переводчика.
Я не очень-то верю в то, что Липпман стал бы пользоваться подобного рода упрощениями.
В какой-то другой книге другого автора - возможно, видел такое.

@ReYalp · 19.02.2020, 09:06 **[ТС]**

DrOffset, точнее сказать не с массивами, а с указателя и на них. Вы сами раньщ писали что arr неявно становится указателем на первый подмассив( я пишу о int arr[10][20]), тоесть arr = int (*p) [20], что будет если я теперь сделаю &arr? Разве не адрес указателя?

Croessmah · 19.02.2020, 09:06

Не по теме:

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

Кстати, конкретно в случае с Липпманом это все-таки может быть ошибка переводчика.

Возможно. Я не читал. Или читал, но не помню. :)

@ReYalp · 19.02.2020, 09:07 **[ТС]**

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

Croessmah · 19.02.2020, 09:09

ReYalp, название, издание и главу где это написано напишите.

@ReYalp · 19.02.2020, 09:11 **[ТС]**

Croessmah, int arr [10][20] - arr даст int (*p) [20], &arr даст int (*p) [10]?

Добавлено через 1 минуту
Croessmah, Липпман 5-е издание 3.5.3 Указатели и массивы

@DrOffset · 19.02.2020, 09:14

Ну точно. Вот цитат из оригинала:

In particular, as we’ll see, when we use an array, the compiler ordinarily converts the array to a pointer.

coverts - это не заменяет, а преобразует.

@ReYalp · 19.02.2020, 09:16 **[ТС]**

DrOffset, ладно, но что с примером, я же беру & адресс int(*p) [20] указателя, чем это не адресс указателя?

Croessmah · 19.02.2020, 09:17

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

&arr даст int (*p) [10]?

Нет. arr имеет тип int[10][20], значит указатель на него имеет тип int(*)[10][20].
arr неявно может быть преобразован в указатель на первый элемент - int(*)[20]

@DrOffset · 19.02.2020, 09:19

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

int arr [10][20] - arr даст int (*p) [20], &arr даст int (*p) [10]?

C++
1
2
3
4
5
    int arr [10][20];
    
    int (*p1)[10][20] = &arr;
    
    int (*p2)[20] = arr;

Добавлено через 1 минуту

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

ладно, но что с примером, я же беру & адресс int(*p) [20] указателя, чем это не адресс указателя?

В вашем примере нет указателей. Есть объект типа "массив", адрес которого вы берете.
Адрес указателя был бы, если бы вы брали адрес у объекта типа "указатель".

@ReYalp · 19.02.2020, 09:23 **[ТС]**

DrOffset, теперь все более менее стало на свои места, адреса у них одинаковые потому указывают они оба неявно преобразовываются в &arr[0][0]?

Croessmah · 19.02.2020, 09:27

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

In particular, as we’ll see, when we use an array, the compiler ordinarily converts the array to a pointer.

А чуть ниже?

@DrOffset · 19.02.2020, 09:32

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

Вы сами раньщ писали что arr неявно становится указателем

Это про этот пост?

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

ReYalp, ну вот.
Операция индексации всегда содержит адресную арифметику, потому что

C++
1
arr[1] // *(arr + 1)

таким образом, если вы просто используете индексацию в двумерном массиве, то вы всегда имеете дело с указателями на массив.

C++
1
arr[1][2] // *(*(arr + 1) + 2)

где
arr + 1 даст double(*)[20]
*(arr + 1) даст double[20]
*(arr + 1) + 2 даст double *
*(*(arr + 1) + 2) даст double,

Где я писал, что он именно становится? )
Вы не понимаете, что значит "преобразуется"? Представьте, что везде, где это требуется, у нас есть неявный вызов функции. Т.е.

C++
1
arr[1][2] // *(convert_to_pointer( *(convert_to_pointer( arr ) ) + 1) + 2)

Так понятнее?
Понятно, что arr никак не меняется. Это неявный аргумент неявной функции преобразования, которую выполняет компилятор.
Правила преобразования описаны в стандарте языка:

An lvalue or rvalue of type “array of N T” or “array of unknown bound of T” can be converted to a prvalue of type “pointer to T”.
The temporary materialization conversion ([conv.rval]) is applied.
The result is a pointer to the first element of the array.

https://eel.is/c++draft/conv.array

Добавлено через 2 минуты

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

теперь все более менее стало на свои места, адреса у них одинаковые потому указывают они оба неявно преобразовываются в &arr[0][0]?

Конечно нет. Адреса одинаковые, потому что они оба указывают на одну и ту же память.
Все примеры, что я вам давал выше вы не разбирали, не запускали, не экспериментировали и не думали?

В общем я предлагаю вам перестать пока тут спрашивать и уже позаниматься практикой.
Иначе никакого терпения отвечать по 10 раз на одно и то же ни у кого не хватит.

@ReYalp · 19.02.2020, 09:35 **[ТС]**

DrOffset, самый запутанный для меня момент - cout << arr, что выводит cout? &arr[0][0]? &arr? Или int (*) [10][20] что собственно тоже самое

Croessmah · 19.02.2020, 09:39

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

Вот цитат из оригинала:

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

А чуть ниже?

А чуть ниже так

However,arrays have a special property—in most places when we use an array, the compiler automatically substitutes a pointer to the first element

@DrOffset · 19.02.2020, 09:40

Не по теме:

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

А чуть ниже?

Да, ниже там есть это упрощение и в оригинале.
Переводчик реабилитирован.
:)

Croessmah · 19.02.2020, 09:45

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

самый запутанный для меня момент - cout << arr, что выводит cout?

Давай сначала без cout.

C++
1
2
3
4
5
void foo(void * p);
//...
int arr[10][20];
//...
foo(arr);//Что уйдет в foo?

@DrOffset · 19.02.2020, 09:45

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

самый запутанный для меня момент - cout << arr, что выводит cout? &arr[0][0]? &arr? Или int (*) [10][20] что собственно тоже самое

C++
1
std::cout << arr;

это во что:

C++
1
std::operator<<(std::cout, arr);

operator<< в данномслучае подходит только один
вот такой:

C++
1
operator(std::ostream & out, void * ptr);

итого имеем два преобразования за раз в этом вызове
т.е.

C++
1
std::operator<<(std::cout, convert_pointer_to_void_pointer( convert_array_to_pointer(arr) ) )

convert_array_to_pointer для примера из 70 поста даст int (*)[20]
а convert_pointer_to_void_pointer даст void *

@ReYalp · 19.02.2020, 09:46 **[ТС]**

DrOffset, так что выводит cout << arr? неявно кастит в int (*) [20],или просто выводит адресс? Тогда адресс чего он выводит? Первого элемента в массиве?

Croessmah · 19.02.2020, 09:46

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

Давай сначала без cout

Ладно, отбой, DrOffset уже написал. )

Новые блоги и статьи Все статьи Все блоги /
23. что сделано за последнее время. anaschu 17.06.2026 • Эталон: Клиника НИИ питания РАМН, Москва — централизованный пищеблок, 225 коек, 180 пациентов • Git: репозиторий med2, ветка абсентеизм. Рабочий файл: СРесурсами1_v4. alp • Смежный проект:. . .	22. Подключение слоя системной динамики (потоковые диффуры): экономические метрики модели anaschu 17.06.2026 Апдейт модели: финансовый контур, разделение затрат Продолжаю развивать модель рабочего коллектива на AnyLogic. В этот раз работа шла над агентом Экономика — финансовым SD-слоем модели. Задача:. . .	[golang] Insert Delete GetRandom O(1) (Leetcode: 380) alhaos 16.06.2026 Insert Delete GetRandom O(1) Сложность: Medium Источник: LeetCode 380 Задача Реализовать структуру данных RandomizedSet, которая поддерживает следующие операции за O(1) в среднем:	Свет в конце тоннеля kumehtar 16.06.2026 Поймал себя на одной мысли. Раньше мне всегда казалось неправильным жить без чёткого понимания, куда всё идёт. Будто я иду по дороге судьбы, но не знаю, куда она ведёт. А раз не знаю — значит,. . .
[golang] Реализация стека с поддержкой получения минимального элемента за O(1) alhaos 16.06.2026 Min Stack Сложность: Medium Источник: LeetCode 155 Задача: Реализовать стек который поддерживает push, pop, top и получение минимального элемента за O(1). Методы:	[golang] Конкурентный fetcher с ограничением максимального количества одновременных HTTP запросов. alhaos 10.06.2026 Задача Реализовать конкурентный fetcher с ограничением максимального количества одновременных HTTP запросов. Сигнатура func Fetch(urls string, maxConcurrent int) Result Пример urls :=. . .	[golang] Состояние гонки (race condition) alhaos 10.06.2026 Состояние гонки (race condition) Состояние гонки (Race Condition) — это ошибка, возникающая при одновременном доступе нескольких горутин к одним и тем же данным без должной синхронизации. При этом. . .	Взрослые отношения, и почему они не получаются kumehtar 09.06.2026 Когда в детстве ребёнок не получает от родителей чего-то важного, он лишается не просто приятных переживаний, а основы для формирования определённых внутренних качеств и навыков. Если ребёнок не. . .

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484

	Что такое указатель на массив? 18.02.2020, 15:28. Показов 6645. Ответов 108 Метки нет (Все метки) Указатель на массив это указатель на первый элемент массива? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 09:06 [ТС]
	DrOffset, точнее сказать не с массивами, а с указателя и на них. Вы сами раньщ писали что arr неявно становится указателем на первый подмассив( я пишу о int arr[10][20]), тоесть arr = int (*p) [20], что будет если я теперь сделаю &arr? Разве не адрес указателя? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 09:07 [ТС]
	DrOffset, ну просто в книге есть отдельно неявно преобразовывает и отдельно автоматически заменяет, мне кажется ошибки перевода нету 0

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,038 Записей в блоге: 1
	19.02.2020, 09:09
	ReYalp, название, издание и главу где это написано напишите. 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 09:11 [ТС]
	Croessmah, int arr [10][20] - arr даст int (p) [20], &arr даст int (p) [10]? Добавлено через 1 минуту Croessmah, Липпман 5-е издание 3.5.3 Указатели и массивы 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 09:16 [ТС]
	DrOffset, ладно, но что с примером, я же беру & адресс int(*p) [20] указателя, чем это не адресс указателя? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 09:23 [ТС]
	DrOffset, теперь все более менее стало на свои места, адреса у них одинаковые потому указывают они оба неявно преобразовываются в &arr[0][0]? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 09:35 [ТС]
	DrOffset, самый запутанный для меня момент - cout << arr, что выводит cout? &arr[0][0]? &arr? Или int (*) [10][20] что собственно тоже самое 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 09:46 [ТС]
	DrOffset, так что выводит cout << arr? неявно кастит в int (*) [20],или просто выводит адресс? Тогда адресс чего он выводит? Первого элемента в массиве? 0