是否可以展開可變參數（lambda）模板並將這些函數的返回值傳遞給另一個可變參數函數？

Question

所以我想知道給定一個可變參數模板函數，如下所示：

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

我們確保（通過 C++20 概念）可以轉換為std::function<double(int)> 。 我們可以將其展開為另一個函數參數，例如傳遞給以下參數：

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

我們再次確保所有Ts是並且必須能夠轉換double 。

期望的是，假設a , b , c是 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))類的數組，但我找不到將其擴展回參數包的方法。 （我想將參數擴展回參數包，因為我想重用庫中的其他函數，而不是編寫另一個將數組或初始化列表作為參數的函數。）

Answer 1

語法是：

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