0

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

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

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

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

我们再次确保一切都Ts可以并且必须能够转换double

期望的是,假设a,bclambda 表达式,调用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)),但我找不到将其扩展回参数包的方法。(我想将参数扩展回参数包,因为我想在我的库中重用其他函数,而不是编写另一个将数组或初始化列表作为参数的函数。)

4

1 回答 1

1

语法是:

template <typename... Fs>
auto parse(int x, Fs... func)
{
    return test(funcs(x)...);
}
于 2021-07-21T09:06:57.830 回答