C++function类疑问

Question

// 这是我写的代码
#include<iostream>
#include <functional>
using namespace std;

int main()
{
    int a,b,c;
    function< bool(int,int) > myf = [&](int x,int y)-> bool { return x > y;};
// 正确  无报错 
  
    return 0;
}

我想问 模版参数那里，bool(int,int) 是什么类型 ？ 还是 用了 宏 ？怎么可以这么传呢 ？

大家看看 这个 类头文件的 定义

我就 搞不懂 bool(int,int) 为什么 可以当作 类型 传进去 ！！

如果他是 函数类型，为什么 不能用它来 定义函数 ？
我记得 除了lambda，仿函数 等一些特殊的函数 其他函数 不都是 函数指针类型吗？

C++ 源文件里这些 类看起来好复杂， 搞不懂

Answer 1

bool(int, int)是函数类型，表示函数可接收两个int类型的参数并返回bool类型的值，也可以称之为函数调用签名（function call signature）。
std::function模板类的模板参数必须是函数类型，只有这样std::function才可以根据模板参数类型推导出其封装的广义函数的参数类型和返回值类型。

https://en.cppreference.com/w/cpp/utility/functional/function