Значения 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.

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

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук 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 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .