参数包扩展顺序

Question

我有2个函数来读取二进制文件.

第一个函数sizeof(T)从文件中读取字节:

template<typename T>
T read() { ... some IO operations ... };

第二个函数使用每个模板参数多次调用第一个:

template<typename... Ts>
std::tuple<Ts...> read_all() {
    return std::make_tuple(read<Ts>()...);
};

除第一个函数调用顺序外,一切正常.喜欢的东西

uint32_t a;
uint8_t b;
std::tie(a, b) = read_all<uint32_t, uint8_t>();

第一个将被调用read<uint8_t>(),之后read<uint32>()将反转传递模板参数的顺序,并在文件中以字节顺序混乱.

当然,我可以调用read_all模板参数的颠倒顺序并最终获得正确的顺序,但是有更明显的方法吗？

Answer 1

C++没有指定函数参数的计算顺序.如果函数的表达式都使用流中的数据,则可以获得以错误顺序读取对象的行为.

但是,从左到右评估了支撑的初始化列表,因此如果您尝试以下方法,则应该获得更好的结果:

template<typename... Ts>
std::tuple<Ts...> read_all() {
    return std::tuple<Ts...>{read<Ts>()...};
}