Question

我很高兴发现for_each_arg(...)，这使得处理参数包变得更加容易。

template<class F, class...Ts>
F for_each_arg(F f, Ts&&...a) {
 return (void)initializer_list<int>{(ref(f)((Ts&&)a),0)...}, f;
}

然而，我对它的正确用法感到困惑。有许多论据需要完美转发，但我是否正在执行任何不必要的转发？

过度的前锋会使阅读代码变得更加困难。

struct UselessContainer
{
    // Expects a perfectly-forwarded item to emplace
    template<typename T> void add(T&&) { }   
};

// Creates an `UselessContainer` already filled with `mArgs...`
auto makeUselessContainer(TArgs&&... mArgs)
{
    using namespace std;
    UselessContainer result;

    for_each_arg
    (
        [&result, &mArgs...] // Am I capturing the `mArgs...` pack correctly here?
        (auto&& mX) // Am I passing the arguments to the lambda correctly here?
        { 
            // Is this `forward` necessary?
            result.add(forward<decltype(mX)>(mX)); 

            // Could it be replaced with
            // `result.add(forward(mX));` 
            // ?             
        }, 
        forward<TArgs>(mArgs)... // I assume this `forward` is necessary.
    );

    return result;
}

我的所有疑问/疑问都在上面的代码示例的注释中表达出来。

Answer 1

代码中的每个forward确实必须将所有参数完美地转发到结尾。右值引用的名称是左值，因此除非您每次传递参数时都转发，否则值类别信息将丢失。
此外，如果没有显式模板参数列表，则无法调用forward，因为模板参数仅用于一个非推断的上下文中。实际上，没有显式参数列表的函数模板无法完成这项工作。

您可以尝试使用宏来缩短代码：

#define FORWARD(...) std::forward<decltype(__VA_ARGS__)>(__VA_ARGS__)

然后变成

for_each_arg
(
    // Removed superfluous capture
    [&result] (auto&& mX) { 
        result.add(FORWARD(mX));       
    }, 
    FORWARD(mArgs)...
);

首先也可以使用宏代替for_each_arg：

#define FOR_EACH_ARG(...) (void)std::initializer_list<int>{((__VA_ARGS__),0)...}

FOR_EACH_ARG( result.add(forward<TArgs>(mArgs)) );

Answer 2

for_each_arg (
  [&](auto&& mX){
    result.add(std::forward<decltype(mX)>(mX));
  },
  std::forward<TArgs>(mArgs)...
);

制作这种lambda时只需抓取&。如果您必须列出，则只需要捕获&result。

forward<?>始终与类型参数一起使用。

注意Eric的for_each_arg是不完美的，主要是关于140个字符或更少的字符。 ;）它的缺陷是温和的，在这里是无害的。

这是另一种选择：

首先，写下这个：

template<class...Fs>
void do_in_order(Fs&&...fs){
  int _[]={0,
    (((void)(std::forward<Fs>(fs)())),0)...
  };
  (void)_; // kills warnings
}

它需要零arg lambdas，并从左到右运行。

然后将调用替换为for_each_arg：

do_in_order(
  [&]{
    result.add(std::forward<TArgs>(mArgs));
  }...
);

缺点是更多的编译器不会像上面那样。

do_in_order中表达式的排序由n4296 8.5.4 / 4 8.5.4 / 1 8.5 / 15 8.5 / 1中的[dcl.init]和[dcl.init.list]部分保证。初始化是复制列表初始化（8.5 / 15和8.5.4 / 1），是 braced-init-list 初始化列表 >＆＃34; （8.5 / 1）因此从左到右排序（8.5.4 / 4）。

正确使用`for_each_arg` - 过多的转发？

2 个答案: