24

我写了一个模板，它接受一个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

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

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

4

1 回答 1

23

例如，我们可以使用中间体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]：

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

于 2020-09-21T08:25:11.813 回答