Когда удалится const — псевдоним в функции?

Question

[sddvxd]

Добрый день!

void func(int&); //Увеличить на 1 входящее значение
//...
func(1); //Попытка инициализировать ссылку, которая сразу же станет "битой"

Соглашусь с компилятором - написан действительно бред, но почитав книгу нашел порядок инициализации псевдонима:

1. Во-первых, если необходимо, применяется преобразование типа (в нашем случае int(1))
   
2. затем значение помещается во временную переменную
   
3. наконец, адрес этой переменной используется в качестве инициализатора псевдонима (ссылки)
   

Выходит, сначала выделяется память для int(1), все могли бы жить счастливо, но объект сразу должен удалится (поскольку он временный). И поэтому компилятор заставляет описать псевдоним как константу. Там-же написано, что если сделаем так:

void func(const int&); //Увеличить на 1 входящее значение

То с константой не будет никаких проблем и не будет ничего удаляться. Суть вопроса: если не создается временный объект в данном случае, то как долго будет жить const int& в функции и почему выражение

const double& d = 1;

имеет разрешение на компиляцию

Comments

[sddvxd]

Чуть чуть нарыл информации: Компилятору известно, какой размер и объем информации должен занимать константный объект, поэтому для него не нужно выделять память. Может быть это и решение, хотя я не уверен

Answer 1

[Станислав Макаров]

Эта фича называется продлением жизни временных объектов при инициализации ими константной ссылки.
Подробно: https://herbsutter.com/2008/01/01/gotw-88-a-candid...

Comments

[sddvxd]

большое спасибо