是否可以展开可变参数lambda模板并将这些函数的返回值传递给另一个可变参数函数?

问题描述

所以我想知道给定一个可变参数模板函数,如下所示:

template<typename...Fs>
parse(int x,Fs...funcs);

我们确保(通过 C++20 概念)可转换为 std::function<double(int)>。我们可以将其展开为另一个函数参数,例如传递给以下参数:

template<typename...Ts>
test(Ts...args);

我们再次确保所有 Ts 是并且必须能够转换double

期望的是,假设 abc 是 lambda 表达式,调用 parse(12,a,b,c) 等同于调用 test(a(12),b(12),c(12))


我尝试过的事情就像以下

template<typename...Fs>
parse(int x,Fs...func) {
    return test(...,funcs(x));
}

但是没有用。似乎大多数展开表达式示例都在表达式中放置了一个函数,这是否意味着展开表达式本身不能作为参数列表返回。相反,也许它只能作为单个值返回?

如果是这样,是否有任何解决方法,例如首先将其构造为 (...,void(arr[i++]=args)) 之类的数组,但我找不到将其扩展回参数包的方法。 (我想将参数扩展回参数包,因为我想重用库中的其他函数,而不是编写另一个将数组或初始化列表作为参数的函数。)

解决方法

语法为:

template <typename... Fs>
auto parse(int x,Fs... func)
{
    return test(funcs(x)...);
}