C++ constant reference lifetime (container adaptor)

by

According to the C++03 standard, a temporary bound to a reference has differing lifetimes depending on the context. In your example, I think the highlighted portion below applies (12.2/5 “Temporary objects”):

The temporary to which the reference is bound or the temporary that is the complete object to a subobject of which the temporary is bound persists for the lifetime of the reference except as specified below. A temporary bound to a reference member in a constructor’s ctor-initializer (12.6.2) persists until the constructor exits. A temporary bound to a reference parameter in a function call (5.2.2) persists until the completion of the full expression containing the call.

So while binding a temporary is an advanced technique to extend the lifetime of the temporary object (GotW #88: A Candidate For the “Most Important const”), it apparently won’t help you in this case.

On the other hand, Eric Niebler has an article that you may be interested in that discusses an interesting (if convoluted) technique that could let your class’s constructors deduce whether a temporary object (actually an rvalue) has been passed to it (and therefore would have to be copied) or a non-temporary (lvalue) as been passed (and therefore could potentially safely have a reference stashed away instead of copying):

Good luck with it though – every time I read the article, I have to work through everything as if I’ve never seen the material before. It only sticks with me for a fleeting moment…

And I should mention that C++0x’s rvalue references should make Niebler’s techniques unnecessary. Rvalue references will be supported by MSVC 2010 which is scheduled to be released in a week or so (on 12 April 2010 if I recall correctly). I don’t know what the status of rvalue references is in GCC.

More Related Contents:

  1. Is it safe to make a const reference member to a temporary variable?
  2. How come a non-const reference cannot bind to a temporary object?
  3. int vs const int& [closed]
  4. C++: const reference, before vs after type-specifier
  5. Returning temporary object and binding to const reference [duplicate]
  6. constant references with typedef and templates in c++
  7. What is the difference between a const reference and normal parameter?
  8. What is a constant reference? (not a reference to a constant)
  9. Returning non-const reference from a const member function
  10. Modifying reference member from const member function in C++
  11. Use const wherever possible in C++?
  12. prolonging the lifetime of temporaries
  13. What is the lifetime of a static variable in a C++ function?
  14. What is meant with “const” at end of function declaration? [duplicate]
  15. C++ pass an array by reference
  16. Const map element access
  17. C++ standard: dereferencing NULL pointer to get a reference? [duplicate]
  18. Functions with const arguments and Overloading
  19. Is it safe to push_back an element from the same vector?
  20. ampersand (&) at the end of variable etc
  21. changing the value of const variable in C++ [duplicate]
  22. C/C++ changing the value of a const
  23. Declare a reference and initialize later?
  24. Returning const reference to local variable from a function
  25. What are top-level const qualifiers?
  26. How to avoid code duplication implementing const and non-const iterators?
  27. Why can’t I initialize a reference in an initializer list with uniform initialization?
  28. C++: Why is const_cast evil?
  29. Why Can’t I store references in a `std::map` in C++?
  30. Why does std::forward have two overloads?

Leave a Comment