C语言中为什么要有函数指针？

我们都知道，程序=数据结构+算法，

在没有C++语言的年代，没有面向对象、模板的语法支持，struct中还不能定义函数，用C语言想要对业务功能（算法，此处即指函数）进行抽象，不想依赖具体的数据结构/数据类型，此时就必须用指向函数的指针来实现抽象与具体的分离（该函数的入参可以是void*，这样调用者就可以传入任意类型的参数了）。后来有了C++，就用类成员函数和泛型（模板+functor）来代替了，这样做有更强的静态类型检查机制和编程约束，有利于减少滥用风险。

（函数指针的一个典型应用场合是实现回调。为什么要回调？就是因为此时还不知道具体函数定义，事件发生时才调用、才确定；类比于面向对象中的“多态”+设计模式中的“观察者模式”，回调的实质仍然是抽象）

那为什么C++中还有类的成员函数指针？因为C与C++中间还有个版本，C with Class（1980's），此时还没把模板吸收进来，想实现成员函数级抽象还得靠函数指针。后来C++标准出来了，为了兼容老代码，况且在某些场合下使用起来还是比较灵活、轻量级的（虽然语法比较丑陋），成员函数指针就被保留下来了。

 

综上，C语言的函数指针有两层含义：

1. 意味着这是对一个类的操作，其实就是成员函数。（对于全局的成员函数，给它脑补一个虚拟的“全局类”就好了）

2. 意味着该成员函数对数据类型信息不做明确规定，它只是个处理引擎，具体的数据类型由调用者在使用的时候确定

二者有其一的场合，就可以用函数指针。