rvalue and lvalue concept in cpp

rvalue and lvalue

The crude definition for lvalue and rvalue might be:

lvalue : A value that resides in memory (heap or stack) and addressable.
rvalue : A value that's not lvalue.
It resides only on the right side of an assignment expression such as a literal or a temporary which is intended to be non-modifiable.

"C++11's most pervasive feature is probably move semantics, and the foundation of move semantics is distinguishing expressions that are rvalue from those that are lvalues. That's because rvalues indicate objects eligible for move operations, while lvalues generally don't. In concept (though not always in practice), rvalue correspond to temporary objects returned from functions, while lvalues correspond to objects you can refer to, either by name or by following a pointer or lvalue reference."

"A useful heuristic to determine whether an expression is an lvalue is to ask if you can take its address. If you can, it typically is. If you can't, it's usually an rvalue."

- Effective Modern C++

Examples of rvalue and lvalue

Most of the variables are lvalues, and here are examples of lvalues:

// lvalue examples
int i = 7;  // i: lvalue
int *pi = &i;  // i is addressable
i = 10;  // we can modify it

class cat {};
cat c;   // c is an lvalue for a user defined type

Then, what are rvalues?

// rvalue examples
int i = 7;  // i: lvalue but 7 is rvalue
int k = i+3;  // (i+3) is an rvalue 
int *pi = &(i + 3); // error, it's not addressable
i + 3 = 10;   // error - cannot assign a value to it
3 = i;        // error - not assignable

class cat {};
c = cat();   // cat() is an rvalue

How about the return value from a function:

int square(int x) { return x*x;  }
int sq = square(10);  // square(10) is an rvalue

rvalue and lvalue- Reference

How about a reference, is it a rvalue or a lvalue?

The references that we've been using are lvalue references - references to lvalues. The lvalues references can only be bound to lvalues but not rvalues.

int i;
int &r; = i;
int &r; = 7; // error: lvalue cannot be bound to rvalue 7

However, we can bind an rvalue to a const lvalue reference (const reference):

const int&r; = 7;  // OK

It's legal since when a compiler sees const, it converts 7 to an lvalue, and then assign it to the reference.

The rule "lvalue references can only be bound to lvalues but not rvalues" equally applies to an argument to a function:

int square(int& x) { return x*x;  }
int i = 7;
square(i);  // OK
square(7);  // error, 7 is an rvalue and cannot be assigned to a reference

Is there a way to pass 7 to the square function? Seems I've seen it working.

Yes, we can. The const is here for us!

int square(const int& x) { return x*x;  }
square(i);  // OK
square(7);  // OK

rvalue and lvalue concept in cpp