c++ - 使用 std::make_tuple 时如何避免构造函数的未定义执行顺序

Question

如果构造函数的执行顺序很重要，我该如何使用 std::make_tuple？

比如我猜A类的构造函数和B类的构造函数的执行顺序是未定义的:

std::tuple<A, B> t(std::make_tuple(A(std::cin), B(std::cin)));

我在阅读了对该问题的评论后得出了这个结论

Translating a std::tuple into a template parameter pack

这就是说这个

template<typename... args>
std::tuple<args...> parse(std::istream &stream) {
  return std::make_tuple(args(stream)...);
}

实现具有未定义的构造函数执行顺序。

更新，提供一些上下文:

为了给我想要做的事情提供更多背景知识，这里有一个草图:

我想在 CodeSynthesis XSD 的帮助下从 stdin 读取一些序列化对象 二进制解析/序列化。以下是如何完成此类解析和序列化的示例:example/cxx/tree/binary/xdr/driver.cxx

xml_schema::istream<XDR> ixdr (xdr); 
std::auto_ptr<catalog> copy (new catalog (ixdr));

我希望能够指定序列化对象具有的类的列表(例如，3 个序列化对象的目录、目录、someOtherSerializableClass)并将该信息存储为 typedef

template <typename... Args>
struct variadic_typedef {};

typedef variadic_typedef<catalog, catalog, someOtherSerializableClass> myTypes;

如 Is it possible to “store” a template parameter pack without expanding it? 中的建议

并找到一种在解析完成后获取 std::tuple 的方法。草图:

auto serializedObjects(binaryParse<myTypes>(std::cin));

serializedObjects 的类型在哪里

std::tuple<catalog, catalog, someOtherSerializableClass>

Answer 1

简单的解决方案是不使用std::make_tuple(...)首先，但要构建一个 std::tuple<...>直接:成员的构造函数被调用的顺序是明确定义的:

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)...);
}

函数模板dummy<T>()只是用来扩展一些东西。该顺序由 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

根据下面的讨论和 Xeo 的评论，似乎更好的选择是使用

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

使用大括号初始化是有效的，因为大括号初始化列表中参数的求值顺序是它们出现的顺序。 T{...} 的语义在 12.6.1 [class.explicit.init] 第 2 段中进行了描述，说明它遵循列表初始化语义的规则(注意:这与仅适用于同质类型的 std::initializer_list 无关)。排序约束在 8.5.4 [dcl.init.list] 第 4 段中。