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

@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

Новые блоги и статьи Все статьи Все блоги /
Родители токсичные абьюзеры по отношению к своим детям ругают их оскорбляют не любят zorxor 08.11.2026 Жить в атмосфере постоянных оскорблений, критики и холодности со стороны родителей — это тяжелое и болезненное испытание, которое оставляет глубокие эмоциональные раны. Токсичное и абьюзивное. . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .	Проверка полного ФИО в типовом справочнике Maks 07.11.2026 Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .
Про "Windows must die!" kumehtar 04.11.2026 Знаете, чет накатило. . . . Когда-то это было почти боевым кличем: мол, нормальный человек сидит на DOS, OS/ 2 или Linux, а вот это вот - Must Die. А теперь человек произносит «мастдай» с усмешкой - и. . .	Красочные поля с номером страницы svg+background-image russiannick 04.11.2026 Красочные поля с номером страницы не менее важны чем в эпоху бумажных книг. Посему спешу представить почтеннейшей публике этот важный инструмент который эти поля и формирует. В процессе разработки. . .	Вступаем в новую фазу генерации favicons, векторную. russiannick 02.11.2026 Теперь нет нужды скрывать что используется простой svg. Исходный код изображения помещаем в поле и жмем кнопку. Исходник преобразуется в вид корректный для помещения в favicon или в url(). Нажатие. . .	Генератор паролей (вариант №4) Maks 01.11.2026 После публикации 3-го варианта генератора паролей, разослал его своим коллегам (с целью оценки), в итоге были получены следующие рекомендации: 1. Вернуть возможность использования знаков \| 1 l I;. . .

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

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

@DrOffset 19506 / 10109 / 2464 Регистрация: 30.01.2014 Сообщений: 17,834
	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