What exactly is an R-Value in C++?

by

“Could someone explain, or point me to some sort of explanation, of what R-Value is? I’m not really sure what it is”

The term lvalue originally referred to an expression that could be the left hand side of an assignment. Correspondingly, an rvalue (although as I recall that term was not used by the C89 standard), was originally just the opposite: an expression that could not be the left hand side of an assignment, but that could only be the right hand side.

C++11 complicated this by adding several more nuanced terms, but let’s concentrate on the C++03 meanings.

For example, if you have

int x;

then the assignment x = 42 is OK, so x is an lvalue expression.

As a counter-example, the assigment x+0 = 42 is not OK, so x+0 is an rvalue expression.

And so is the expression 2+2, it’s an rvalue expression.

So, if the requirement is that your program should include an rvalue, then just write 2+2 or e.g. (more advanced) 6*7, in main.

Original C didn’t have const. In C++, with const, you have to disregard the const for the purpose of designating an expression as lvalue or rvalue. The critical point is then whether the expression guaranteed refers to an object in memory, an object with an address: if so, then the expression is an lvalue.

A reference type implies lvalue, because an expression of reference type is necessarily referring to an object with a memory address, i.e. that expression is an lvalue.

However, other than references there’s no connection between type and lvalue/rvalue. For example, both x and x+0 are expressions of type int, and they yield the same int value. But the former is an lvalue expression, while the latter is an rvalue expression.

As a general rule, if you can apply the built-in address operator, then it’s an lvalue expression, and otherwise it’s an rvalue expression.

More Related Contents:

  1. Optimization code for a debug function (c++11 with templates) [closed]
  2. C++ press enter to continue
  3. Visual Studio support for new C / C++ standards?
  4. How do I check for C++11 support?
  5. Thread pooling in C++11
  6. Is there any use for unique_ptr with array?
  7. Is the safe-bool idiom obsolete in C++11?
  8. Why can’t simple initialize (with braces) 2D std::array? [duplicate]
  9. Resolution of std::chrono::high_resolution_clock doesn’t correspond to measurements
  10. Is this infinite recursion UB?
  11. Split a string using C++11
  12. Why does ‘std::vector b{2};’ create a 1-element vector, and not a 2-element one?
  13. Is a Union Member’s Destructor Called
  14. Empirically determine value category of C++11 expression?
  15. How to enable C++11 in CLion?
  16. copy vs std::move for ints
  17. How performing multiple matrix multiplications in CUDA?
  18. What are the main purposes of std::forward and which problems does it solve?
  19. How does the custom deleter of std::unique_ptr work?
  20. Variadic Template in VS 2012 (Visual C++ November 2012 CTP)
  21. Why is std::cout so time consuming?
  22. Operator overload which permits capturing with rvalue but not assigning to
  23. Why is auto_ptr being deprecated?
  24. shared_ptr is to weak_ptr as unique_ptr is to… what?
  25. Why was pair range access removed from C++11?
  26. Why the initializer of std::function has to be CopyConstructible?
  27. Interfacing C++11 array with Cython
  28. Why can’t std::function bind to C-style variadic functions?
  29. Range based for loop in function which passes an array as value [duplicate]
  30. When can we omit the return type in a C++11 lambda?

Leave a Comment