Значения Lvalue и Rvalue

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

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

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

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

C++

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++

#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++

#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++

#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++

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

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

@hoggy · 14.08.2016, 21:39

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

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

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

@HelicopterK52 829 / 253 / 34 Регистрация: 27.07.2016 Сообщений: 497 Записей в блоге: 1
	14.08.2016, 17:15	3
	hoggy, это достаточно мутная формулировка, причем она не работает во многих случаях. Сообщение от tokar_1 Кто может, поясните, пожалуйста, поподробнее, почему потому что нет приведения типа -> не создается временный объект "общего" типа. 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	14.08.2016, 17:24	4
	Сообщение от HelicopterK52 причем она не работает во многих случаях приведите хотя бы один пример. 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	14.08.2016, 17:42	6
	Сообщение от HelicopterK52 //x - lvalue и.. как это противоречит #2 ? я просил случай, когда формулировка не работает. 0

@HelicopterK52 829 / 253 / 34 Регистрация: 27.07.2016 Сообщений: 497 Записей в блоге: 1
	14.08.2016, 17:43	7
	Сообщение от hoggy и.. как это противоречит #2 ? ну так lvalue, но в выражении может стоять только справа от "=", т.к. является "неизменяемым". 0

@HelicopterK52 829 / 253 / 34 Регистрация: 27.07.2016 Сообщений: 497 Записей в блоге: 1
	14.08.2016, 17:47	9
	Сообщение от hoggy ничто не запрещает вызывать для него неконстантные методы но стоит оно слева от "=", что опять нас приводит к Сообщение от HelicopterK52 это достаточно мутная формулировка 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	14.08.2016, 18:13	12
	Сообщение от HelicopterK52 Посмотрим категории выражений посмотрели, и увидели, что rvalue - правостоящее выражение. Сообщение от HelicopterK52 Так что нет никаких "так что". то, что временные объекты на практике чаще всего тусят справа, ещё не делает их только rvalue. теперь почитайте, чем являются временные объекты. Сообщение от HelicopterK52 Я не понял к чему Ваш пример он иллюстрирует, что temporary object - не обязан быть rvalue. 0

@HelicopterK52 829 / 253 / 34 Регистрация: 27.07.2016 Сообщений: 497 Записей в блоге: 1
	14.08.2016, 18:19	13
	Сообщение от hoggy посмотрели, и увидели, что rvalue - правостоящее выражение. Ага, причем написано, что название просто исторически сложилось Сообщение от hoggy ещё не делает их только rvalue. Приведите пример, где оно lvalue? Только не надо биндить к ссылке, т.к. результат будет другой. Сообщение от hoggy он иллюстрирует, что temporary object - не обязан быть rvalue. Ни разу не иллюстрирует. Этот код вообще ничего не иллюстрирует, он лишь показывает, что rvalue может быть слева от о"=". В стандарте написано, что названия lvalue и rvalue исторически сложились, а не то что lvalue - это то, что стоит слева. 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	14.08.2016, 19:07	14
	Сообщение от 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 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	14.08.2016, 20:15	16
	Сообщение от 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 - прошедшее время, так что тут "могли появляться", а не "могут появляться" а сейчас что, уже не могут? 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	14.08.2016, 21:39	18
	Сообщение от HelicopterK52 xvalue - ссылаются на объекты, которые вот-вот умрут (например, после выхода из функций), так же выражения с rvalue-reference являются xvalue. действительно. сенкс 0