帶有推導參數的模板函數指針數組變量

Question

我想使用函數指針數組而不指定指針類型。 聲明它有效，但我無法在不傳遞模板參數的情況下訪問內容，這違背了目的。 有沒有辦法解決這個問題？ 我正在使用 C++17。

std::function 在這種情況下有效，但我想避免使用它。

#include <functional>

bool f(int x);
bool g(int x);

static std::function<decltype(f)> fps[] {f, g};

template <typename T, typename... Args>
constexpr T (*fpsa[])(Args...) {f, g};

int main() {
    fps[0](1); // OK
    fpsa<bool,int>[0](1); // OK
    fpsa[0](1); // error: use of variable template 'fpsa' requires template arguments
}

Answer 1

我想使用函數指針數組而不指定指針類型。

在這種情況下，您可以將類模板參數推導與std::array ：

constexpr auto fpsa = std::array{f, g};

那應該就夠了。 無需將其設為模板變量。