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

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

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

Новые блоги и статьи Все статьи Все блоги /
Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .	Родители токсичные абьюзеры по отношению к своим детям ругают их оскорбляют не любят zorxor 08.11.2026 Жить в атмосфере постоянных оскорблений, критики и холодности со стороны родителей — это тяжелое и болезненное испытание, которое оставляет глубокие эмоциональные раны. Токсичное и абьюзивное. . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .
Проверка полного ФИО в типовом справочнике Maks 07.11.2026 Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .	Про "Windows must die!" kumehtar 04.11.2026 Знаете, чет накатило. . . . Когда-то это было почти боевым кличем: мол, нормальный человек сидит на DOS, OS/ 2 или Linux, а вот это вот - Must Die. А теперь человек произносит «мастдай» с усмешкой - и. . .	Красочные поля с номером страницы svg+background-image russiannick 04.11.2026 Красочные поля с номером страницы не менее важны чем в эпоху бумажных книг. Посему спешу представить почтеннейшей публике этот важный инструмент который эти поля и формирует. В процессе разработки. . .	Вступаем в новую фазу генерации favicons, векторную. russiannick 02.11.2026 Теперь нет нужды скрывать что используется простой svg. Исходный код изображения помещаем в поле и жмем кнопку. Исходник преобразуется в вид корректный для помещения в favicon или в url(). Нажатие. . .