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

@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

Новые блоги и статьи Все статьи Все блоги /
Оказывается, 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 и то, что с ним. . .	Сам себя обучал rest api anaschu 02.07.2026 Педагогический лайфхак: Почему чистый REST API для ученика намного круче, чем готовые библиотеки Когда мы отказались от капризного JAR-файла AnyLogic и переписали код на стандартный HttpClient,. . .

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

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