L-величина и R-величина

[Olegator]

Цитата из учебника "Как программировать на С++" Дейтел Х., Дейтел П.

Ссылочные переменные должны получать начальные условия в их объявлениях (смотри рис. 3.21 и рис. 3.22) и не могут переприсваиваться как псевдонимы другим переменным. Как только ссылка объявляется как псевдоним другой перемен¬ной, все операции, выполняемые с псевдонимом (т.е. ссылкой), на самом деле будут выполняться с самой истинной переменной. Псевдоним — лишь другое имя для истинной переменной, для него не резервируется никакого места в памяти. Определение адреса ссылки и сравнение ссылок не вызывают синтаксических ошибок; на самом деле каждая операция выполняется над переменной, для которой ссылка является псевдонимом. Аргумент-ссылка должен быть L-величиной, не константой и не выражением, которое возвращает R-величину.

Что означает L-величина и R-величина?
Может L-величина есть положительное целое число?

[Finch]

L-величина это адрес. Ссылочная переменная занимает в памяти для 32 разрядных систем 4 байта. Если ты определил 

Код:

const int c=5;
int a;
int *b;

Если ты делаеш b=a; То компилятор должен дать ошибку компиляции. Так как ты нарушаеш L-порядок. Пытаешся ссылочной переменной присвоить значение a. У меня компилятор выдал такую ошибку "error C2440: '=' : cannot convert from 'int' to 'int *'"
Если ты делаеш b=&a;. Получаеш псевдоним переменной а. Любое изменение переменной по ссылке b будет приводить изменению a.
Насчет констант: такую строчку у меня компилятор пропустил b=(int *)&c; Но если я попытаюсь изменить значение по ссылке b, будет выдана ошибка исполнения. Так как программа будет пытаться залезть в зашишенную область памяти. Константы VC размешает в памяти в зашишенной области. Хотя я слышал о библиотеки, которая позволяет также менять и константы. Помоему называется RTII.

[Olegator]

В книжке ссылочная переменная объявляется не так, как у тебя.

Код:

int x = 1;
int  &y = x; // создание y, как псевдонима для x.

Значит можно и так и так?
Кроме того написано, что ссылочные переменные должны получать начальные условия в их объявлениях.

[LP]

Аргумент-ссылка должен быть L-величиной, не константой и не выражением, которое возвращает R-величину.

Lvalue и rvalue это несколько запутанные термины...
Lvalue-объект хранится где-то в памяти и имеет некоторый адрес.
Например:

Код:

int i = 7;// i это lvalue

А константа "7" это rvalue.
Rvalue, с точки зрения компилятора, не имеет адреса в памяти.
Rvalue являются литералы (7, 0.0, 'A' и т.д.) и временные объекты.
например,

Код:

std::string(); // rvalue

это временный объект типа string, который уничтожается  в конце полного выражения,
в данном случае после точки с запятой ;.

Т.е. авторы хотели, видимо, сказать вот что:

Код:

int i = 4;
int& ref = i; //инициализация допустима, т.к. i это lvalue
...
int& ref2 = 5;// ошибка, так как "5" это rvalue.
...
int f1() {return 1;}
int& f2() {static int s = 1; return s;}
int& ref3 = f1(); // ошибка, функция f1 возвращает временное значение - rvalue
int& ref4 = f2(); // правильно, функция возвращает ссылку
...
int i = 5;
int& ref5 = (int)i; // ошибка, так как по стандарту, результат преобразования в нессылочный тип яв-ся rvalue

По словам Страуструпа запрет на инициализацию ссылки rvalue был наложен, так как это вызывало труднонаходимые ошибки.
Не понятно, что должен ожидать программист модифицируя rvalue через ссылку.
Однако, ссылки на константу можно инициализировать rvalue.

Код:

const int& cref = 4; //ok

P.S. Некоторые распространенные компиляторы, нарушают некоторые из этих правил стандарта.

Вот здесь еще есть статья.
http://rsdn.ru/article/cpp/lvalue.xml

[Olegator]

Т.е. L- и R-величины это обозначение двух понятий, которые совместимы только одноимённо кроме ссылки на константу.
(L-L) и (R-R) и ((const L)-R) и not(R-L) и not(L-R). Для простоты общения. "обозначай и властвуй".
Т.е. можно теперь делать так. Если возникла ошибка, можно говорить что вот здесь L, а здесь R. А потом показываешь на таблицу, что к чему относится. Т.е. проще абстрогироваться от железа. Если конечно точно знать критерии что есть L и R.
Или нет. Просто так удобнее.

[LP]

Я немного не понял таблицу...

Смысл, ИМХО, таков. Литералы и временные объекты (т.е. R-значения) запрещено модифицировать,

Код:

