Isn’t the const modifier here unnecessary? [duplicate]

by

The point is that for class types (but not for builtin types), a = b is just a shorthand to a.operator=(b), where operator= is a member function. And member functions can be called on rvalues such (a * b) created by Rational::operator*. To enforce similar semantics as for builtin rvalues (“do as the ints do“) some authors (Meyers including) recommended in C++98 to return by const-rvalue for classes with such operators.

However, in C++11 returning by const-rvalue is a bad idea as it will inhibit move semantics because const rvalues cannot bind to T&&.

In his notes An overview of the new C++ (C++11), Scott Meyers gives precisely the same example from his old book, and concludes that it is now considered poor design to add the const return value. The recommended signature is now

Rational operator*(const Rational& lhs, const Rational& rhs);

UPDATE: As implied by @JohannesSchaub-litb in the comments, in C++11 you can also use a reference qualifier on the assignment operator so that it will only accept lvalues as its left argument (i.e. the *this pointer, which is why this feature is also known as “rvalue references for *this”). You’ll need g++ >= 4.8.1 (just released) or Clang >= 2.9 to make use of it.

More Related Contents:

  1. What’s the difference between constexpr and const?
  2. Does C++11 allow vector?
  3. Rvalue Reference is Treated as an Lvalue?
  4. const vs constexpr on variables
  5. Does const mean thread-safe in C++11?
  6. Do rvalue references to const have any use?
  7. Is pass-by-value a reasonable default in C++11?
  8. int vs const int& [closed]
  9. C++0x lambda capture by value always const?
  10. const& , & and && specifiers for member functions in C++
  11. non-class rvalues always have cv-unqualified types
  12. In C++, what categories (lvalue, rvalue, xvalue, etc.) can expressions that produce temporaries of class type fall into?
  13. Do I really need to implement user-provided constructor for const objects?
  14. Do rvalue references allow dangling references?
  15. On how to recognize Rvalue or Lvalue reference and if-it-has-a-name rule
  16. Passing rvalues through std::bind
  17. What is the value category of the operands of C++ operators when unspecified?
  18. In C++, is it still bad practice to return a vector from a function?
  19. Is it valid to bind non-const lvalue-references to rvalues in C++ 11?(modified)
  20. constexpr vs. static const: Which one to prefer?
  21. constexpr const vs constexpr variables?
  22. Should I still return const objects in C++11? [duplicate]
  23. How to determine programmatically if an expression is rvalue or lvalue in C++?
  24. Why does std::forward have two overloads?
  25. prolonging the lifetime of temporaries
  26. reinterpret_cast creating a trivially default-constructible object
  27. C++: const reference, before vs after type-specifier
  28. How to enforce copy elision, why it won’t work with deleted copy constructor?
  29. How can I use std::imbue to set the locale for std::wcout?
  30. Implementation of Permutation, Combinations and PowerSet in C++ [duplicate]

Leave a Comment