Binding reference to a temporary

@rat0r · Регистрация: 16.02.2018

Студворк — интернет-сервис помощи студентам

Есть код

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include <iostream>
 
struct S {
    S()         { std::cout << __PRETTY_FUNCTION__ << '\n'; }
    S(const S&) { std::cout << __PRETTY_FUNCTION__ << '\n'; }
    ~S()        { std::cout << __PRETTY_FUNCTION__ << '\n'; }
};
 
int main(int argc, char*[])
{
    S s{};
    std::cout << __LINE__ << '\n';
    const S& rs = argc > 1 ? s : static_cast<const S&>(S{});
    std::cout << __LINE__ << '\n';
}

Если argc > 1 не выполняется, то вывод такой:

Code
1
2
3
4
5
6
S::S()
12
S::S()
S::~S()
14
S::~S()

temporary object создаётся и уничтожается в том же выражении. Почему ссылка не продлевает его время жизни?

@rat0r · 23.03.2018, 09:27 **[ТС]**

Сообщение от Undisputed

Вот та часть стандарта, которая описывает то, что такое temporary object для классовых типов:

Старая версия.
Сейчас `returning a prvalue` не должно приводить к созданию объекта. guaranteed copy elision типа.
Ну да ладно.

Сообщение от Undisputed

binding a reference to a prvalue так же нет

Есть

Сообщение от http://eel.is/c++draft/expr.static.cast#4

An expression e can be explicitly converted to a type T if there is an implicit conversion sequence from e to T, or if overload resolution for a direct-initialization of an object or reference of type T from e would find at least one viable function ([over.match.viable]).
If T is a reference type, the effect is the same as performing the declaration and initialization

T t(e);

for some invented temporary variable t ([dcl.init]) and then using the temporary variable as the result of the conversion.
Otherwise, the result object is direct-initialized from e.
[ Note: The conversion is ill-formed when attempting to convert an expression of class type to an inaccessible or ambiguous base class.
— end note
]

Сообщение от Undisputed

результат этого каста не подходит под определение "временный объект"

Но это выражение приводит к созданию временного объекта и ссылается на него.

Так или иначе, что с #13 делать?

Сообщение от Undisputed

Потому что берете ссылку на просроченный объект...

Как он успевает просрочиться до инициализации ссылки?

@Undisputed · 23.03.2018, 10:56

Сообщение от rat0r

Старая версия.

А где взять новую?

Это информация из драфта C++17
http://open-std.org/JTC1/SC22/... /n4567.pdf

Сообщение от rat0r

Сейчас `returning a prvalue` не должно приводить к созданию объекта. guaranteed copy elision типа.

Не очень понятно как это относится к текущему вопросу...

Сообщение от rat0r

Есть

Тоже не понятно, каким та цитата "перекрывает" обсуждаемые факты...

Сообщение от rat0r

Но это выражение приводит к созданию временного объекта и ссылается на него.

Понимаю что вы имеете ввиду, но думаю по определению стандарта этот самый объект не считается временным (если вы не согласны, отправьте плиз ссылку на стандарт, где сказано что результат lvalue выражения считается временным объектом).

Сообщение от rat0r

Так или иначе, что с #13 делать?

Можете уточнить? Просто плохо понимаю что вы подразумеваете под #13

Сообщение от rat0r

Как он успевает просрочиться до инициализации ссылки?

Так же как например тут:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
struct foo{int n = 100;};
 
const foo& getFoo()
{
    foo f;
    return f;
}
 
int main()
{
    const foo& f = getFoo();
    std::cout << f.n;
}

Думаю на самом деле не важно, объект будет просрочен до или после инициализации ссылки.
Важно то, что мы не можем использовать эту ссылку в связи с тем, что при обращении к этой ссылке в последующих вызовах будет доступ к протухшим данным...

@rat0r · 23.03.2018, 14:03 **[ТС]**

Сообщение от Undisputed

А где взять новую?

На https://isocpp.org/ можно

Сообщение от Undisputed

Не очень понятно как это относится к текущему вопросу...

Ну так я написал "ну да ладно". Типа не важно.

Сообщение от Undisputed

по определению стандарта этот самый объект не считается временным

Так объект создан при "binding a reference to a prvalue". По определению стандарта это временный объект.

Сообщение от Undisputed

результат lvalue выражения считается временным объектом

Временный объект или нет это зависит от способа его создания.

Сообщение от Undisputed

Просто плохо понимаю что вы подразумеваете под #13

Binding reference to a temporary

Сообщение от Undisputed

Так же как например тут:

Так static_cast это не вызов функции.

Сообщение от Undisputed

Важно то, что мы не можем использовать эту ссылку в связи с тем, что при обращении к этой ссылке в последующих вызовах будет доступ к протухшим данным...

Я вроде не использовал...

Новые блоги и статьи Все статьи Все блоги /
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025	Расскажи мне о Мире, бродяга kumehtar 12.11.2025 — Расскажи мне о Мире, бродяга, Ты же видел моря и метели. Как сменялись короны и стяги, Как эпохи стрелою летели. - Этот мир — это крылья и горы, Снег и пламя, любовь и тревоги, И бескрайние. . .