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

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

Студворк — интернет-сервис помощи студентам

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

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

DrOffset, и выведет он соответственно начальный адресс этого массива?

Добавлено через 1 минуту
Croessmah, в Foo уйдёт указатель int (*) [20]

@DrOffset · 19.02.2020, 09:50

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

Первого элемента в массиве?

Да.
То, что адрес самого массива и адрес первого элемента массива, и первого элемента первого подмассива совпадают численно - это всего лишь деталь реализации. Концептуально - это разные адреса, потому что все три - это разные объекты. И говорить о них надо как о разных адресах.

@ReYalp · 19.02.2020, 09:53 **[ТС]**

DrOffset, вот эта та самая часть которая меня запутала, если вернутся к тому примеру с которого все началось int arr[10][20] cout<<arr и cout << &arr в первом случае выводится начальный адресс первого подмассива, а во втором всего массива, верно? Если это так то вроде как все прояснилось, спасибо

@DrOffset · 19.02.2020, 09:54

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

int arr[10][20] cout<<arr и cout << &arr в первом случае выводится начальный адресс первого подмассива, а во втором всего массива, верно? Если это так то вроде как все прояснилось, спасибо

Верно.

@Azazel-San · 19.02.2020, 09:58

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

sizeof(arr[0]) - это sizeof(double[20]), а не sizeof(double(*)[20])

Мы же изначально говорили о arr + 1 )
Мне просто не стоило брать sizeof, ибо тогда получается размер указателя, но я неявно имел ввиду, что там должно было быть ещё разыменование до double[20]. Чтобы получился sizeof(arr[0]).

Ну и да, должно было быть sizeof(*parr)

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

То, что адрес самого массива и адрес первого элемента массива, и первого элемента первого подмассива совпадают численно - это всего лишь деталь реализации. Концептуально - это разные адреса, потому что все три - это разные объекты. И говорить о них надо как о разных адресах.

rat0r, тогда таки был прав что это UB)

@DrOffset · 19.02.2020, 11:15

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

Мне просто не стоило брать sizeof, ибо тогда получается размер указателя, но я неявно имел ввиду, что там должно было быть ещё разыменование до double[20]. Чтобы получился sizeof(arr[0]).

Тут все проще, массив не преобразуется к указателю в том контексте. Поэтому разыменование не требуется.

@Mimilun · 19.02.2020, 13:03

Правильно ли я все понял?
1. int arr [2][5] - это два массива по 5-ть элементов.
2. &arr - это адресс всего объекта (два массива по 5-ть элементов)
3. arr - адрес первого из 2-х массивов.
4. arr + 1 - адрес 2-го массива.
5. * arr - адрес 1-го элемента 1-го массива.
6. (*arr) + 1 - адрес 2-го элемента 1-го массива.
7. *(arr + 1) - адрес 1-го элемента 2-го массива.
8. *(* arr) - содержимое 1-го элемента 1-го массива.
9. *((* arr)+1) - содержимое 2-го элемента 1-го массива.
10.*(*(arr+1)) - содержимое 1-го элемента 2-го массива.
Какие пункты не верны?

@DrOffset · 19.02.2020, 13:18

3 - это не адрес, это сам объект. Участвуя в некоторых типах выражений, выражение arr может приводиться к указателю.
А вот
4 - это адрес, потому что результат сложения с единицей - это указатель. А выражение из №3 как раз поставлено в такой контекст, когда оно будет сконвертировано в указатель..
Про 5 и 6 все тоже самое, что описано выше про 3 и 4.

Остальное верно.

@ReYalp · 19.02.2020, 13:29 **[ТС]**

DrOffset, вся проблема была в том что понять что массив может быть объектом слегка трудновато, если Вы приводили в качестве примера double, его можно передать в функцию по значению что с массив ом нельзя сделать (кстати это из-за того что копирование массивов не разрешается?), есть кстати какой-то толк от передачи массива по ссылке? Ередача по ссылке для массивов сделана для того чтобы передали конкретно массив, или чтобы размерность уточнить?

@DrOffset · 19.02.2020, 13:47

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

(кстати это из-за того что копирование массивов не разрешается?)

Да, это особенность унаследованная из Си.

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

есть кстати какой-то толк от передачи массива по ссылке?

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

@ReYalp · 19.02.2020, 13:49 **[ТС]**

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

@DrOffset · 19.02.2020, 13:50

ReYalp, да

@TRam_ · 19.02.2020, 14:10

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

@DrOffset · 19.02.2020, 14:16

Пример использования: https://en.cppreference.com/w/cpp/iterator/end

@argcargv · 19.02.2020, 18:33

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

То, что адрес самого массива и адрес первого элемента массива, и первого элемента первого подмассива совпадают численно - это всего лишь деталь реализации. Концептуально - это разные адреса, потому что все три - это разные объекты. И говорить о них надо как о разных адресах.

А то, что сравнение на равенство указателя на массив с указателем на его первый элемент или указателя на standard-layout struct с указателем на первый мембер этой структуры даёт true — это тоже деталь реализации?

@TRam_ · 19.02.2020, 18:34

argcargv, да. Причём такое бывает не для любых структур. Если объявишь в структуре виртуальную функцию - адреса уже будут различаться.

@Undisputed · 19.02.2020, 18:58

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

А то, что сравнение на равенство указателя на массив с указателем на его первый элемент

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

даёт true

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

C++
1
2
3
4
5
6
7
8
9
#include <iostream>
 
