使用可变参数 lambda 遍历可变参数函数模板的参数

Question

假设我们有以下函数模板：

template <typename Functor, typename... Arguments>
void IterateThrough(Functor functor, Arguments&&... arguments)
{
    // apply functor to all arguments
}

该功能通常实现如下：

template <typename Functor, typename... Arguments>
void IterateThrough1(Functor functor, Arguments&&... arguments)
{
    int iterate[]{0, (functor(std::forward<Arguments>(arguments)), void(), 0)...};
    static_cast<void>(iterate);
}

另一种方式：

struct Iterate
{
    template <typename... Arguments>
    Iterate(Arguments&&... arguments)
    {
    }
};

template <typename Functor, typename... Arguments>
void IterateThrough2(Functor functor, Arguments&&... arguments)
{
    Iterate{(functor(std::forward<Arguments>(arguments)), void(), 0)...};
}

我发现了另一种使用可变参数 lambda 的方法：

template <typename Functor, typename... Arguments>
void IterateThrough3(Functor functor, Arguments&&... arguments)
{
    [](...){}((functor(std::forward<Arguments>(arguments)), void(), 0)...);
}

与前两种方法相比，这种方法有什么优缺点？

Answer 1

对functor 的调用现在未排序。编译器可以按照它想要的任何顺序使用扩展参数调用functor。例如，IterateThrough3(functor, 1, 2) 可以是 functor(1); functor(2);，也可以是 functor(2); functor(1);，而其他两个总是 functor(1); functor(2);。

该标准的第 8.5.4/4 节要求 {} 初始化程序中的任何表达式从左到右进行计算。

在花括号初始化列表的初始化列表中，初始化子句，包括任何由 pack 产生的子句 扩展 (14.5.3)，按照它们出现的顺序进行评估。

第 5.2.2/4 节规定，函数调用的参数可以按任何顺序计算。

当一个函数被调用时，每个参数（8.3.5）都应该被初始化（8.5,12.8,12.1），并使用其对应的 争论。 [注意：此类初始化彼此之间的顺序不确定（1.9）- 尾注]

这可能不包括评估顺序的措辞（我找不到 ATM），但众所周知，函数的参数是以未指定的顺序评估的。编辑：有关标准报价，请参阅@dyp 的评论。

Answer 2

当您使用可变参数 lambda 时，根据语言规范未指定参数的评估顺序（这反过来意味着 functor(argument) 的评估可能是程序员不知道的任何顺序)。这是唯一的区别。你可以在这个网站上搜索“参数评估的顺序”，你会看到很多主题。

至于可变参数模板化构造方法，只要你使用列表初始化来调用它就应该可以工作，否则它会和 lambda 有同样的问题。请注意，GCC（最高 4.8.2）有错误，所以这不起作用，虽然我不知道它是否被最新版本的 GCC 修复。

Answer 3

如果您的目标是没有外部机器的单线，您可以使用接受 std::initializer_list 的 lambda：

template <typename Functor, typename... Arguments>
void IterateThrough3(Functor functor, Arguments&&... arguments)
{
    [](std::initializer_list<int>){}(
        {((void)functor(std::forward<Arguments>(arguments)), 0)...}
    );
}