c++ - 以实参作为模板形参的模板化函数指针

Question

我无法编译我的代码。我希望能够声明一个函数，该函数将另一个函数(或定义了 operator() 的类或 lambda 表达式)作为参数，并且该函数也具有模板参数。这是我想做的事情的一个例子:

template <class T, T F> 
T execF(T a, T b) 
{ 
    return F(a, b); 
}

template <class T>
T add(T a, T b) 
{ 
    return a + b;
}

int main()
{ 
    std::cout << execF<int, add>(3,4) << std::endl;
}

在 C++14 中有可能做这样的事情吗？

Answer 1

应该是:

template <class T, T F(T, T)>
T execF(T a, T b)
{
    return F(a, b);
}

如果你想省略所有模板参数，我建议坚持 Some Programmer Dude 的评论并接受函数作为函数参数:

template <typename T>
T execF(T a, T b, T f(T, T))
{
    return f(a, b);
}

template <typename T>
T add(T a, T b) { return a + b; }

int main(int , char **)
{
    auto x = execF(41.8f, 0.2f, add); //all params deduced in both functions
    std::cout << x << std::endl;

    x = execF(27, 15, add); //idem
    std::cout << x << std::endl;

    return 0;
}