Продление жизни rvalue 2

Продление жизни rvalue

Опять 25... У rvalue нет (времени) жизни, это класс выражений. Время жизни есть у объектов.

S &&s = static_cast<S>(Q), при наличии у Q operator S() - так делать нельзя? Бредом попахивает, но к чему эти слов про user-defined conversion.

Я думаю, ты пропустил скобки после Q: S &&s = static_cast<S>(Q{}).

В процитированном тобой написано про каст glvalue operand to a glvalue. Каст к не-ссылке это не glvalue, а prvalue:

http://eel.is/c++draft/expr.static.cast#1.sentence-2

If T is an lvalue reference type or an rvalue reference to function type, the result is an lvalue; if T is an rvalue reference to object type, the result is an xvalue; otherwise, the result is a prvalue.

Это prvalue при инициализации ссылки материализуется (http://eel.is/c draft/conv.rval) и время жизни созданного объекта продлевается согласно первого подпункта («a temporary materialization conversion»).

Спасибо, кажется начинаю понимать. Смешалось всё в голове, да текст в стандарте очень дружелюбный.

Это prvalue при инициализации ссылки материализуется

Всех одёргиваю, а сам пишу бред.

Конечно же материализуется объект, а не prvalue.

Я вот чего подумал: cppreference говорят, что жизнь продливается при привязке к сылке «temporary». А что такое эта «temporary»? Какая связь с lvalue и прочими категориями выражений имеется? Раньше я думал, что временный объект это полученный от prvalue, а теперь прогнал такой пример

struct T { ~T() { cout << "destruct\n";} };
int main() {
   const T& r = static_cast<const T&>(T{});
   cout << "---------\n";
}

писец вы утомили, r это ссылка, объект T живет до области видимости

Ну оно понятно )), я о том, что в самом стандарте не очень понятно что такое временный объект (получил ведь я его из lvalue выражения, после этого он ещё временный?). Ну и х. с ним, что-то я сильно заморочился. Можно придумать что-нибудь более реалистичное:

const int &f(const int &r) {return r;}
const int &q = f(4);

в асм чаще заглядывайте и пытайтесь понять головой как и что по вашему должен здесь сделать компилятор

Я туда и так слишком часто смотрю. Кстати, я вполне здравый вопрос задал, вот смотрите - вот вам и грабли:

struct T { ~T() { cout << "destruct\n";} };
const T &f(const T &r) {return r;}
int main()
{
   const T &q = f({});
   cout << "---------\n";
}
// cout:
// destruct
// ---------

const int &f(const int &r) {return r;}
const int &q = f(4);

UB

он не идентичен, здесь области видимости объекта это функция

Тогда и const T& r = static_cast<const T&>(T{}) должен быть ЮБ. Это одинаковые примеры по своей сути.

a temporary bound to a reference parameter in a function call exists until the end of the full expression containing that function call

кому одинаковые кому нет, нет здесь УБ

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

Я вот чего подумал: cppreference говорят, что жизнь продливается при привязке к сылке «temporary». А что такое эта «temporary»?

Было такое неаккуратное словоупотребление в стандарте. Просто «temporary», «temporary object» и «temporary expression». Под «temporary» понимался обычно «temporary object», под «temporary expression» — prvalue.

P0727 заменил «temporary» на «temporary object», а словосочетание «temporary expression» — кандидат на удаление.

Наверное на temporary materialization завязано.

Да. Каст к ссылочному типу prvalue-аргумента приводит к temporary materialization.

Стоит помнить, что temporary materialization conversion появилось в C++17, вместе со сменой определений для Zvalues, для реализации так называемого guaranteed copy elision.

в самом стандарте не очень понятно что такое временный объект

http://eel.is/c draft/class.temporary#1

static_cast это не «a function call».

UB

Нет.

ну давайте запустите на гцц и кланге и расскажите мне какой результат

Давай ты по пунктам в стандарте покажешь, что тут UB.

давайте не компилируя вы мне расскажите какой будет результат ?

Что такое «результат»? Вывод на консолечку?

да какая разница, на какое число будет результирующая ссылка ?

В const int &q = f(4);, после точки с запятой q станет ссылкой на дохлый объект, если ты это хотел услышать.

понятно, то есть q мы поиспользовать уже не сможем ?
компиляторы считают по другому

понятно, то есть q мы поиспользовать уже не сможем ?
компиляторы считают по другому

Так UB где?