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

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

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

@DrOffset · 18.02.2020, 22:17

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

C++
1
int (*p)[10];

* - применяется к int[10] - т.е. вместе это указатель на массив - если скобки убрать - будет массив указателей.

C++
1
int (*foo())[10]

* - применяется к int[10] - указатель на массив

C++
1
int (*pf)(int, int, double);

* - применяется к int(int, int, double) - это тип функции, вместе это получается указатель на функцию.

@ReYalp · 18.02.2020, 22:48 **[ТС]**

DrOffset, а зачем вообще придумали указатели на массивы если есть указатели на его первый элемент? ведь по сути это же абсолютно одинаковые указатели( кроме случаев если указатель на первый элемент массива сдвинули). Если создать указатели и сразу инициализировать его

C++
1
2
int num[10]{};
    int (*pn) [10]  = &num;

то получится что pn = &num[0] , но зачем лишний синтаксис для этих указателей если можно просто использовать num а не создавать pn?

@DrOffset · 18.02.2020, 22:58

ReYalp, вы должны внимательно прочитать то, что уже было написано ранее. Мы это уже обсуждали.

@ReYalp · 18.02.2020, 23:00 **[ТС]**

DrOffset, но мы же обсуждали [] с размером, а не мотивы создания указателей

@DrOffset · 18.02.2020, 23:16

ReYalp,

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

указатель может указывать на любой объектный тип. Массив - тоже объектный тип.

...

Ключевое слово любой.
Т.е. нет никакого специального лишнего синтаксиса, синтаксис один для любых объектов.

Добавлено через 1 минуту
У объекта можно взять адрес. И тип указателя должен отражать тип указуемого объекта.
Если объект у нас - массив, значит тип этого массива должен быть частью типа указателя. Это общее правило.

Добавлено через 4 минуты
Также есть ситуации, когда вы не сможете обойтись без указателей на массивы, иначе не получится обеспечить корректную арифметику адресов.
Возьмем двумерный массив.

C++
1
int a[10][20]

Какой тип первого элемента "внешнего" массива?
К типу какого указателя приводится выражение a неявно?

Как используя арифметику указателей, перейти от первого элемента ко второму? Почему в типе указателя должна содержаться информация о типе указуемого объекта, чтобы арифметика указателей работала?

Ответите на эти вопросы, ваши отпадут сами.

@ReYalp · 18.02.2020, 23:41 **[ТС]**

DrOffset,

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

Какой тип первого элемента "внешнего" массива?

указатель на массив 20 элементов типа int?

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

К типу какого указателя приводится выражение a неявно?

к типу указателя на массив int

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

Как используя арифметику указателей, перейти от первого элемента ко второму?

++a?

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

Почему в типе указателя должна содержаться информация о типе указуемого объекта, чтобы арифметика указателей работала?

ну очевидно чтобы при смещении это делалось на определенный отрезок байт

@DrOffset · 18.02.2020, 23:47

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

указатель на массив 20 элементов типа int?

Нет. Тип элемента - массив из 10 int. Итого у нас в массиве а - 20 массивов из 10 int.

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

к типу указателя на int

Нет. К типу указатель на массив из 10 int. Коль у нас элементы массива - это другие массивы.

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

++a?

a + 1

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

ну очевидно чтобы при увеличениии или убавлении это делалось на определенный отрезок байт

Да. С учетом вышесказанного теперь все соедините вместе.

@ReYalp · 18.02.2020, 23:52 **[ТС]**

DrOffset, DrOffset, чёт я не понял, a[10][20] это 10 массивов из 20 объектов или наоборот?

@DrOffset · 18.02.2020, 23:57

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

a[10][20] это 10 массивов из 20 объектов или наоборот?

Да, массив из 10 массивов из 20 int.
Писал с своего примера, а потом когда вспомнил\увидел, что до этого давал пример наоборот, уже не успел исправить.

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

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

Тип элемента - массив из 10 int. Итого у нас в массиве а - 20 массивов из 10 int.

Следует читать как

Тип элемента - массив из 20 int. Итого у нас в массиве а - 10 массивов из 20 int.

и

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

К типу указатель на массив из 10 int. Коль у нас элементы массива - это другие массивы.

