Is it valid to bind non-const lvalue-references to rvalues in C++ 11?(modified)

by

should that work in c++11?

No, it should not.

Foo is a custom class, I don’t understand why the first two line compiles

It compiles only with MSVC. MSVC has an (arguably useful) compiler extension that allows binding lvalues of user-defined types to rvalues, but the Standard itself forbids this. See, for instance, this live example where GCC 4.7.2 refuses to compile your code.

Does the standard say anything about this?

Indeed it does. Per paragraph 8.5.3/5 of the C++11 Standard:

A reference to type “cv1 T1” is initialized by an expression of type “cv2 T2” as follows:

— If the reference is an lvalue reference and the initializer expression

— is an lvalue (but is not a bit-field), and “cv1 T1” is reference-compatible with “cv2 T2,” or

— has a class type (i.e., T2 is a class type), where T1 is not reference-related to T2, and can be
implicitly converted to an lvalue of type “cv3 T3,” where “cv1 T1” is reference-compatible with “cv3
T3” […],

then the reference is bound to the initializer expression lvalue in the first case and to the lvalue result
of the conversion in the second case (or, in either case, to the appropriate base class subobject of
the object). […]

[ …]

— Otherwise, the reference shall be an lvalue reference to a non-volatile const type (i.e., cv1 shall be
const), or the reference shall be an rvalue reference. [ Example:

double& rd2 = 2.0; // error: not an lvalue and reference not const
int i = 2;
double& rd3 = i; // error: type mismatch and reference not const

—end example ]

More Related Contents:

  1. Rvalue Reference is Treated as an Lvalue?
  2. On how to recognize Rvalue or Lvalue reference and if-it-has-a-name rule
  3. How to determine programmatically if an expression is rvalue or lvalue in C++?
  4. Why does this C++ snippet compile (non-void function does not return a value) [duplicate]
  5. Resolution of std::chrono::high_resolution_clock doesn’t correspond to measurements
  6. One VS2010 bug ? Allowing binding non-const reference to rvalue WITHOUT EVEN a warning?
  7. non-class rvalues always have cv-unqualified types
  8. In C++, what categories (lvalue, rvalue, xvalue, etc.) can expressions that produce temporaries of class type fall into?
  9. error C2679: binary ‘
  10. Do rvalue references allow dangling references?
  11. Initializer list not working with vector in Visual Studio 2012? [duplicate]
  12. Passing rvalues through std::bind
  13. What is the value category of the operands of C++ operators when unspecified?
  14. Isn’t the const modifier here unnecessary? [duplicate]
  15. How to enforce the ‘override’ keyword?
  16. Why is taking the address of a temporary illegal?
  17. Why does std::forward have two overloads?
  18. should std::common_type use std::decay?
  19. C++ press enter to continue
  20. Error c4430 ? visual studio 2012 [closed]
  21. Visual Studio support for new C / C++ standards?
  22. How do I check for C++11 support?
  23. Thread pooling in C++11
  24. Is there any use for unique_ptr with array?
  25. Why does ‘std::vector b{2};’ create a 1-element vector, and not a 2-element one?
  26. Operator overload which permits capturing with rvalue but not assigning to
  27. Why is auto_ptr being deprecated?
  28. Why was pair range access removed from C++11?
  29. Interfacing C++11 array with Cython
  30. Why can’t std::function bind to C-style variadic functions?

Leave a Comment