|
0 / 0 / 0
Регистрация: 31.07.2014
Сообщений: 24
|
||||||||||||||||
Имя массива в С++ это указатель или ссылка?12.06.2020, 14:18. Показов 12665. Ответов 133
Метки нет (Все метки)
Пытаюсь понять что такое имя массива в С++! Указатель или ссылка? Сразу скажу что пока рассматриваю только статические массивы.
Теория говорит что это указатель, собственно поэтому для имени массива применима арифметика указателей. Но! раз это указатель, то значит это переменная под которую компилятор выделил ячейку памяти в которой должен храниться адрес первого элемента массива arr[0]. Раз такая ячейка памяти есть то по идее можно узнать ее адрес так - &arr! К сожалению такой трюк не работает и получается что &arr==arr! Для меня это никак не укладывается под описание указателя. Попробовал выяснить по аналогии с простой переменной что такое указатель, а что такое ссылка! Вот простенький код для простой переменной и результат его выполнения: Кликните здесь для просмотра всего текста
Результат говорит о том что если переменная "b" - указатель на переменную "a", то переменная b находится в памяти по адресу &b и содержит значение адреса переменной a равное &a. Все вполне согласуется с теорией. Если же переменная "d" - ссылка на переменную "a", то для переменной b вроде как не выделяется памяти, по крайней мере собственного адреса в памяти для переменной d нет и операция &d дает лишь адрес переменной a. Если поступить аналогично с массивом? Кликните здесь для просмотра всего текста
Если объявить указатель pArr на массив arr, то видно что для pArr аналогично указателю простой переменной выделяется место в памяти с адресом &pArr в которой содержится адрес первого элемента массива arr[0]. Все как бы укладывается в мои представления. А что же с именем массива? Ведь утверждается что это указатель на 1й элемент этого массива arr[0]. Операция &arr дает адресс такой же как и у первого элемента массива, как будто нет никакого указателя а есть ссылка по аналогии с обычной переменной! Но почему же тогда для имени массива доступна арифметика указателя? для обычной ссылки такого ведь нет. В последнем примере все указатели имеют тип void* (не знаю насколько это корректно), поэтому думаю что корректней следующий код, но результат тот же самый! Имя массива как будто является ссылкой а не указателем. Кликните здесь для просмотра всего текста
У меня такое представление об указателях, что это переменная которая в памяти имеет собственное место т.е. имеет свой адрес и содержит адрес переменной на которую указывает. примерно как на следующем рисунке: Все же объясните что такое имя массива? указатель или ссылка? или у меня неправильное представление об этих вещах?
0
|
||||||||||||||||
| 12.06.2020, 14:18 | |
|
Ответы с готовыми решениями:
133
Указатель или ссылка на указатель. В чем разница? Указатель на константную строку и имя массива как указатель
|
|
248 / 70 / 9
Регистрация: 22.07.2018
Сообщений: 321
|
|||
| 12.06.2020, 18:06 | |||
|
Добавлено через 2 минуты
0
|
|||
|
Вездепух
13177 / 6813 / 1821
Регистрация: 18.10.2014
Сообщений: 17,238
|
||
| 12.06.2020, 18:13 | ||
sizeof(T[N]) == N * sizeof(T).
0
|
||
|
248 / 70 / 9
Регистрация: 22.07.2018
Сообщений: 321
|
||
| 12.06.2020, 18:16 | ||
|
0
|
||
|
19500 / 10105 / 2461
Регистрация: 30.01.2014
Сообщений: 17,818
|
||
| 12.06.2020, 18:17 | ||
|
0
|
||
|
6352 / 3523 / 1428
Регистрация: 07.02.2019
Сообщений: 8,995
|
|
| 12.06.2020, 18:19 | |
|
argcargv, есть "явное" упоминание об "одинаковости адресов"(хотя массив и его первый элемент не являются pointer-interconvertible). Правда оно в примечании, и это трудно назвать гарантией.
[ Note: An array object and its first element are not pointer-interconvertible, even though they have the same address. — end note ]
0
|
|
|
248 / 70 / 9
Регистрация: 22.07.2018
Сообщений: 321
|
|
| 12.06.2020, 18:21 | |
|
0
|
|
|
19500 / 10105 / 2461
Регистрация: 30.01.2014
Сообщений: 17,818
|
|
| 12.06.2020, 18:22 | |
|
zayats80888, он прекрасно знает об этой цитате.
Во-первых примечания - это не нормативная часть стандарта, поэтому не может рассматриваться в контексте гарантий. Во-вторых сама формулировка оставляет простор для "фантазии".
0
|
|
|
Вездепух
13177 / 6813 / 1821
Регистрация: 18.10.2014
Сообщений: 17,238
|
||
| 12.06.2020, 18:23 | ||
|
Тогда вам придется сначала определить такие понятия как "задом наперед". Что такое "задом наперед" и чем оно отличается от "не задом наперед"? "Задом наперед" - это против направления действия бинарного оператора + в адресной арифметике? И соответственно, возможно придется определить понятие "первый" в таких сочетаниях как "первый байт".
0
|
||
|
248 / 70 / 9
Регистрация: 22.07.2018
Сообщений: 321
|
||
| 12.06.2020, 18:23 | ||
|
Кликните здесь для просмотра всего текста
Заодно, что для массивов без элементов не может быть указателя на первый элемент.
0
|
||
|
19500 / 10105 / 2461
Регистрация: 30.01.2014
Сообщений: 17,818
|
||
| 12.06.2020, 18:27 | ||
|
0
|
||
|
248 / 70 / 9
Регистрация: 22.07.2018
Сообщений: 321
|
||
| 12.06.2020, 18:28 | ||
|
0
|
||
|
Вездепух
13177 / 6813 / 1821
Регистрация: 18.10.2014
Сообщений: 17,238
|
||
| 12.06.2020, 18:37 | ||
a[0]. (Поведение a[0] и a + 0 определяется через array-to-pointer conversion, а не наоборот). Так что никакой неоднозначности и недоговоренности тут нет и никогда не было - это указатель на первый байт представления массива в памяти.
0
|
||
|
248 / 70 / 9
Регистрация: 22.07.2018
Сообщений: 321
|
|
| 12.06.2020, 18:40 | |
|
0
|
|
|
0 / 0 / 0
Регистрация: 31.07.2014
Сообщений: 24
|
|||||||
| 12.06.2020, 18:49 [ТС] | |||||||
переменная "a" находится в памяти с адресом &a (обведено зеленым) и содержит число 5 указатель "pa" на переменную "a" также хранится в памяти по адресу &pa (обведено синим) и содержит значение адреса &a поэтому собственно я предполагал что и для массива по аналогии должно быть также, но получилось что все устроено по другому и возникла такая тема.
0
|
|||||||
|
19500 / 10105 / 2461
Регистрация: 30.01.2014
Сообщений: 17,818
|
||
| 12.06.2020, 19:02 | ||
|
я же вам в прошлой теме это наглядно показал. Добавлено через 4 минуты cahmep, вам говорят, что адрес - 006FF800 нигде не хранится специально, и это верно и для массива и для немассива. Но если вы решите сохранить его в отдельную переменную (например pa), то значение естественно будет храниться и у переменной будет уже свой адрес. И это тоже верно и для массива и для немассива. Что устроено по-другому-то?
1
|
||
|
Вездепух
13177 / 6813 / 1821
Регистрация: 18.10.2014
Сообщений: 17,238
|
||||||||||||
| 12.06.2020, 19:04 | ||||||||||||
pa в памяти. Поэтому он и хранится в памяти. Ваш указатель pa сам по себе не имеет никакого отношения к переменной a. Это просто посторонний указатель, который в данный момент просто "случайно" содержит адрес a. В следующий момент вы, возможно, запишете в него что-то совсем другое.Значение выражения &a в память само по себе помещать не было никакой насущной необходимости. В память его записали именно вы сами (в виде переменной pa).Точно так же обстоят дела и с массивами. Если вы напишете в своем коде
p, содержащая указатель на начало массива. Вы сами создали эту переменную p. И она не имеет никакого прямого отношения к массиву. Это просто посторонний указатель.А вот если вы напишете
arr[8] формально в какой-то момент тоже возникнет тот же самый указатель на начало массива. Однако в этом случае никто не пытается сохранять этот указатель на начало массива в памяти. Потому его в памяти и не будет.
1
|
||||||||||||
| 12.06.2020, 19:06 | |
|
Не по теме: TheCalligrapher, Я с вами и не спорил, наоборот, пытался вас поддержать(хотя я полный 0 в стандарте), мне массивы "задом наперёд" то же не нравятся :)
0
|
|
|
0 / 0 / 0
Регистрация: 31.07.2014
Сообщений: 24
|
|||
| 12.06.2020, 19:21 [ТС] | |||
|
покажите мне для статического массива тот указатель который хранится где-то в памяти (т.е. у него есть собственная ячейка памяти со своим адресом) и содержит в себе адрес нулевого элемента. Сами же писали что указатель получается как то неявно. Добавлено через 7 минут Т.е. фактически указатель как таковой не обязательно должен в памяти храниться? в чем же тогда его отличие от ссылки?
0
|
|||
|
Комп_Оратор)
|
|||
| 12.06.2020, 19:30 | |||
|
1
|
|||
|
Вездепух
13177 / 6813 / 1821
Регистрация: 18.10.2014
Сообщений: 17,238
|
||
| 12.06.2020, 19:31 | ||
|
0
|
||
| 12.06.2020, 19:31 | |
|
Помогаю со студенческими работами здесь
60
как такое правильно писать? это ссылка на указатель? Что лучше ссылка или указатель?
Как ускорить работу. Ссылка или указатель
Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |
|
Новые блоги и статьи
|
|||
|
Midnight Chicago Blues
kumehtar 24.03.2026
Такой Midnight Chicago Blues, знаешь?. .
Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .
|
Контроль уникальности заводского номера - вариант №2
Maks 24.03.2026
В отличие от предыдущего варианта добавлено прерывание циклов, также добавлены новые переменные для сохранения контекста ошибки перед прерыванием цикла:
Процедура ПередЗаписью(Отказ, РежимЗаписи,. . .
|
SDL3 для Desktop (MinGW): Вывод текста со шрифтом TTF с помощью библиотеки SDL3_ttf на Си и C++
8Observer8 24.03.2026
Содержание блога
Финальные проекты на Си и на C++:
finish-text-sdl3-c. zip
finish-text-sdl3-cpp. zip
|
Жизнь в неопределённости
kumehtar 23.03.2026
Жизнь — это постоянное существование в неопределённости. Например, даже если у тебя есть список дел, невозможно дойти до точки, где всё окончательно завершено и больше ничего не осталось. В принципе,. . .
|
|
Модель здравоСохранения: работники работают быстрее после её введения.
anaschu 23.03.2026
geJalZw1fLo
Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло.
Но на выплатах по больничным это. . .
|
Контроль уникальности заводского номера - вариант №1
Maks 23.03.2026
Алгоритм контроля уникальности заводского (или серийного) номера на примере документа выдачи шин для спецтехники с табличной частью в КА2. Данные берутся из регистра сведений, по которому настроено. . .
|
Хочу заставить корпорации вкладываться в здоровье сотрудников: делаю мат модель здравосохранения
anaschu 22.03.2026
e7EYtONaj8Y
Z4Tv2zpXVVo
https:/ / github. com/ shumilovas/ med2. git
|
Программный отбор элементов справочника по группе
Maks 22.03.2026
Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа в КА2.
В качестве фильтра для отбора справочника служит группа номенклатуры.
Отбор по наименованию. . .
|