函数类型，函数指针类型和函数指针的区别#

函数指针指向的是函数而非对象。和其他指针类型一样，函数指针指向某种特定类型。
函数类型由它的返回值和参数类型决定，与函数名无关。
函数指针类型就是函数指针的类型。

1
bool func(const string& a, const string& b);

上述函数类型是：bool (const string &, const string &); 函数指针类型是：bool (*)(const string &, const string &);

我们提到过，函数名称在使用时会被自动转换为函数指针。也就是：

1
fptr_name = func
2
    等价于
3
fptr_name = &func

1
bool Func(const string&, const string&); // Func是函数类型；
2
bool (*FuncP)(const string&, const string&); // FuncP是函数指针类型；
3
typedef decltype(Func) Func2;  // Func2是函数类型；
4
typedef decltype(FuncP) *Func2P; // Func2P是函数指针类型；

注意decltype(Func)返回的是函数类型，而不是函数指针类型；

下面两个声明语句是同一个函数，因为编译器会自动的将Functoin_Type 转换成函数指针类型。

1
void test(int a, int b, Functoin_Type  fn);
2
void test(int a, int b, Funcion_Pointer fn);

测试：

1
using Functoin_Type = int(float,int); //函数类型
2
using Funcion_Pointer = int(*)(float, int); //函数指针类型
3

4

5
void callback1(Functoin_Type callable){ //函数类型当形参。自动转换
6
    callable(1.2f,2);
7
}
8
void callback2(Funcion_Pointer callable){ //函数指针当形参。
9
    callable(1.2f,2);
10
}
11
int testsor(float b, int c){
12
    cout << b << endl;
13
    cout << c << endl;
14
    cout <<"success" << endl;
15
    return 1;
16
}
17
int main(){
18
    // test<int(float, int)> obj;
19
    // obj.construct(testsor, 2.5f, 234);
20
    callback1(testsor); //效果一致
21
    callback2(testsor); //效果一致
22
    return 0;
23
}

做为返回值时，由于返回的必须是函数指针类型而非函数类型，所以

1
Functoin_Type ret1(){
2
 //错误。返回的是函数类型
3
}
4
Funcion_Pointer ret2(){
5
    //正确。返回的是函数指针类型。
6
}

函数类型有一个非常特殊的地方：不能使用函数类型声明变量，但是可以把它当做函数的形参（编译器会自动转换）

https://zh.cppreference.com/w/cpp/language/function

形参列表部分：

…

形参列表中的每个函数形参的类型根据下列规则确定：

…

如果类型是函数类型 F，那么它被替换成类型F 的指针”

…

1
Functoin_Type f = testsor;      //错误 不可使用函数类型声明变量。
2
Funcion_Pointer f = testsor;    //正确

成员函数指针类型

1
class obj{
2
    public:
3
        bool func(int, int){
4
            std::cout <<"called" << endl;
5
        }
6
};
7
cout <<is_same<bool(obj::*)(int, int), decltype(&obj::func)>::value << endl; //true

注意，函数指针类型是一个整体。不能把他们分开。比如函数指针bool (*pf)(int) 的类型是 bool (*)(int)。在模板接受一个参数的时候，不能把返回值类型bool扒下来。
当然了，如果想，也可以利用成员函数指针类型的方法把他们分开。

1
template<typename R, typename T, typename... Args>
2
void f(R(T::*pf)(Args... args)){
3
        std::puts(__PRETTY_FUNCTION__);
4
}
5
//void f(R (T::*)(Args ...)) [with R = bool; T = obj; Args = {int, int}]

https://www.jianshu.com/p/6ecfd541ec04

https://stackoverflow.com/questions/17446220/c-function-types

https://stackoverflow.com/questions/13233213/can-a-function-type-be-a-class-template-parameter

https://stackoverflow.com/questions/72926596/type-deduction-for-a-member-function-pointer

函数引用#

和函数指针，函数名没啥区别。主要遇到的地方是杂记4中的decltype的函数名做为表达式的部分。剩下的看下面的链接即可。

https://stackoverflow.com/questions/19200513/function-pointer-vs-function-reference