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

@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

Новые блоги и статьи Все статьи Все блоги /
сукцессия 29. Переход от одних деревьев на другие делать более или менее вероятностным? anaschu 12.07.2026 Насколько смена типов микоризы — исключительное событие в двухвековой сукцессии? Оценка вероятности в пространстве параметров В текущей версии модели успешно реализован ключевой механизм. . .	сукцессия 27. Думаю, как переделывать уже написанную статью с планами на сукцессию. anaschu 12.07.2026 Анализ соответствия модели требованиям Реализованные компоненты: Механизм закисления почвы через протонную помпу Конкуренция между типами микориз pH как триггер сукцессии C/ P соотношение. . .	Сукцессия 26. Мат модель создана. anaschu 12.07.2026 Модель смены растительных сукцессий посредством управления грибами работает внутри небольшой ячейки почвы, восстанавливающейся после пожара, где ненадолго бывшее царство хвойных снова захватили. . .	Решил проблему с ошибкой пагинации сообщений с сервера на алгоритме обхода дерева "Эстафета хвоста". Hrethgir 12.07.2026 Проблема была в том, что удалялась именно новая кнопка, а не старая. Ни один ИИ не обнаружил это, а сам я смог только когда с работой стало попроще и когда заставил работать будущее автономное. . .
сукцессия 25. Хронология ошибок anaschu 12.07.2026 # От 50-тонного гриба до устойчивого леса: хроника ошибок при построении модели вековой сукцессии микоризы ## О чём эта статья В процессе построения ОДУ-модели (система дифференциальных. . .	сукцессия 24. Промежуточное общее описание модели anaschu 12.07.2026 Хендофф: модель АМ→ЭКМ сукцессии микоризы (ризосфера, 50 лет) Содержание проекта Симуляция вековой (50 лет) экологической сукцессии в почве леса Основные участники: АМ-гриб, ЭКМ-гриб,. . .	сукцессия 23. Более физиологичная физиология, более экологичная экология, более диффурные диффуры. anaschu 12.07.2026 Что реально нашли и починили за эти 5 часов Правило Линдемана (КПД конверсии сахара в тело, kEff) — раньше 100% полученного углерода шло прямо в биомассу гриба; теперь только kEff=0. 5 (после. . .	сукцессия 22. От артефактов к физиологии: калибровка агентной модели грибной сукцессии для воспроизведения сезонной динамики и pH-плато anaschu 11.07.2026 Аннотация В данной работе представлена калибровка агентной модели динамики грибных сообществ (fungal-succession), направленная на устранение нефизичных артефактов (коллапс биомассы, мгновенное. . .

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

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