Не могу понять хранится ли ссылка в принципе в памяти? Смущает тот момент, что мы ее объявляем - а это значит, что технически мы резервируем под нее место в памяти. С другой стороны не инициализированных ссылок не бывает.
-
Пожалуйста, уточните вашу конкретную проблему или приведите более подробную информацию о том, что именно вам нужно. В текущем виде сложно понять, что именно вы спрашиваете.– Дух сообщества БотCommented 10 сент. 2021 в 10:10
-
И что вас здесь смущает? В любом случае для данных нужна память, в которой они будут храниться, будь то stack, heap или где-то еще.– Daniel ProtopopovCommented 10 сент. 2021 в 10:20
-
5"а это значит, что технически мы резервируем под нее место в памяти" - ничего подобного, ссылки не являются объектами, соответственно под них не обязательно выделяется место для хранения. А если оно и выделяется, то не обязательно доступное для пользователя. В данном случае взятие адреса берет адрес объекта, а не ссылки. Также не следует приводить текст картинкой.– user7860670Commented 10 сент. 2021 в 10:25
2 ответа
Если сократить ответы на аналогичный вопрос на en-SO, дела обстоят так:
- Стандарт языка только описывает, как ссылка должна себя вести.
- Из п. 0 следует, что конкретная реализация ссылки полностью лежит на плечах разработчика компилятора, он может разворачивать ссылки на этапе компиляции (то есть, заменять их на то, куда они ссылаются), если у него это получится, а может и хранить их явно в памяти
- Если компилятор избрал явное хранение ссылки в памяти, она займет столько же места, сколько указатель. Но это не точно - см. п. 1.
Переменная int a ;
с автоматическим местом хранения. Это значит, что если берётся адрес переменной и передаётся другой функции, то компилятор выделит место в памяти под своё усмотрение и передаст адрес. Если компилятору нет необходимости для выделения памяти этой переменной, то вполне без выделения памяти он этот код сделает.
У переменной типа ссылка программист не имеет права взять его адрес. А если попытается, то получит адрес куда указывает эта ссылка. То-есть расположение ссылки в памяти полностью зависит от компилятора. Он может хранить в стеке, в глобальной константной переменной (адреса ссылки), или вшитыми адресами в коде.
int a = 5;
int & aref = a ;
Если вы попытаетесь вывести на экран адрес переменной a
, то этой переменной выделиться место в стеке. А если выводите адрес ссылки, то выведится адрес этой-же переменной a
. Место куда хранить ссылку не понадобиться. И скорее всего эта ссылка будет служить просто синонимом переменной a
.
-
В программе ТС (по крайней мере откомпилированной g++) никакой памяти под ссылку выделено не будет. Кстати, рассматривать ссылки как синонимы это совершенно правильно, именно так и следует всегда (ну, в большинстве случаев) поступать– avpCommented 10 сент. 2021 в 10:57
-
Есть обязательные условия для выделения памяти, это структура.
struct { int & l ; } ;
- место для ссылки будет. @avp Так-что слово понадобиться не зря написал. Commented 10 сент. 2021 в 11:02 -
@AlexGlebe к сожалению, вы ошибаетесь - Clang может выкинуть в том числе и структуру - godbolt.org/z/d9P6Yq6er– gbgCommented 10 сент. 2021 в 11:07
-
-
1@AlexGlebe все же, структурой он не пользуется - он сразу кладет в eax константу 42.– gbgCommented 10 сент. 2021 в 11:14