Значения Lvalue и Rvalue

@tokar_1 · Регистрация: 11.04.2012

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

Здравствуйте.

В данной ссылке
https://msdn.microsoft.com/ru-... 831hc.aspx
приведен пример

C++
1
2
3
4
5
6
7
8
9
int main()
{
   int i, j, *p;
 
   ..............
 
   // Correct usage: the conditional operator returns an lvalue.
   ((i < 3) ? i : j) = 7;
}

Кто может, поясните, пожалуйста, поподробнее, почему

C++
1
 ((i < 3) ? i : j)

- это есть lvalue ?

Заранее, большое спасибо

@hoggy · 14.08.2016, 14:46

lvalue - левостоящее
rvalue - правостоящее

C++
1
2
int v = 10; //<--- v находится слева. значит lvalue
// 10 находится справа. значит rvalue

@HelicopterK52 · 14.08.2016, 17:15

hoggy, это достаточно мутная формулировка, причем она не работает во многих случаях.

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

Кто может, поясните, пожалуйста, поподробнее, почему

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

@hoggy · 14.08.2016, 17:24

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

причем она не работает во многих случаях

приведите хотя бы один пример.

@HelicopterK52 · 14.08.2016, 17:41

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

приведите хотя бы один пример.

C++
1
2
3
const int x = 10;
//x - lvalue
x = 11;//ошибка, т.к. оно неизменяемое

Добавлено через 2 минуты
ну или:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
#include <iostream>
 
 
struct Test
{
    void operator=(int) { std::cout << "hello" << std::endl; }
};
 
 
int main()
{
    Test() = 10;//временный объект - rvalue, но всё хорошо, хоть и слева от "="
}

@hoggy · 14.08.2016, 17:42

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

//x - lvalue

и.. как это противоречит #2 ?
я просил случай, когда формулировка не работает.

@HelicopterK52 · 14.08.2016, 17:43

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

и.. как это противоречит #2 ?

ну так lvalue, но в выражении может стоять только справа от "=", т.к. является "неизменяемым".

@hoggy · 14.08.2016, 17:44

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

ну или:

перефразируем:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#include <iostream>
 
 
struct Test
{
    void operator=(int) { std::cout << "hello" << std::endl; }
    void work(){}
};
 
 
int main()
{
    Test().work();//временный объект - rvalue
    // однако он не константный
    // ничто не запрещает вызывать для него неконстантные методы
}

@HelicopterK52 · 14.08.2016, 17:47

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

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

но стоит оно слева от "=", что опять нас приводит к

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

это достаточно мутная формулировка

@hoggy · 14.08.2016, 17:48

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

оно должно быть rvalue

вы не путайте rvalue и временный объект.
это разные понятия.

с чего вообще вы взяли, что временный объект обязательно должен быть rvalue ?

C++
1
2
3
4
5
6
7
8
#include <iostream>
 
int main()
{
    std::cout << "Hello, world!\n";
    struct some{};
    some{} = some{} = some{};
}

@HelicopterK52 · 14.08.2016, 18:05

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

что временный объект обязательно должен быть rvalue

Посмотрим категории выражений (Expression category taxonomy).

- An rvalue (so called, historically, because rvalues could appear on the right-hand side of an assignment expression) is an xvalue, a temporary object (12.2) or subobject thereof, or a value that is not associated with an object.

Так что

C++
1
Test() = 10;//Test() - rvalue, но стоит слева )))

P.S. Я не понял к чему Ваш пример

@hoggy · 14.08.2016, 18:13

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

Посмотрим категории выражений

посмотрели, и увидели, что rvalue - правостоящее выражение.

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

Так что

нет никаких "так что".
то, что временные объекты на практике чаще всего тусят справа,
ещё не делает их только rvalue.

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

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

Я не понял к чему Ваш пример

он иллюстрирует, что temporary object - не обязан быть rvalue.

@HelicopterK52 · 14.08.2016, 18:19

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

посмотрели, и увидели, что rvalue - правостоящее выражение.

Ага, причем написано, что название просто исторически сложилось

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

ещё не делает их только rvalue.

Приведите пример, где оно lvalue? Только не надо биндить к ссылке, т.к. результат будет другой.

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

он иллюстрирует, что temporary object - не обязан быть rvalue.

Ни разу не иллюстрирует. Этот код вообще ничего не иллюстрирует, он лишь показывает, что rvalue может быть слева от о"=".

В стандарте написано, что названия lvalue и rvalue исторически сложились, а не то что lvalue - это то, что стоит слева.

@hoggy · 14.08.2016, 19:07

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

Ага, причем написано, что название просто исторически сложилось

а ещё написано почему оно таким сложилось.
и что именно может выступать в качестве lvalue/pvalue

в качестве lvalue может выступать любой объект.
не важно, временный он, или нет.

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

Приведите пример, где оно lvalue?

см #10

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

он лишь показывает, что rvalue может быть слева от о"="

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

вчитайтесь внимательно в строки стандарта:

An rvalue (so called, historically, because rvalues could appear on the right-hand side of an assignment
expression) is an xvalue, a temporary object (12.2) or subobject thereof, or a value that is not associated
with an object.

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

