What is lvalue and rvalue

Lvalues and Rvalues Explained

Lvalues and rvalues are fundamental C++ concepts describing value categories and where expressions reside in memory. An lvalue is an expression that refers to an object with a persistent memory address that you can take with the address-of operator (&). An rvalue is an expression that evaluates to a temporary value without a persistent address you can reference.

Lvalue Characteristics

Lvalues include variables, object members, array elements, and anything you can take the address of. For example, int x = 5; makes x an lvalue because it has a persistent memory location. Lvalues persist beyond the current expression and can appear on either side of assignment operators: x = 10; or y = x;.

Rvalue Characteristics

Rvalues include temporary values, literals, and results of operations. For example, int y = x + 5; produces an rvalue from the addition operation. Rvalues exist only for expression evaluation and cannot appear on the left side of assignment. You cannot take the address of an rvalue.

References and Move Semantics

Lvalue references (declared with &) bind to lvalues: int& ref = x;. Rvalue references (declared with &&) bind to rvalues: int&& ref = x + 5;. C++11 introduced rvalue references to enable move semantics, allowing efficient transfer of ownership of resources like memory or file handles without copying.

Practical Applications

Understanding lvalues and rvalues is essential for writing efficient modern C++ code. Move constructors and move assignment operators exploit rvalue references to avoid unnecessary copying. Standard library functions like std::move() cast lvalues to rvalues, enabling move semantics in generic code. This distinction powers optimization techniques that make C++ performant for resource-intensive applications.