1

Имя массива может может служить указателем. Можно проверить, какой размер занимает указатель( по сути имя массива ). cout << sizeof(&arr) << endl; или cout << sizeof(arr+0) << endl; Но раз указатель занимает 4 или 8 байт ( в зависимости от конфигурации x64 или x84 ), то у него должен появляться какой-то адрес, у самого указателя. Вопрос: как получить этот адрес? Этот адрес должен же быть отличным от адресов элементов массива, т.к. это указатель, если проводить аналогию. Или для массива адрес указателя( его имени ) вывести на экран нельзя??? Но он же есть, раз занимает какое-то место в памяти. Вопрос именно по c++.

5
  • 1
    Указатель на указатель работает так же, как указатель, например, на int. Если вы записали указатель в память, можете получить его адрес через операцию &. Commented 11 авг. 2021 в 15:17
  • Не стоит называть имя переменной именем массива. В определенных контекстах массив может быть неявно преобразован в указатель на первый элемент. Этот указатель будет являться новым временным объектом. С/C++ не допускают взятие адреса у временных объектов. Однако никто не мешает вам сохранить этот временный указатель в переменную и проверить ее адрес. Commented 11 авг. 2021 в 15:17
  • @user7860670 Про временный указатель хорошо сказано, но как получить адрес хотя бы временного, мне бы фрагмент кода, если не сложно. И сколько вообще указатель этот будет жить? Поменяется ли адрес потом? Я понимаю, что вопрос странный и может не нужный.
    – kosmp
    Commented 11 авг. 2021 в 15:39
  • Я же написал, С/C++ не допускают взятие адреса у временных объектов. Однако никто не мешает вам сохранить этот временный указатель в переменную и проверить ее адрес. Commented 11 авг. 2021 в 15:41
  • Понимаете, это как вот написали вы литерал - скажем, 5 или там 3.1415926. Это значение int (double). Но раз такое значение занимает 4 или 8 байт, то у него должен быть какой-то адрес? Какой адрес у значения 5? Вот примерно так и вы спрашиваете...
    – Harry
    Commented 11 авг. 2021 в 17:02

1 ответ 1

3

Указатель, получающийся из массива неявным преобразованием, вычисляется на месте. До преобразования он не существует и нигде не хранится.

Это временный объект 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, т. е. временный указатель оказался на стеке рядом с массивом.

20
  • Спасибо. Действительно хороший ответ, даже что-то излишне для меня, но буду знать, что такое есть. Но у меня остался вопрос. Я не до конца понимаю, как работает эта функция. А именно зачем здесь двойной указатель ** и как он тут отрабатывает и почему два & в *&&ptr. С *& сталкивался, а с таким ещё нет.
    – kosmp
    Commented 11 авг. 2021 в 19:55
  • 1
    @kosmp Угу, С++ сложный стал, более простое объяснение было бы неправильным. "зачем здесь двойной указатель **" Ну, мы же хотим адрес указателя. Просто указатель на int - одна звездочка, указатель на указатель - две. "почему два &" Это называется rvalue-ссылка. Чем-то похоже на обычную ссылку, но в комментариях быстро не объяснить. В принципе тут можно было бы написать int *const &ptr, тоже бы сработало. Commented 11 авг. 2021 в 20:01
  • С int *const &ptr работал. А благодаря ** мы можем получить адрес или как? Есть краткое объяснение какое-то? А то в комментах тут много писанины будет.
    – kosmp
    Commented 11 авг. 2021 в 20:04
  • 1
    @kosmp Нуу, я уже попробовал коротко объяснить, не знаю как еще. int ** - это "указатель на указатель на int". Вы же хотите адрес указателя (указатель на указатель), а не адрес какого-то элемента массива. Commented 11 авг. 2021 в 20:07
  • Ага. Потом поподробнее узнаю про ** Спасибо за помощь
    – kosmp
    Commented 11 авг. 2021 в 20:13

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.