Имя массива может может служить указателем. Можно проверить, какой размер занимает указатель( по сути имя массива ). cout << sizeof(&arr) << endl; или cout << sizeof(arr+0) << endl; Но раз указатель занимает 4 или 8 байт ( в зависимости от конфигурации x64 или x84 ), то у него должен появляться какой-то адрес, у самого указателя. Вопрос: как получить этот адрес? Этот адрес должен же быть отличным от адресов элементов массива, т.к. это указатель, если проводить аналогию. Или для массива адрес указателя( его имени ) вывести на экран нельзя??? Но он же есть, раз занимает какое-то место в памяти. Вопрос именно по c++.
1 ответ
Указатель, получающийся из массива неявным преобразованием, вычисляется на месте. До преобразования он не существует и нигде не хранится.
Это временный объект prvalue, поэтому он даже объектом не считается, и у него нет адреса. Точно так же, как у (не строковых) литералов вроде 42
.
С prvalue можно сделать две вещи:
Им можно инициализировать объект (т. е. указатель), например так:
int a[42]; int *b = a;
. Тогда адресa
напрямую записывается вb
, и никакой временный указатель не создается.Его можно материализовать (temporary materialization) во временный объект, в xvalue.
Компилятор не дает напрямую взять адрес xvalue, но это искусственное ограничение. Можно сделать rvalue-ссылку на него, и взять адрес у ссылки:
#include <iostream>
int **foo(int *&&ptr) {return &ptr;}
int main()
{
int a[42];
std::cout << a << '\n';
std::cout << foo(a) << '\n';
}
Я получил 0x7fff4ac52380
0x7fff4ac52378
, т. е. временный указатель оказался на стеке рядом с массивом.
-
Спасибо. Действительно хороший ответ, даже что-то излишне для меня, но буду знать, что такое есть. Но у меня остался вопрос. Я не до конца понимаю, как работает эта функция. А именно зачем здесь двойной указатель ** и как он тут отрабатывает и почему два & в *&&ptr. С *& сталкивался, а с таким ещё нет.– kosmpCommented 11 авг. 2021 в 19:55
-
1@kosmp Угу, С++ сложный стал, более простое объяснение было бы неправильным. "зачем здесь двойной указатель **" Ну, мы же хотим адрес указателя. Просто указатель на int - одна звездочка, указатель на указатель - две. "почему два &" Это называется rvalue-ссылка. Чем-то похоже на обычную ссылку, но в комментариях быстро не объяснить. В принципе тут можно было бы написать
int *const &ptr
, тоже бы сработало. Commented 11 авг. 2021 в 20:01 -
С int *const &ptr работал. А благодаря ** мы можем получить адрес или как? Есть краткое объяснение какое-то? А то в комментах тут много писанины будет.– kosmpCommented 11 авг. 2021 в 20:04
-
1@kosmp Нуу, я уже попробовал коротко объяснить, не знаю как еще.
int **
- это "указатель на указатель на int". Вы же хотите адрес указателя (указатель на указатель), а не адрес какого-то элемента массива. Commented 11 авг. 2021 в 20:07 -
5
или там3.1415926
. Это значениеint
(double
). Но раз такое значение занимает 4 или 8 байт, то у него должен быть какой-то адрес? Какой адрес у значения5
? Вот примерно так и вы спрашиваете...