int main()
{
    int arr[] = {1,2,3};
    int *p = arr; // указатель на первый элемент массива
    int (*aP)[3] = &arr; // указатель на массив
    std::cout << (p == aP); // ошибка компиляции
}

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

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

ли указателя на standard-layout struct с указателем на первый мембер этой структуры даёт true

аналогично несравнимые

C++
1
2
3
4
5
6
7
8
9
10
11
12
struct sls
{
    int a;
    int b;
};
 
int main()
{
    sls *p1 = new sls;
    int *p2 = &p1->a;
    std::cout << (p1 == p2);
}

т.е адреса может и одинаковые, но с точки зрения типов это несравнимые вещи

@ReYalp · 19.02.2020, 19:17 **[ТС]**

Undisputed, он наверное имеет ввиду что-то такое (void*) &arr == (void*) arr

@Undisputed · 19.02.2020, 19:25

Не по теме:

ReYalp,
Он написал указатель на массив и указатель на первый элемент массива.
Это вполне конкретные понятия.

@argcargv · 19.02.2020, 20:19

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

Это вполне конкретные понятия.

И от каста к void* указатель на массив не перестаёт быть указателем на массив. Вполне канкретно в стандарте написано.

Новые блоги и статьи Все статьи Все блоги /
Часы электронные Uhbif79 12.08.2026 Выкладываю программу часов. Программа позволяет: 1. Использовать системное время и дату, 2. Есть возможность вводить время и дату вручную. 3. Реализованы 2 будильника: начало и конец рабочего дня. . . .	Часы с будильником на основе класса QLCDNumber Uhbif79 12.08.2026 Всем добрый день, выкладываю программу часов с будильником на основе класса QLCDNumber. Здесь я пробовал самостоятельно создавал классы, впервые столкнулся с видимостью переменной одного класса из. . .	Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия	Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .
Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .	Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .

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

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

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 09:50 [ТС]
	DrOffset, и выведет он соответственно начальный адресс этого массива? Добавлено через 1 минуту Croessmah, в Foo уйдёт указатель int (*) [20] 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 09:53 [ТС]
	DrOffset, вот эта та самая часть которая меня запутала, если вернутся к тому примеру с которого все началось int arr[10][20] cout<<arr и cout << &arr в первом случае выводится начальный адресс первого подмассива, а во втором всего массива, верно? Если это так то вроде как все прояснилось, спасибо 0

@Mimilun 92 / 65 / 27 Регистрация: 23.01.2020 Сообщений: 156
	19.02.2020, 13:03
	Правильно ли я все понял? 1. `int arr [2][5]` - это два массива по 5-ть элементов. 2. `&arr` - это адресс всего объекта (два массива по 5-ть элементов) 3. `arr` - адрес первого из 2-х массивов. 4. `arr + 1` - адрес 2-го массива. 5. `* arr` - адрес 1-го элемента 1-го массива. 6. `(arr) + 1` - адрес 2-го элемента 1-го массива. 7. `(arr + 1)` - адрес 1-го элемента 2-го массива. 8. `( arr)` - содержимое 1-го элемента 1-го массива. 9. `(( arr)+1)` - содержимое 2-го элемента 1-го массива. 10.`((arr+1))` - содержимое 1-го элемента 2-го массива. Какие пункты не верны? 0

@DrOffset 19505 / 10108 / 2463 Регистрация: 30.01.2014 Сообщений: 17,828
	19.02.2020, 13:18
	`3` - это не адрес, это сам объект. Участвуя в некоторых типах выражений, выражение `arr` может приводиться к указателю. А вот `4` - это адрес, потому что результат сложения с единицей - это указатель. А выражение из №3 как раз поставлено в такой контекст, когда оно будет сконвертировано в указатель.. Про `5` и `6` все тоже самое, что описано выше про 3 и 4. Остальное верно. 1

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 13:29 [ТС]
	DrOffset, вся проблема была в том что понять что массив может быть объектом слегка трудновато, если Вы приводили в качестве примера double, его можно передать в функцию по значению что с массив ом нельзя сделать (кстати это из-за того что копирование массивов не разрешается?), есть кстати какой-то толк от передачи массива по ссылке? Ередача по ссылке для массивов сделана для того чтобы передали конкретно массив, или чтобы размерность уточнить? 0

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

@DrOffset 19505 / 10108 / 2463 Регистрация: 30.01.2014 Сообщений: 17,828
	19.02.2020, 13:50
	ReYalp, да 1

@TRam_ зомбяк 1585 / 1219 / 345 Регистрация: 14.05.2017 Сообщений: 3,940
	19.02.2020, 14:10
	ReYalp, но не забывай, что либо придётся на каждый размер массива делать свою функцию обработки, либо шаблоном нагенерировать параметризации на все используемые размеры. 1

@DrOffset 19505 / 10108 / 2463 Регистрация: 30.01.2014 Сообщений: 17,828
	19.02.2020, 14:16
	Пример использования: https://en.cppreference.com/w/cpp/iterator/end 1

@TRam_ зомбяк 1585 / 1219 / 345 Регистрация: 14.05.2017 Сообщений: 3,940
	19.02.2020, 18:34
	argcargv, да. Причём такое бывает не для любых структур. Если объявишь в структуре виртуальную функцию - адреса уже будут различаться. 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 19:17 [ТС]
	Undisputed, он наверное имеет ввиду что-то такое (void) &arr == (void) arr 0

@Undisputed
	19.02.2020, 19:25
	Не по теме: ReYalp, Он написал указатель на массив и указатель на первый элемент массива. Это вполне конкретные понятия. 0