how to avoid undefined execution order for the constructors when using std::make_tuple

by

The trivial solution is not to use std::make_tuple(...) in the first place but to construct a std::tuple<...> directly: The order in which constructors for the members are called is well defined:

template <typename>
std::istream& dummy(std::istream& in) {
    return in;
}
template <typename... T>
std::tuple<T...> parse(std::istream& in) {
    return std::tuple<T...>(dummy<T>(in)...);
}

The function template dummy<T>() is only used to have something to expand on. The order is imposed by construction order of the elements in the std::tuple<T...>:

template <typename... T>
    template <typename... U>
    std::tuple<T...>::tuple(U...&& arg)
        : members_(std::forward<U>(arg)...) { // NOTE: pseudo code - the real code is
    }                                        //       somewhat more complex

Following the discussion below and Xeo’s comment it seems that a better alternative is to use

template <typename... T>
std::tuple<T...> parse(std::istream& in) {
    return std::tuple<T...>{ T(in)... };
}

The use of brace initialization works because the order of evaluation of the arguments in a brace initializer list is the order in which they appear. The semantics of T{...} are described in 12.6.1 [class.explicit.init] paragraph 2 stating that it follows the rules of list initialization semantics (note: this has nothing to do with std::initializer_list which only works with homogenous types). The ordering constraint is in 8.5.4 [dcl.init.list] paragraph 4.

More Related Contents:

  1. Pretty-print std::tuple
  2. Can someone please explain the “indices trick”?
  3. “unpacking” a tuple to call a matching function pointer
  4. How do I expand a tuple into variadic template function’s arguments?
  5. make_unique and perfect forwarding
  6. Variadic template pack expansion
  7. Implementing comparison operators via ‘tuple’ and ‘tie’, a good idea?
  8. C++11: I can go from multiple args to tuple, but can I go from tuple to multiple args? [duplicate]
  9. What are the rules for the “…” token in the context of variadic templates?
  10. check variadic templates parameters for uniqueness
  11. What is the meaning of “… …” token? i.e. double ellipsis operator on parameter pack
  12. Convert std::tuple to std::array C++11
  13. Is it possible to “store” a template parameter pack without expanding it?
  14. How to create the Cartesian product of a type list?
  15. How to reverse the order of arguments of a variadic template function?
  16. What does this variadic template code do?
  17. effective way to select last parameter of variadic template
  18. Is there a name for this tuple-creation idiom?
  19. C++11 “overloaded lambda” with variadic template and variable capture
  20. How can I have multiple parameter packs in a variadic template?
  21. C++11: Number of Variadic Template Function Parameters?
  22. How to make a variadic is_same?
  23. generic member function pointer as a template parameter
  24. Why is there no piecewise tuple construction?
  25. Generating one class member per variadic template argument
  26. How to initialize all tuple elements by the same arguments?
  27. template parameter packs access Nth type and Nth element
  28. using declaration in variadic template
  29. get part of std::tuple
  30. get part of std::tuple

Leave a Comment