Форум программистов, компьютерный форум CyberForum.ru

Значения Lvalue и Rvalue - C++

Восстановить пароль Регистрация
 
tokar_1
1 / 1 / 0
Регистрация: 11.04.2012
Сообщений: 36
14.08.2016, 14:01     Значения Lvalue и Rvalue #1
Здравствуйте.

В данной ссылке
https://msdn.microsoft.com/ru-ru/library/f90831hc.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 ?

Заранее, большое спасибо
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
14.08.2016, 14:01     Значения Lvalue и Rvalue
Посмотрите здесь:

rvalue C++
Почему i++ это rvalue, а ++i lvalue? C++
C++ Почему *(a+j) не rvalue?
Rvalue reference and lambda C++
C++ Семантика перемещения rvalue\lvalue ссылок
Function return rvalue C++
Rvalue ссылки C++
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
hoggy
5602 / 2232 / 411
Регистрация: 15.11.2014
Сообщений: 5,025
Завершенные тесты: 1
14.08.2016, 14:46     Значения Lvalue и Rvalue #2
lvalue - левостоящее
rvalue - правостоящее

C++
1
2
int v = 10; //<--- v находится слева. значит lvalue
// 10 находится справа. значит rvalue
HelicopterK52
638 / 181 / 28
Регистрация: 27.07.2016
Сообщений: 475
Завершенные тесты: 1
14.08.2016, 17:15     Значения Lvalue и Rvalue #3
hoggy, это достаточно мутная формулировка, причем она не работает во многих случаях.
Цитата Сообщение от tokar_1 Посмотреть сообщение
Кто может, поясните, пожалуйста, поподробнее, почему
потому что нет приведения типа -> не создается временный объект "общего" типа.
hoggy
5602 / 2232 / 411
Регистрация: 15.11.2014
Сообщений: 5,025
Завершенные тесты: 1
14.08.2016, 17:24     Значения Lvalue и Rvalue #4
Цитата Сообщение от HelicopterK52 Посмотреть сообщение
причем она не работает во многих случаях
приведите хотя бы один пример.
HelicopterK52
638 / 181 / 28
Регистрация: 27.07.2016
Сообщений: 475
Завершенные тесты: 1
14.08.2016, 17:41     Значения Lvalue и Rvalue #5
Цитата Сообщение от 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
5602 / 2232 / 411
Регистрация: 15.11.2014
Сообщений: 5,025
Завершенные тесты: 1
14.08.2016, 17:42     Значения Lvalue и Rvalue #6
Цитата Сообщение от HelicopterK52 Посмотреть сообщение
//x - lvalue
и.. как это противоречит #2 ?
я просил случай, когда формулировка не работает.
HelicopterK52
638 / 181 / 28
Регистрация: 27.07.2016
Сообщений: 475
Завершенные тесты: 1
14.08.2016, 17:43     Значения Lvalue и Rvalue #7
Цитата Сообщение от hoggy Посмотреть сообщение
и.. как это противоречит #2 ?
ну так lvalue, но в выражении может стоять только справа от "=", т.к. является "неизменяемым".
hoggy
5602 / 2232 / 411
Регистрация: 15.11.2014
Сообщений: 5,025
Завершенные тесты: 1
14.08.2016, 17:44     Значения Lvalue и Rvalue #8
Цитата Сообщение от 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
638 / 181 / 28
Регистрация: 27.07.2016
Сообщений: 475
Завершенные тесты: 1
14.08.2016, 17:47     Значения Lvalue и Rvalue #9
Цитата Сообщение от hoggy Посмотреть сообщение
ничто не запрещает вызывать для него неконстантные методы
но стоит оно слева от "=", что опять нас приводит к
Цитата Сообщение от HelicopterK52 Посмотреть сообщение
это достаточно мутная формулировка
hoggy
5602 / 2232 / 411
Регистрация: 15.11.2014
Сообщений: 5,025
Завершенные тесты: 1
14.08.2016, 17:48     Значения Lvalue и Rvalue #10
Цитата Сообщение от 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
638 / 181 / 28
Регистрация: 27.07.2016
Сообщений: 475
Завершенные тесты: 1
14.08.2016, 18:05     Значения Lvalue и Rvalue #11
Цитата Сообщение от 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
5602 / 2232 / 411
Регистрация: 15.11.2014
Сообщений: 5,025
Завершенные тесты: 1
14.08.2016, 18:13     Значения Lvalue и Rvalue #12
Цитата Сообщение от HelicopterK52 Посмотреть сообщение
Посмотрим категории выражений
посмотрели, и увидели, что rvalue - правостоящее выражение.
Цитата Сообщение от HelicopterK52 Посмотреть сообщение
Так что
нет никаких "так что".
то, что временные объекты на практике чаще всего тусят справа,
ещё не делает их только rvalue.

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

