是否可以将函数模板作为模板参数传递？

Question

假设我们有一个模板函数：

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...
}

有可能吗？

我知道我可以使用带有已定义 () 运算符的结构。我只是对函数很好奇。

编辑：

在我写这个问题时，我的朋友找到了部分解决方案：

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 T2, template<typename, typename, typename> some_function>
void big_fun(T1 a, T2 b) {
   // some code...
   a = some_function<T1, T1, T1>(a, a);
   a = some_function<T1, T2, T1>(a, b);
   b = some_function<T2, T2, T2>(b, b);
   b = some_function<T2, T1, T2>(b, a);
   // some code...
}

Answer 1

不，这是不可能的。从 N3337 中的 14.3.3 开始：

模板模板参数的模板参数应为 类模板或别名模板的名称，表示为 id 表达式。当模板参数命名一个类模板时， 匹配模板时只考虑主类模板 带有相应参数的模板参数；部分的 即使参数列表匹配，也不考虑特化 模板模板参数的那个。

第一段只明确提到了类模板。我想这也不值得麻烦，因为您已经可以使用函数或 std::function 作为参数来做一些非常相似的事情。

Answer 2

C++ 中的模板在编译时使用具体类型进行编译。他们必须知道。

这表示您可以通过传递可以推导出参数的函数模板来进一步使用您的部分解决方案。请注意，这与使用具体类型显式传递函数没有什么不同，您只需键入更少。

template<typename T>
T square(T a, T b)
{
    return a * b;
}

template<typename T, T (*some_function)(T, T)>
T test(T a) 
{
   return square (a, a);
}

void main()
{
    int a = test<int, square>(2);
    float b = test<float, square>(2.2f);
}

Answer 3

只要template< typename T1, typename T2, typename T3> someTemplate 评估为某个实际类而没有错误，您就可以在其他模板内外任意组合使用它。

你试过编译它吗？告诉我们你得到了什么错误（和具体示例）