Constant as rvalue in C++(11)
c++, c++11, gcc
Solution
Ok, there are three categories of expressions1:
- those that represent objects that have an identity and cannot be moved from;
- those that represent objects that have an identity and can be moved from;
- those that represent objects that do not have an identity and can be moved from;
The first ones are called lvalues, the second ones are xvalues, and the third ones are prvalues. If we put lvalues and xvalues together, we have glvalues. Glvalues are all expressions that represent objects with an identity. If we put xvalues and prvalues together we have rvalues. Rvalues are all expressions that represent objects that can be moved.
The expression in question, `x`, is a glvalue: one can write `&x`, so the object clearly has an identity.
Can we move from this expression? Is this object about to expire? No, it is not. It only expires sometime after the current expression. That means it cannot be moved from. That makes it an lvalue.
All these names can be a bit confusing because lvalue and rvalue in C++ no longer mean what they meant in their C origins. The C++ meaning is completely unrelated to being on the left or right side of assignment2.
Personally, I prefer to use the terminology from this paper by Bjarne: iM-values (instead of lvalues), im-values (instead of xvalues), Im-values (instead of prvalues), i-values (instead of glvalues), and m-values (instead of rvalues). That is not the terminology that the standard uses, unfortunately.
1 Here "have an identity" means "its address can be taken"; "can be moved from" means that it is about to expire, either due to its temporary nature, or because the programmer made that explicit in the type system by calling `std::move` or something similar.
2 You can have rvalues on the left side of assignment: `std::vector<int>(17) = std::vector<int>(42)` is a valid expression, even if it is useless.
Problem
Why `const int` is not an R-value in C++(11)? I thought that R-value was 'anything' which cannot be on the left hand side and constants fulfil that. This code fails: ``` int f(int && x) { return 100; } void g() { const int x = 1; f(x); } error: invalid initialization of reference of type ‘int&&’ from expression of type ‘const int’ ```