对C++函数指针的思考

在我原本的印象中，对于一个函数func，取其地址&func，和解引用*func，效果是一样的。（这个结论在大部分情况下是对的）

引用一张图:

但是今天我看《Boost程序库完全开发指南》中的绑定函数（bind）部分，有一句话：

boost::bind 在绑定成员函数前需要加上取地址操作符&，表明这是一个成员函数指针，否则无法通过编译。这是与绑定（普通）函数的一个小小的不同。

这句话引起我重新对函数指针的思考，虽然说&func 与 func效果相同，本质还是有些区别的。下面我通过参考知乎上的两个问题，写下自己的看法。

参考1：https://www.zhihu.com/question/293674445?sort=created

func 得到函数地址，是因为它是函数指示符。只有在作为 sizeof 或者单目
& 操作符的操作数时，它的类型才是函数；其它情况都会被转化为指向该函数的指针。

参考2：https://www.zhihu.com/question/53523381/answer/135343567

因为函数类型可以隐式地转换成函数指针类型（这种隐式转换叫退化，类似的行为还有数组类型退化成指针类型），并且函数调用操作可以同时应用在函数和函数指针类型上，就这么简单。

我结合了一维数组来理解函数指针：
可以这么认为，有一种类型叫 数组类型 和 函数类型，在某些情况下数组类型会自动退化成一维指针类型，函数类型会退化成函数指针类型，退化过程可能会丢失一些信息。

比如

// 等价于：int sum(int* a, int n) 
int sum(int a[], int n) 
{
	cout << sizeof(a) << endl;
	int res = 0;
	for (int i = 0; i < n; i++) { res += a[i]; }
	return res;
}
int main()
{
	int arr[] = { 1,2,3 };
	cout << sizeof(arr) << endl;
	cout << sum(arr, 3) << endl;
	
	return 0;
}

输出结果如下：

12 (数组的大小sizeof(int)*3)
8 (64位系统，指针大小位8字节)
6 (求和)

这里arr 是数组类型，但在传参时退化成了一维指针类型（丢失了数组长度信息）。

因此我认为，数组 和 函数 本身是一个类型（或对象），不是指针，只是在一些情况下退化成指针（参考1），该指针指向了数组和函数体的入口地址。类似这样：

class Func{
public:
	//隐式类型转换 到指针
	operator Func* (){
		return this;
	}
	void operator ()(void) {
		printf("call(%d)\n", x);
	}
};
int main()
{
	Func func;
	Func* f = NULL;
	f = func;
	(*f)(1);
	
	f = &func;
	(*f)(2);
	return 0;
}

func 是整个函数对象，对函数对象取地址即为函数入口地址（可以隐式转换），而函数指针保存的也是函数入口地址，因此大部分情况效果相同。