可变参数模板参数解包

Question

对于每个参数，我需要应用两个嵌套函数：

obj.apply(someFilter(arg)); // arg is one argument, but here
                            // should be an unpacking of args

我不知道如何为这种情况写解包。

我看到了这个：

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

在维基上 ，但又不知道如何应用于我的情况。

Answer 1

它实际上非常简单：您可以将任意表达式放在variadic模板参数包的解包中：

obj.apply(someFilter(arg))...

这将为您提供obj.apply作为昏迷分隔列表的结果。 然后，您可以将其传递给虚拟函数：

template<typename... Args> swallow (Args&&...) {}
swallow(obj.apply(someFilter(arg))...);

吞下逗号分隔列表。

当然，这假设obj.apply返回某种对象。 如果没有，你可以使用

swallow((obj.apply(someFilter(arg)), 0)...);

制作实际（非void ）参数

如果你不知道obj.apply`返回什么（结果可能重载了逗号运算符），你可以通过使用禁用自定义逗号运算符的使用

swallow((obj.apply(someFilter(arg)), void(),  0)...);

如果您确实需要按顺序评估项目（这似乎不太可能来自问题），您可以滥用数组初始化语法而不是使用函数调用：

using Alias=char[];
Alias{ (apply(someFilter(args)), void(), '\0')... };

Answer 2

我假设代码有多个arg作为参数包？ 尝试：

obj.apply( someFilter( arg )... );

因为参数解包应用于表达式，所以参数包的每个元素都被扩展为someFilter( arg ) 。

Answer 3

这是一种在参数包上执行任意操作集的可靠方法。 它遵循最少惊喜的原则，并按顺序执行操作：

template<typename Lambda, typename Lambdas>
void do_in_order( Lambda&& lambda, Lambdas&& lambdas )
{
  std::forward<Lambda>(lambda)();
  do_in_order( std::forward<Lambdas>(lambdas)... );
}

void do_in_order() {}

template<typename Args>
void test( Args&& args ) {
  do_in_order( [&](){obj.apply(someFilter(std::forward<Args>(args)));}... );
}

基本上，你在do_in_order发送一堆lambdas，它从前到后评估它们。