c – 可以传递函数模板作为模板参数吗？

template<typename T1,typename T2,typename T3>
T3 such_fun(T1 a,T2 b) {
    // do something...
}

现在我们想用它作为另一个模板中的参数,例如像那样

template<typename T1,template<typename,typename,typename> some_function>
void big_fun(T1 a) {
   // some code...
   a = some_function<T1,T1,T1>(a,a);
   // some code...
}

可能吗？

我知道我可以使用具有define()运算符的struct.我只是好奇的功能.

编辑：

在我写这个问题的时候,我的朋友发现了一个部分解决方案：

template<typename T1,T1 (*some_function)(T1,T1)>
void big_fun(T1 a) {
   // some code...
   a = some_function(a,a);
   // some code...
}

但仍然 – 我很好奇,如果可能没有在调用之前实现函数类型.例如 – 我可能想要使用各种类型的组合来调用传递的模板：

template<typename T1,typename> some_function>
void big_fun(T1 a,T2 b) {
   // some code...
   a = some_function<T1,a);
   a = some_function<T1,T2,b);
   b = some_function<T2,T2>(b,a);
   // some code...
}