Цитата Сообщение от HelicopterK52 Посмотреть сообщение
Я не понял к чему Ваш пример
он иллюстрирует, что temporary object - не обязан быть rvalue.
HelicopterK52
638 / 181 / 28
Регистрация: 27.07.2016
Сообщений: 475
Завершенные тесты: 1
14.08.2016, 18:19     Значения Lvalue и Rvalue #13
Цитата Сообщение от hoggy Посмотреть сообщение
посмотрели, и увидели, что rvalue - правостоящее выражение.
Ага, причем написано, что название просто исторически сложилось
Цитата Сообщение от hoggy Посмотреть сообщение
ещё не делает их только rvalue.
Приведите пример, где оно lvalue? Только не надо биндить к ссылке, т.к. результат будет другой.
Цитата Сообщение от hoggy Посмотреть сообщение
он иллюстрирует, что temporary object - не обязан быть rvalue.
Ни разу не иллюстрирует. Этот код вообще ничего не иллюстрирует, он лишь показывает, что rvalue может быть слева от о"=".
В стандарте написано, что названия lvalue и rvalue исторически сложились, а не то что lvalue - это то, что стоит слева.
hoggy
5602 / 2232 / 411
Регистрация: 15.11.2014
Сообщений: 5,025
Завершенные тесты: 1
14.08.2016, 19:07     Значения Lvalue и Rvalue #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
HelicopterK52
638 / 181 / 28
Регистрация: 27.07.2016
Сообщений: 475
Завершенные тесты: 1
14.08.2016, 19:28     Значения Lvalue и Rvalue #15
Цитата Сообщение от 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
5602 / 2232 / 411
Регистрация: 15.11.2014
Сообщений: 5,025
Завершенные тесты: 1
14.08.2016, 20:15     Значения Lvalue и Rvalue #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 - прошедшее время, так что тут "могли появляться", а не "могут появляться"
а сейчас что, уже не могут?
HelicopterK52
638 / 181 / 28
Регистрация: 27.07.2016
Сообщений: 475
Завершенные тесты: 1
14.08.2016, 21:22     Значения Lvalue и Rvalue #17
Цитата Сообщение от 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
}
А вообще, пусть каждый остается при своем мнении. Не будем спорить.
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
14.08.2016, 21:39     Значения Lvalue и Rvalue
Еще ссылки по теме:

C++ Rvalue vector
C++ Lvalue и rvalue
C++ Нюансы синтаксиса и семантики: что такое rvalue и lvalue?
Что такое rvalue и lvalue C++
C++ Rvalue и lvalue ссылки

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
hoggy
5602 / 2232 / 411
Регистрация: 15.11.2014
Сообщений: 5,025
Завершенные тесты: 1
14.08.2016, 21:39     Значения Lvalue и Rvalue #18
Цитата Сообщение от HelicopterK52 Посмотреть сообщение
xvalue - ссылаются на объекты, которые вот-вот умрут (например, после выхода из функций), так же выражения с rvalue-reference являются xvalue.

действительно.
сенкс
Yandex
Объявления
14.08.2016, 21:39     Значения Lvalue и Rvalue
Ответ Создать тему
Опции темы

Текущее время: 07:27. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru