initializer_list and move semantics

by

No, that won’t work as intended; you will still get copies. I’m pretty surprised by this, as I’d thought that initializer_list existed to keep an array of temporaries until they were move‘d.

begin and end for initializer_list return const T *, so the result of move in your code is T const && — an immutable rvalue reference. Such an expression can’t meaningfully be moved from. It will bind to an function parameter of type T const & because rvalues do bind to const lvalue references, and you will still see copy semantics.

Probably the reason for this is so the compiler can elect to make the initializer_list a statically-initialized constant, but it seems it would be cleaner to make its type initializer_list or const initializer_list at the compiler’s discretion, so the user doesn’t know whether to expect a const or mutable result from begin and end. But that’s just my gut feeling, probably there’s a good reason I’m wrong.

Update: I’ve written an ISO proposal for initializer_list support of move-only types. It’s only a first draft, and it’s not implemented anywhere yet, but you can see it for more analysis of the problem.

More Related Contents:

  1. Can I list-initialize a vector of move-only type?
  2. initializer_list and template type deduction
  3. Initializer-list-constructing a vector of noncopyable (but movable) objects
  4. What is move semantics?
  5. How to enforce move semantics when a vector grows?
  6. What can I do with a moved-from object?
  7. Variadic template pack expansion
  8. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  9. std::function vs template
  10. Why no default move-assignment/move-constructor?
  11. What are the rules for automatic generation of move operations?
  12. Specifying one type for all arguments passed to variadic function or variadic template function w/out using array, vector, structs, etc?
  13. Alias template specialisation
  14. How does std::move() transfer values into RValues?
  15. What do compilers do with compile-time branching?
  16. Doing a static_assert that a template type is another template
  17. void_t “can implement concepts”?
  18. How can I output the value of an enum class in C++11
  19. Is a `=default` move constructor equivalent to a member-wise move constructor?
  20. Forwarding all constructors in C++0x
  21. Lambda expressions as class template parameters
  22. Using export keyword with templates
  23. How to make a variadic is_same?
  24. std::remove_const with const references
  25. Passing a lambda into a function template
  26. using SFINAE for template class specialisation
  27. templated typedef?
  28. Why does the template-id in “A=0” not compile without space because of the greater-or-equal-than operator “>=”?
  29. Specializing a template on a lambda in C++0x
  30. Concatenate compile-time strings in a template at compile time?

Leave a Comment