c++ - 制作可变参数函数，它采用任意数量的 void 仿函数

Question

motivated by my previous question : Make variadic function which takes arbitary functors and returns a tuple of each return value of input functors

现在，我想创建一个只执行每个可能返回 void 的函数对象的类。据我所知，我可以做类似的事情，

class A
{
public:
    template <class Func>
    void operator()(Func func)
    {
        func();
    }

    template <class First, class... Funcs>
    void operator()(First first, Funcs... funcs)
    {
        first();
        operator()(funcs...);
    }
};

这段代码完成了这项工作。但是，我想一定有更聪明的方法，比如上面链接中 Nawaz 和 mfontanini 的代码。

我在下面尝试模仿他们的代码。

class A
{
public:
    template <class... Func>
    void operator()(Func func...)
    {
        func()...;
    }
};

但是，gcc 4.7.2 无法编译。我在这里失踪了吗？

Answer 1

要扩展 Nawaz 的答案，您需要特定的上下文 来执行包扩展 - 它不能在任何地方完成。其中一个上下文是函数参数，另一个是任何类型的初始化。

Nawaz 给出的 sink 函数是一个很好的起点，但它有一个严重的缺陷 - 您无法保证仿函数的执行顺序。如果您希望您的用户能够依赖他们传递给您的顺序，您需要一个确保从左到右评估的上下文。数组初始化和列表初始化都适合这里。

使用数组初始化:

template <class... Func>
void operator()(Func func...)
{
    int ignored[] = { (func(),0)... };
    (void)ignored; // silence unused variable warnings
}

使用列表初始化:

struct swallow{
  template<class... Ignored>
  swallow(Ignored&&...)
};

template <class... Func>
void operator()(Func func...)
{
    swallow{ (func(),0)... }; // create a temporary 'swallow' from all arguments
}

(func(), 0) 部分只是执行 func，丢弃返回值(如果有)，然后评估为 0 .

通常，如果您想对任何仿函数执行此操作，无论返回类型如何，并且只是丢弃结果，您可以将其写为 (void(func()), 0)...。 void(...) 部分吞没来自 func() 的任何返回值，如果有的话。这是必需的，因为允许用户重载 operator,，并且可能决定为他自己的类型和 int(字面值 0)，这会破坏你的努力。但是，您不能在任何一侧使用 void 重载 operator,。