c++ - 模板中定义类型未知的函数

Question

请问如何在一个模板中定义类型未知的函数呢？
我需要将一段程序的多个步骤和其中的某个操作分离，比如说：

#include <iostream>

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

template <T F(T, T)>    //--- Here
T executor(T a, T b)
{
    return F(a, b);
}

int main()
{
    std::cout << executor<adder>(1, 2);
    std::cout << executor<adder>(3.0f, 4.0f);
    return 0;
}

但是上面template <T F(T, T)>中的T是不能被编译器识别的，怎样解决这个问题呢？

我自己找到答案了,这个贴就让沉掉吧（不知道怎么关闭╮(╯▽╰)╭）：

#include <iostream>

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

template <typename T, T F(T, T)>
T executor(T a, T b)
{
    return F(a, b);
}

int main()
{
    std::cout << executor<int, adder>(1, 2);
    std::cout << executor<float, adder>(3.0f, 4.0f);
    return 0;
}

Answer 1

ここでは、エグゼキュータのタイプを推測する前に、まず加算器のタイプを決定する必要があります。ソースプログラム内の加算器のタイプは、エグゼキュータの関数パラメータによって決まります。シーケンスを導出する際に問題があるため、加算器のタイプを手動で指定することで解決できます。確かにもっと良い方法があるかもしれませんか？

リーリー