6 = 1;// нельзя
...
int f()
{
    int i = 4;
    return i;
}

++f();//нельзя, возвращаемое значение функций является r-значением

так как это не интуитивно или чревато ошибками (по крайней мере, по мнению разработчиков С++).
Если бы было разрешено инициализировать ссылку R-значением, то этот запрет можно было бы обойти и мы получили бы возможность изменить r-значение посредством ссылки.
Инициализировать ссылку на константу, R-значением можно, т.к. модифицировать объект с помощью ссылки на константу мы не можем в любом случае.

Код:

const int& cr = 1;//ссылка на константу инициализируется r-значением
                        //Ошибки нет, т.к. модифицировать объект посредством такой ссылки нельзя

[npak]

Понять это невозможно, это надо запомнить   Что является Lvalue, а что Rvalue.

[Алексей++]

Понять это невозможно, это надо запомнить   Что является Lvalue, а что Rvalue.

а я даже никогда и не задумывался об этом - в смысле , что есть L , а что R

[npak]

По большому счёту это редко требуется.  Только в разных выморочных случаях, таких как
почему (++i)++ компилируется, а ++(i++) нет.  Или почему
int & x = i++ не компилируется, а
int & x = ++i компилируется

[Hooter]

По большому счёту это редко требуется.  Только в разных выморочных случаях, таких как
почему (++i)++ компилируется, а ++(i++) нет.  Или почему
int & x = i++ не компилируется, а
int & x = ++i компилируется

А разве не поэтому?

Код:

int& operator++();   // для ++i
int operator++(int);  // для i++

В приведенных случаях даже запоминать не надо. Можно посмотреть как объявлены операторы.

[npak]

Да?

Тогда почему int& operator++() нельзя применять к результату оператора int operator++(int) ?

[Hooter]

Тогда почему int& operator++() нельзя применять к результату оператора int operator++(int) ?

Насколько я вижу, результатом оператора int operator++(int) является int (то есть число). Возвращаемый результат нельзя изменить. Поэтому ++(i++) - не откомпилируется.
А результатом оператора int& operator++() - является ссылка на тип int. Поэтому (++i)++ - работает.

[Алексей++]

npak ,Hooter

всё гораздо проще Просто не надо такие фокусы писать.
     можно просто и по человечьи:
   i++;
   ++i;

   

[Hooter]

а можно так: i += 2;   

[REM]

А можно и так
i = 0;
++i = i++;

[REM]

А так, соответственно нельзя:
i++ = ++i;

++C рулит!!

[Алексей++]

не,

++i = i++;
и
i++ = ++i;
- это всё же извращение

[Алексей++]

это больше проверка компилятора (или программиста?) на вшивость

[PooH]

так

--I=I--

красивше! ))

или так

I-=I

--O=O-- (очки)

[Алексей++]

не откомпилиться ни то, ни то )))    семиколон нету! )

;--I=I-- ;

;I-=I;

(это турбулентные завихрения )

[REM]

не,

++i = i++;
и
i++ = ++i;
- это всё же извращение

Конечно, извращение. Но ведь здорово, правда? 

[Алексей++]

нет, не здорОво

[REM]

Ну-ка, чему равен i, а чему j?

Код:

	int i = 0, j = 0;
	j=  ++i = (++i)++ + + + + ( + i) ++;

[Алексей++]

мыного! )

[Anestezia]

Почитайте эту заметку: http://hashcode.ru/questions/53113
Очень доходчиво написано, в чем разница между  value и  rvalue

[Алексей++]

Anestezia, не забываем обращать внимание на дату сообщения

[ezus]

Алексей++, на дату я вимание обратил.
Просто не совсем корректное дополнение на будующее.

Мне в свое время разницу между L-value и R-value объяснили просто:
L-value - это то, что может стоять слева от '=', т.е. это адрес,
а R-value - только справа, т.е. это значение.

[Алексей++]

ezus, L - необязательно адрес. Это любая изменяемая переменная. R - может быть как L, так и константа

[RXL]

Леш, это именно адрес, ссылка на значение — не значение. По адресу можно как прочитать, так и записать. Значение read only по своей сути. И не важно, переменная это или еще как-то называется. При этом в каждом языке могут быть свои заморочки, касающиеся правил управления памятью.

[Dimka]

Надо заметить, что понятия применимы не только к оператору присваивания, но и к параметрам процедур и функций. Вернее даже так: для общности самый оператор присваивания - одна из функций, имеющая особую синтаксическую запись (что в C++ совершенно так). Так что уместнее говорить не о левой и правой части относительно оператора, а о разнице между формальными и фактическими параметрами функции. Возможно, в такой интерпретации путаницы будет меньше.

Всегда ищите женщину функцию.