в правой - только xvalue или временные.

но сам по себе временный объект не обязан быть обязательно rvalue

@HelicopterK52 · 14.08.2016, 19:28

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

см #10

Там оно rvalue

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

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

Ни насколько. Еще раз - lvalue/rvalue вообще никаким боком не относится к позиции относительно "=".
Это вообще характеристики выражений. Просто так повелось и не более того.
Кстати, для данного случая, Майерс привел более удачную формулировку, но и та не очень точная.

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

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

Это Вы явно не допоняли. Уперлись в свои "лево-право", которые тут только лишь из-за "старых устоев".

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

в правой - только xvalue или временные.

C++
1
2
3
int a = 10;
int b = 11;
a = b;//Выражение b - lvalue )))

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

но сам по себе временный объект не обязан быть обязательно rvalue

Давайте пример

И вообще что это значит? lvalue/rvalue относятся к выражениям, а не к объектам.
Выражение в контексте создания временного объекта - rvalue.

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

because rvalues could appear on the right-hand side

И, кстати, could - прошедшее время, так что тут "могли появляться", а не "могут появляться"

Итого, вся фраза, - "название исторически сложилось, потому что rvalue могли появляться с правой стороны в выражении присваивания".
Но ведь с приходом C++11 виды выражений были расширены.

@hoggy · 14.08.2016, 20:15

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

Там оно rvalue

то есть значение, которое выступает в качестве левостоящего
по вашему является "право стоящим" ?

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

Это вообще характеристики выражений.

и что такое "характиристика выражения" по вашему?

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

Это Вы явно не допоняли. Уперлись в свои "лево-право", которые тут только лишь из-за "старых устоев".

этого не достаточно.
если вы считаете,
что я ошибаюсь, тогда говорите в чем именно.
и как оно на самом деле.

моё понимание очень простое:

gvalue - самые обычные (именованные) объекты

rvalue - объекты, основной кейс которых - быть результатом выражения.
"r" - от слова "rigth". потому исторически так сложилось,
что в составе сложного выражения они находятся с правой стороны.

в свою очередь,
gvalue дополнительно подразделяется на lvalue и xvalue

lvalue - самые обычные именованные объекты.
"l" от слова "left" потому что их основной кейс в сложных выражениях - тусить с левой стороны.

xvalue - это бывший gvalue, который принудительно привели к rvalue-reference
то есть была обычная переменная.
а мы взяли и при помощи std::move заставили компилятор думать,
что объект - временный.

rvalue обозначает как бы"временный объект,
но как он образовался - не конкретизируется.
в свою очередь подразделяется на prvalue и xvalue

prvalue - это временные объекты (которые были рождены временными).
xvalue - писал выше.

вот и все понимание.

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

можно ещё и так сказать:
rvalue - это значение,
выступающее в качестве результата выражения.

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

И, кстати, could - прошедшее время, так что тут "могли появляться", а не "могут появляться"

а сейчас что, уже не могут?

@HelicopterK52 · 14.08.2016, 21:22

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

и что такое "характиристика выражения" по вашему?

Выше написано: Expression category taxonomy.
Уже перешел на "самопальные" выражения, т.к. по другому не понятно.

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

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

Еще раз: lvalue/rvalue НИКАК НЕ ОТНОСИТСЯ К ПОЛОЖЕНИЮ ВЫРАЖЕНИЯ.
А лево-право - лишь историческое наследие.

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

gvalue - самые обычные (именованные) объекты

У меня как раз блог о перемещении зреет. Там своими словами:
lvalue - фактически, это именованные объекты, а также выражения, результатами которого является lvalue-reference (еще надо доработать по части функций).
xvalue - ссылаются на объекты, которые вот-вот умрут (например, после выхода из функций), так же выражения с rvalue-reference являются xvalue.
glvalue - включает в себя xvalue или lvalue (эдакая надкатегория, фактически, да - это "обычные" именованные объекты).
rvalue - включает в себя xvalue, временные объекты, а также всё то, что не ассоциировано с объектами.
prvalue - это выражения, которые rvalue, но не могут быть xvalue (например, литералы).

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

а мы взяли и при помощи std::move заставили компилятор думать,
что объект - временный.

Не только, xvalue - это еще когда объект на грани смерти. А после перемещения объект не умирает же.

C++
1
2
3
4
5
6
Some foo()
{
   Some obj;
   //...
   return obj;//Вот здесь obj будет xvalue, потому как дальше он умрет. Заметьте, в отсутствии всяких оптимизаций, объект будет перемещен без std::move
}

А вообще, пусть каждый остается при своем мнении. Не будем спорить.

@hoggy · 14.08.2016, 21:39

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

xvalue - ссылаются на объекты, которые вот-вот умрут (например, после выхода из функций), так же выражения с rvalue-reference являются xvalue.

действительно.
сенкс

Новые блоги и статьи Все статьи Все блоги /
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Символьное дифференцирование igorrr37 13.02.2026 / * Программа принимает математическое выражение в виде строки и выдаёт его производную в виде строки и вычисляет значение производной при заданном х Логарифм записывается как: (x-2)log(x^2+2) -. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.
«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .