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

@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 уже написал. )

Новые блоги и статьи Все статьи Все блоги /
Море в объективе kumehtar 06.07.2026 Хотел написать много проникновенных слов, но передумал. Оно само - говорит. Кто слышит тот слышит.	Оказывается, Unreal Engine позволяет качество на порядки выше, чем было в Lineedge Etyuhibosecyu 05.07.2026 Жаль, конечно, что я не узнал об этом, пока Lineedge существовала, а то бы Noname2331 написал, что волки превращаются в пиксельную кашу, а я бы его попросил скачать какую-нибудь бриллиантовую или Pro. . .	Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .	Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .
Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .	В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .	интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .	Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .

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

	Что такое указатель на массив? 18.02.2020, 15:28. Показов 6671. Ответов 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