Ссылка на rvalue, является ли она сама rvalue?

@Jzx · Регистрация: 31.12.2017

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

А верно ли, что ссылка на rvalue сама не является rvalue? Вот такой код является валидным:

C++
1
2
3
4
5
6
7
#include <iostream>
 
int main() 
{
    int&& r = 42;
    std::cout << &r << std::endl;
}

@eva2326 · 08.02.2019, 15:12

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

Можно ссылочку на формальное определение?

http://www.open-std.org/jtc1/s... /n4659.pdf
6.10 Lvalues and rvalues

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

То есть в любой инструкции инициализации создаётся временный объект,

Если примитив (например число 42),
и у него никто не просит адреса, тогда нет ни одной причины, что бы создавать объект.
Компилятор просто сделает подстановку значения.

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

Где я могу прочитать об этом?

В Московской библиотеке

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

Есть ли здесь UB?

Нет ни UB, ни временных объектов

@rat0r · 08.02.2019, 15:17

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

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n4659.pdf
6.10 Lvalues and rvalues

Ну и где в https://timsong-cpp.github.io/... basic.lval написано, что value category это

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

категория доступа к объекту

???

prvalue, например, вообще никакого объекта не обозначает, чтобы к чему-то была "категория доступа". Лол.

@eva2326 · 08.02.2019, 16:05

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

Ну и где

Первым же пунктом жеж))

Expressions are categorized according to the taxonomy in Figure [fig:categories].

expression
glvalue
rvalue
lvalue
xvalue
prvalue

Figure 1 — Expression category taxonomy

Специально для тех, кто в танке, там даже картинку нарисовали))
Но если даже с картинкой не понятно, ничем не могу помочь))

@rat0r · 08.02.2019, 16:08

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

Первым же пунктом жеж

Этого:

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

Формально - категория доступа к объекту.

там нет :/

@DrOffset · 08.02.2019, 19:29

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

Непонятно, почему именно ... const reference.

Сообщение от http://eel.is/c++draft/dcl.init.ref#5.2

Otherwise, if the reference is an lvalue reference to a type that is not const-qualified or is volatile-qualified, the program is ill-formed.
[Example:

C++
1
2
3
double& rd2 = 2.0;              // error: not an lvalue and reference not const
int  i = 2;
double& rd3 = i;                // error: type mismatch and reference not const

— end example
]

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

Есть ли здесь UB?

Нет.

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

То есть в любой инструкции инициализации создаётся временный объект, значением которого инициализируется уже объект невременный?

Нет.

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

Где я могу прочитать об этом?

Конкретно о случае топика здесь:

Сообщение от http://eel.is/c++draft/class.temporary#1

Temporary objects are created
(1.1)
when a prvalue is converted to an xvalue ([conv.rval]),

Сообщение от http://eel.is/c++draft/class.temporary#2

The materialization of a temporary object is generally delayed as long as possible in order to avoid creating unnecessary temporary objects.
[ Note: Temporary objects are materialized:
(2.1)
when binding a reference to a prvalue ([dcl.init.ref], [expr.type.conv], [expr.dynamic.cast], [expr.static.cast], [expr.const.cast], [expr.cast]),

Новые блоги и статьи Все статьи Все блоги /
Из невошедшего на форум (диалог с ИИ-гугла) zorxor 29.07.2026 А вот, что интересно, сказал мне ИИ-гугла: Этот текст — эмоциональный пост пользователя под ником zorxor на интернет-форуме (вероятно, посвященном мистике, непознанному или альтернативной науке). . . .	Был праздник вчера, а я и не знал. kumehtar 28.07.2026 27. 07. 2026г. Intel Core 2 Duo исполнилось 20 лет Новости компьютерного мира и их обсуждение (4) Салют, шампанское, овации! :drink:	Нейтральные знания, чистый код - бла-бла-бла-бла, на самом деле кликбейт и самореклама, плагиат, и вот почему Hrethgir 27.07.2026 То-есть отклонение такой публикации говорит само за себя, и пусть только возьмут на вооружение после отклонения публикации - это будет чистейшим актом плагиата. Отклонял Хабр. Дословно, отклонённая. . .	тв 16 бой ии anaschu 27.07.2026 Великий Перелом ИИ: Как уравнения ОДУ Radau дожали цензурные фильтры Алисы Фиксируем в мемофонде Теории Всего беспрецедентный факт в истории ИИ-зондирования. В затяжном многораундовом. . .
мв 15. непроверенное, возможно, глюк anaschu 27.07.2026 НАУЧНО-АНАЛИТИЧЕСКИЙ ОТЧЕТ. РАЗДЕЛ 1. 1: «НАУКА» (РАСШИРЕННАЯ СТЕХИОМЕТРИЧЕСКАЯ И ГЕНЕТИЧЕСКАЯ ВЕРСИЯ)Тема: Теоретическое обоснование инвариантности 19-мерного тензорного ядра непрерывных ОДУ и. . .	Очистка реквизитов и табличных частей документа при копировании (вариант 2) Maks 26.07.2026 Алгоритм из решения ниже разработан на примере нетипового документа "ЗаявкаНаРаботу", разработанного в КА2. Задача: Заменить алгоритм запрета копирования документов для сотрудников с ролью "Стажер",. . .	Доктрина интенционального знания - Доктрина для портала "Срез". Hrethgir 25.07.2026 Может найдётся кто захочет оценить доктрину. . . Написания правил участия для меня роскошь, требующая лимита времени, поэтому все сообщения не прошедшие модерацию будут видны только участникам портала,. . .	сукцессия 44. Решил подать на припринт в межународные сервисы препринтов. Но нужно одобрение от ученых anaschu 25.07.2026 Английский вариант. Пока кто то не одобрит мою личность, мне не получиться это опубликовать на препринте. Но заявку на публикацию статьи я сегодня подам.

Ссылка на rvalue, является ли она сама rvalue?

Решение

Решение