как

К типу указатель на массив из 20 int. Коль у нас элементы массива - это другие массивы.

@ReYalp · 18.02.2020, 23:57 **[ТС]**

DrOffset, Тоесть я все верно описал выше?

@DrOffset · 18.02.2020, 23:58

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

Тоесть я все верно описал выше?

Нет, не верно.
Кроме перепутанных размерностей все остальное в силе.

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

DrOffset, но я все же правильно описал кроме первого, насчёт указателя на int - я исправил на массив int, с самого начала имел это ввиду, а вот первое не совсем понятно, как может быть сам массив, а не указатель на него либо первый элемент?

@DrOffset · 19.02.2020, 00:20

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

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

Массив - объектный тип.
double, например, тоже объектный тип. Вы же можете сделать массив из double`ов?
Значит и массив из других массивов сможете. Чем он хуже?
Вопрос лишь в том, насколько сдвигать указатель.

Замените конкретный тип на T.
Запишите

C++
1
T arr[10];

Не смущает же ничем эта запись?
Можете теперь перед ним объявить T как typedef double.

C++
1
2
3
using T = double;
 
T arr[10];

Все нормально пока, нет никакого неожиданного поведения? Тип элемента такого массива - T?
Теперь возьмите и поменяйте T на double[20];

C++
1
2
3
using T = double[20];
 
T arr[10];

Ничего же принципиально не изменилось? Тип элемента все еще T.
T - это что теперь? Массив же, правда ведь?

@ReYalp · 19.02.2020, 00:27 **[ТС]**

DrOffset, ну да, выходит что если есть int arr[10][20] то первый элемент внешнего (arr[0] это первый массив из 20), согласен, но каким образом я должен был понять зачем нам нужны указатели на массивы? )

@DrOffset · 19.02.2020, 00:32

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

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

Ну подумайте.
Вот у нас есть пример выше.

C++
1
2
3
using T = double[20];
 
T arr[10];

И мы хотим получить указатель на второй элемент массива.
Что мы делаем?

C++
1
auto p = arr + 1;

Верно?
Какой тип у p?
На сколько байт двигает операция + 1 адрес?

@ReYalp · 19.02.2020, 00:34 **[ТС]**

DrOffset, у р тип указатель на массив типа double , операция ++ двигает на количество байт равное szieof(double) * количество элементов массива на который указатель указывает

@DrOffset · 19.02.2020, 00:44

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,

@ReYalp · 19.02.2020, 00:50 **[ТС]**

DrOffset, кстати в книге Липпмана сказано что массивов двумерный не существует в С++, есть только массивы массивов

@Azazel-San · 19.02.2020, 00:50

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

szieof(double) *

Должно быть sizeof(double(*)[20]), вроде

@DrOffset · 19.02.2020, 00:52

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

кстати в книге Липпмана сказано что массивов двумерный не существует в С++, есть только массивы массивов

Ну в Си и Си++ двумерные (любые многомерные) массивы эмулируются через массивы массивов.

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

Сообщение от Azazel-San

Должно быть sizeof(double(*)[20]), вроде

Не, я спросил на сколько байт нужно сдвинуть указатель, что перейти ко второму элементу.
Этот размер в данном случае - это sizeof(double[20]) или, как сказал, ТС - sizeof(double) * 20

Новые блоги и статьи Все статьи Все блоги /
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. Показов 6647. Ответов 108 Метки нет (Все метки) Указатель на массив это указатель на первый элемент массива? 0

@DrOffset 19501 / 10106 / 2461 Регистрация: 30.01.2014 Сообщений: 17,825
	18.02.2020, 22:58
	ReYalp, вы должны внимательно прочитать то, что уже было написано ранее. Мы это уже обсуждали. 0

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

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	18.02.2020, 23:52 [ТС]
	DrOffset, DrOffset, чёт я не понял, a[10][20] это 10 массивов из 20 объектов или наоборот? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	18.02.2020, 23:57 [ТС]
	DrOffset, Тоесть я все верно описал выше? 0

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

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

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 00:34 [ТС]
	DrOffset, у р тип указатель на массив типа double , операция ++ двигает на количество байт равное szieof(double) * количество элементов массива на который указатель указывает 0

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