对C++函数指针的思考

本文主要是介绍对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 是整个函数对象，对函数对象取地址即为函数入口地址（可以隐式转换），而函数指针保存的也是函数入口地址，因此大部分情况效果相同。

这篇关于对C++函数指针的思考的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---