参数包扩展中的求值顺序问题

Question

我写了一个模板，它接受一个istream&和一个函数，应该从 中提取这个函数的所有参数，istream用这些参数调用函数并返回结果。一切正常，除了函数参数的评估顺序。请参阅下面的代码、更多详细信息和最终问题：

#include <iostream>
#include <vector>

void Foo(int i, std::string s)
{
    std::cout << "input was " << i << " and " << s << '\n';
}

template<typename T>
T Parse(std::istream &s)
{
    T res;
    
    s >> res;
    
    return res;
}

template<typename TR, typename ... TArgs>
TR Bar(std::istream &s, TR f(TArgs...) )
{
    return f(Parse<TArgs>(s)...);
}

int main()
{
    Bar(std::cin, Foo);
}

输入：

1 2

预期输出：

input was 1 and 2

实际输出：

input was 2 and 1

我知道函数参数的评估是特定于实现的，显然这里最后一个参数首先被评估并读取第一个输入。

如何修复此代码并对参数强制执行特定的评估顺序？也许在调用函数之前单独评估它们？在不违反标准和/或依赖特定实现或编译器的情况下甚至可能吗？

Answer 1

例如，我们可以使用中间体std::tuple来强制评估顺序：

template<typename TR, typename ... TArgs>
TR Bar(std::istream &s, TR f(TArgs...) )
{
    std::tuple<TArgs...> args{Parse<TArgs>(s)...};
    return std::apply(f, std::move(args));
}

与函数参数相反，花括号列表中参数的计算顺序由它们在该列表中的顺序固定，[dcl.init.list/4]：

内的初始化列表一个的支撑，初始化列表中，初始化子句，包括包扩展任何结果，在它们出现的顺序进行评估。也就是说，与给定的初始化子句相关联的每个值计算和副作用都在与在初始化器列表的逗号分隔列表中跟随它的任何初始化子句相关联的每个值计算和副作用之前排序。[?注：无论初始化的语义如何，此评估顺序都成立；例如，它适用于初始化列表 被解释为构造函数调用的参数，即使通常调用的参数没有顺序约束。？]