c++ - 将 lambda 应用于模板参数包；未捕获 lambda 参数

Question

我想编写一个函数来接受任意数量的数字参数并返回它们的平均值。使用来自 Wikipedia 的扩展技巧:

namespace detail
{
    template<typename... Args> void iterate_template_pack(Args&&...) {}
}

template <typename ResultType, typename... Args>
ResultType arithmeticMean(Args&&... args)
{
    ResultType acc = ResultType(0);
    size_t n = 0;

    detail::iterate_template_pack(([&](){
        acc += ResultType(args);
        ++n;
    })...);

    return acc / n;
}

这可以编译并且几乎可以工作:我可以看到 lambda 正确地一个接一个地接收参数。但是，acc 和n 没有被修改。怎么会这样？

Answer 1

您需要调用 lambda，否则您只是将一系列 lambda 对象传递给 iterate_template_pack:

detail::iterate_template_pack(([&](){
    acc += ResultType(args);
    ++n;
})()...);
  ^^

由于您的 lambda 没有返回值，您还需要提供一个值以传递给 iterate_template_pack，因为您不能将 void 作为参数传递:

detail::iterate_template_pack((([&](){
    acc += ResultType(args);
    ++n;
})(), void(), 0)...);

From Wikipedia (我的重点):

Instead of executing a function, a lambda expression may be specified and executed in place, which allows executing arbitrary sequences of statements in-place.

pass{([&]{ std::cout << args << std::endl; }(), 1)...};

请注意，由于 PR 47226，gcc 无法编译上述内容(另请参见 https://stackoverflow.com/a/13444602/34509)。一种解决方法是在 lambda 之外扩展参数包:

detail::iterate_template_pack((([&](ResultType&& r){
    acc += r;
    ++n;
}(args)), void(), 0)...);