c++ - 将任何函数作为模板参数传递？

Question

我正在寻找一种将通用(显然是 constexpr)函数传递给模板的方法。它必须能够接受任意数量的参数，而无需使用 lambda。这是我目前所拥有的:

template<typename T, T(*FUNC)()> struct CALL
{
    static inline constexpr decltype(FUNC()) EXEC()
    {
        return FUNC();
    }
};

然而，这仅在传递的函数不带参数时有效。有没有办法让模板接受任何 constexpr 函数？传递 std::function 似乎不起作用。我想关键是可变模板参数，但我不知道如何在这种情况下利用它们。

Answer 1

如果我正确理解你想要实现的目标，你可以使用模板函数而不是带有静态函数的模板类:

#include <iostream>

template<typename T, typename... Ts>
constexpr auto CALL(T (*FUNC)(Ts...), Ts&&... args) -> decltype(FUNC(args...))
{
    return FUNC(std::forward<Ts>(args)...);
}

constexpr double sum(double x, double y)
{
    return (x + y);
}

int main()
{
    constexpr double result = CALL(sum, 3.0, 4.0);
    static_assert((result == 7.0), "Error!");
    return 0;
}