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

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

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

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

@Undisputed · 19.02.2020, 20:24

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

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

Уверены? Как я понял вы имеете ввиду вот это

A prvalue of type “pointer to cv T”, where T is an object type, can be converted to a prvalue of type “pointer to cv void”. The pointer value (6.7.2) is unchanged by this conversion.

Но здесь не сказано что полученный указатель будет указетелем на массив. Поправьте если ошибаюсь.
В выделенной части видно что новый тип будет pointer to cv void а не pointer to cv T где Т - тип массива.

@ReYalp · 19.02.2020, 20:42 **[ТС]**

Undisputed, какое условие равенства указателей? Они должны указывать на один и тот же участок?

@Undisputed · 19.02.2020, 20:59

ReYalp,
Да, они должны указывать на один и тот же участок памяти (точнее, они должны иметь одинаковое значение). Например если указатели имеют значение nullptr, то они так же будут равны хоть и не указывают на какой либо участок памяти. Но равенство значений не единственное условие. Так же их типы должны быть такими что бы их вообще можно было сравнивать.

@ReYalp · 19.02.2020, 21:03 **[ТС]**

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

@argcargv · 19.02.2020, 22:08

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

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

The pointer value (6.7.2) is unchanged by this conversion

@ReYalp · 19.02.2020, 22:44 **[ТС]**

argcargv, значение на которое он указывает - не меняется, но сам указатель же меняется

Добавлено через 23 минуты
argcargv, Конвертирование имени массива в void * или применение к нему == тоже приводит к предварительному преобразованию этого имени в указатель на первый элемент

@argcargv · 20.02.2020, 13:37

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

значение на которое он указывает - не меняется, но сам указатель же меняется

Не знаю, кто такой "сам указатель".

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

argcargv, да.

Нет.

@TRam_ · 20.02.2020, 14:11

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

Нет.

В стандарте не оговаривается способ выравнивания полей структур. Так что да, то что адрес объекта типа POD и первого поля этого объекта совпал - частный случай, хотя и выполняющийся на подавляющем большинстве компиляторов (ибо выравнивание проводят по последним байтам, а не по первым).

Croessmah · 20.02.2020, 14:34

TRam_, https://eel.is/c++draft/class.mem#26

Новые блоги и статьи Все статьи Все блоги /
Из невошедшего на форум (диалог с ИИ-гугла) zorxor 29.07.2026 А вот, что интересно, сказал мне ИИ-гугла: Этот текст — эмоциональный пост пользователя под ником zorxor на интернет-форуме (вероятно, посвященном мистике, непознанному или альтернативной науке). . . .	Был праздник вчера, а я и не знал. kumehtar 28.07.2026 27. 07. 2026г. Intel Core 2 Duo исполнилось 20 лет Новости компьютерного мира и их обсуждение (4) Салют, шампанское, овации! :drink:	Нейтральные знания, чистый код - бла-бла-бла-бла, на самом деле кликбейт и самореклама, плагиат, и вот почему Hrethgir 27.07.2026 То-есть отклонение такой публикации говорит само за себя, и пусть только возьмут на вооружение после отклонения публикации - это будет чистейшим актом плагиата. Отклонял Хабр. Дословно, отклонённая. . .	тв 16 бой ии anaschu 27.07.2026 Великий Перелом ИИ: Как уравнения ОДУ Radau дожали цензурные фильтры Алисы Фиксируем в мемофонде Теории Всего беспрецедентный факт в истории ИИ-зондирования. В затяжном многораундовом. . .
мв 15. непроверенное, возможно, глюк anaschu 27.07.2026 НАУЧНО-АНАЛИТИЧЕСКИЙ ОТЧЕТ. РАЗДЕЛ 1. 1: «НАУКА» (РАСШИРЕННАЯ СТЕХИОМЕТРИЧЕСКАЯ И ГЕНЕТИЧЕСКАЯ ВЕРСИЯ)Тема: Теоретическое обоснование инвариантности 19-мерного тензорного ядра непрерывных ОДУ и. . .	Очистка реквизитов и табличных частей документа при копировании (вариант 2) Maks 26.07.2026 Алгоритм из решения ниже разработан на примере нетипового документа "ЗаявкаНаРаботу", разработанного в КА2. Задача: Заменить алгоритм запрета копирования документов для сотрудников с ролью "Стажер",. . .	Доктрина интенционального знания - Доктрина для портала "Срез". Hrethgir 25.07.2026 Может найдётся кто захочет оценить доктрину. . . Написания правил участия для меня роскошь, требующая лимита времени, поэтому все сообщения не прошедшие модерацию будут видны только участникам портала,. . .	сукцессия 44. Решил подать на припринт в межународные сервисы препринтов. Но нужно одобрение от ученых anaschu 25.07.2026 Английский вариант. Пока кто то не одобрит мою личность, мне не получиться это опубликовать на препринте. Но заявку на публикацию статьи я сегодня подам.

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

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

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 20:42 [ТС]
	Undisputed, какое условие равенства указателей? Они должны указывать на один и тот же участок? 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	19.02.2020, 20:59
	ReYalp, Да, они должны указывать на один и тот же участок памяти (точнее, они должны иметь одинаковое значение). Например если указатели имеют значение nullptr, то они так же будут равны хоть и не указывают на какой либо участок памяти. Но равенство значений не единственное условие. Так же их типы должны быть такими что бы их вообще можно было сравнивать. 0

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

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	19.02.2020, 22:44 [ТС]
	argcargv, значение на которое он указывает - не меняется, но сам указатель же меняется Добавлено через 23 минуты argcargv, Конвертирование имени массива в void * или применение к нему == тоже приводит к предварительному преобразованию этого имени в указатель на первый элемент 0

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,038 Записей в блоге: 1
	20.02.2020, 14:34
	TRam_, https://eel.is/c++draft/class.mem#26 1