Do rvalue references allow dangling references?

by

Do rvalue references allow dangling references?

If you meant “Is it possible to create dangling rvalue references” then the answer is yes. Your example, however,

string middle_name () {
    return "Jaan";
}

int main()
{
    string&& nodanger = middle_name();   // OK.
    // The life-time of the temporary is extended
    // to the life-time of the reference.
    return 0;
}

is perfectly fine. The same rule applies here that makes this example (article by Herb Sutter) safe as well. If you initialize a reference with a pure rvalue, the life-time of the tempoary object gets extended to the life-time of the reference. You can still produce dangling references, though. For example, this is not safe anymore:

int main()
{
    string&& danger = std::move(middle_name());  // dangling reference !
    return 0;
}

Because std::move returns a string&& (which is not a pure rvalue) the rule that extends the temporary’s life-time doesn’t apply. Here, std::move returns a so-called xvalue. An xvalue is just an unnamed rvalue reference. As such it could refer to anything and it is basically impossible to guess what a returned reference refers to without looking at the function’s implementation.

More Related Contents:

  1. Rvalue Reference is Treated as an Lvalue?
  2. non-class rvalues always have cv-unqualified types
  3. In C++, what categories (lvalue, rvalue, xvalue, etc.) can expressions that produce temporaries of class type fall into?
  4. On how to recognize Rvalue or Lvalue reference and if-it-has-a-name rule
  5. Passing rvalues through std::bind
  6. What is the value category of the operands of C++ operators when unspecified?
  7. Isn’t the const modifier here unnecessary? [duplicate]
  8. Is it valid to bind non-const lvalue-references to rvalues in C++ 11?(modified)
  9. How to determine programmatically if an expression is rvalue or lvalue in C++?
  10. Why does std::forward have two overloads?
  11. Using generic std::function objects with member functions in one class
  12. How can I sort two vectors in the same way, with criteria that uses only one of the vectors?
  13. Does const mean thread-safe in C++11?
  14. How to implement make_unique function in C++11? [duplicate]
  15. C++0x lambda capture by value always const?
  16. ‘colon’ and ‘auto’ in for loop c++? need some help understanding the syntax
  17. Computing length of a C string at compile time. Is this really a constexpr?
  18. How to construct std::array object with initializer list? [duplicate]
  19. Doing a static_assert that a template type is another template
  20. std::bind overload resolution
  21. So why is i = ++i + 1 well-defined in C++11?
  22. Forwarding all constructors in C++0x
  23. What is the difference between C++03 `throw()` specifier and C++11 `noexcept`?
  24. When is std::chrono epoch?
  25. Using char16_t and char32_t in I/O
  26. constexpr initialization of array to sort contents
  27. What am I allowed to do with a static, constexpr, in-class initialized data member?
  28. What is the purpose of std::function and how to use it?
  29. const auto std::initializer_list difference between Clang and GCC
  30. Overload resolution with ref-qualifiers

Leave a Comment