有了函数指针的概念之后
我们现在就可以设计抽象的链表
就像我刚才讲的qsort那个函数里
它有一个函数指针类型的形式参数
那个函数指针指向的那个函数
我们就称它为回调函数
允许通过函数指针
调用未来才会实现的代码
这个就叫回调函数 凡是回调函数
它都会需要依赖后续的设计
否则你不知道它调用哪一个
你传哪一个函数入口地址给它
它就调用哪一个 对吧
像DoCompareObject
你把这个DoCompareObject传给qsort
qsort就会调用DoCompareObject
你如果传的不是这个函数
传的是另外一个函数
它就会调用另外一个函数 这是肯定的
所以说 你传哪一个 它就调用哪一个
而这个函数本身还是你未来才会实现的
就相对于qsort那个函数的设计
和编写的那个实现而言
DoCompareObject这个函数实现
是远远在它的未来之后
所以说对qsort来说
它会调用你未来才会实现的DoCompareObject
替你排序未来才会实现的数组
qsort本身 它只能完成排序的基本动作
它不知道你的数组是什么样子
它只知道你的数组的入口地址在哪里
你的数组里包含多少个元素
你的数组每个元素尺寸是多少
所有的这些还都是
你在调用qsort的时候告诉它的
其次它也不知道怎么比较元素的关系
怎么比较呢 也是你告诉它的
你写一个比较函数
把这个函数的入口地址给它
它就调用你的函数 替你比较你的数据
这是非常重要的一个设计
回调函数的作用就体现在这里
有的时候我们需要在回调函数
和主调函数之间
产生一个很特殊的信息的交互
这种东西我们称它为附加的信息
我可能想传附加的信息
然后你可能会说
那我传多少个附加的数据信息是够的呢
你可能就会说我传一个
那如果是传俩信息怎么办
我如果写俩参数
如果需要传三个信息怎么办呢 也不成啊
难道就真的一点办法都没有吗 当然不是
我们前面不讲了吗
我们有一个通用型的东西
有一个通用型的数据对象
有一个通用型的数据抽象类型
叫什么 哑型指针 void*，ADT嘛
我就用它来表达这个附加的参数
如果传的附加信息是一个
我们就直接传这个附加信息
或这个附加信息的地址
如果这个附加信息
和我们的哑型指针尺寸刚好是一般大
你就不用传它的地址了
你就传它就可以了
附加信息如果是一个
很典型 我用一个ADT代替它
如果附加信息是两个呢
然后你还搞两个ADT 吗 不需要
我就把附加信息——不论它多少个
只要超过两个 大于等于2
对吧 超过一个了
把它做成一个结构体
然后传那个结构体的地址
转换成ADT 不就够了吗
所以一个ADT事实上就可以传递所有的东西
不管这个附加信息有多少
一个ADT就足够用了 特别重要这一条
回到我们的抽象链表的考虑
我们这里面链表的每一个结点的data字段
它会存储我们这个链表
作为一个容器所容纳的目标数据对象
或者目标数据对象的地址
那么我们现在就有一个巨大的问题
如果我们这个链表结点的data字段里面
存的是一个目标数据对象的地址
那么当我在删除这个结点的时候
毫无疑问必须在销毁这个结点之前
完成目标数据的销毁
这个你必须要做到
就像我们抽象链表
刚才那个版本所实现的那样
想删除我们这个结点
在此之前你必须先删除
data字段所指向的点数据结构
然后才能删除那个结点本身
把结点本身全都删完了
然后你才能删除这个链表本身
这是一个非常明确的存储管理的顺序
如果我们使用这个链表来保存的是一些整数
就像我刚才说的
我实际上是可以把这个int直接转换成void*
（注：在32位系统和编译器下两者存储尺寸一致）
就存在data字段里面的
这个时候我们的data字段
它并不指向任意的有意义的存储区
它其实的原始意义就是一个整数
结果被我们当成void* 存在data字段里面了
所以在这种时候
如果我需要销毁这个链表的结点
那么data字段是不需要去管理它的
也就是说这个时候
你是不可以销毁data字段
所指向的那个目标数据区域的
那个并不是我们真正
内存分配出来的存储区域
所以当我们设计抽象链表的时候
就需要考虑到这一点
就是说你删除这个链表结点的时候
它里面的目标数据对象是不是需要删除
如果是 你怎么办 如果不是 你怎么办
这个在你设计抽象链表的时候
你必须能够考虑到
第二个 如果链表的结点存储的是指针
你就需要参数 否则就不需要
设计抽象链表的时候
我们并不需要了解这个结点
实际存储的数据是不是指针
我们设计抽象链表的时候
我们可能并不了解
结点实际存储的数据是不是指针
所以有的时候可能无法来决定这个结点
它的操作的逻辑
这是非常重要的一个地方
就是说我用一个抽象链表存了一个数据
那么我们还不知道
它所存储的那个目标数据
完整的意义的时候
我们实际上是不了解那个东西的——data字段
是指针吗 也许
不是指针吗 也许 怎么办呢
所以这个时候就需要特别特别去注意
我们先来看回调函数怎么用
我要同学们编写一个函数
遍历我们的链表
然后结点数据的具体操作方法呢
我们现在是不知道的 不知道该怎么做
我就是你遍历这个链表然后做某件事
注意某件事就是某件事
并不是一定是某件事 什么意思
其实就是说当我遍历这个链表的时候
我只知道要做一件事情
但是这件事情具体做什么
其实我不清楚
至少我在实现这个函数的时候我不清楚
也就是说有些信息
在我实现这个函数的时候是未知的
怎么办呢
凡是未知的东西都应该使用量来代替
就像我们使用量来代替一个具体的数一样
你不知道那个数是什么 没关系
我们操纵的是这个量
你不知道操作是什么 没关系
我们使用一个函数指针 就是这个意思
所以我们需要使用一个回调函数
来提供这个结点数据的具体的操作方法
你看这里面有一个函数指针类型
MANIPULATE_OBJECT
有一个操纵对象的函数指针类型
它接受一个ADT类型的一个参数
返回值是void
接下来我们实现LlTraverse函数 遍历函数
传一个链表进去
然后传一个MANIPULATE_OBJECT
这样的操纵对象的函数指针类型的指针
形式参数名字叫manipulate
注意 平时我们用参数的名字
不管形式参数还是实际参数的名字
还是变量的名字
我们平时都使用名词 对吧
我们这个bool量 偶尔会使用形容词
我们这里面 我们使用的是动词
为什么 因为它是函数指针类型的变量
所以它往往代表的是一个动作
所以我们使用一个动词 这是可以的
manipulate 操纵
定义一个PNODE类型的一个量t
初始化成list->head
让t指向链表表头结点 循环
如果manipulate这个值不是NULL
就表示你传了一个实际的函数的入口地址
那么我们就调用它(*manipulate)(t->data)
t->data就是ADT类型 对吧
我就调用它
然后t=t->next 然后循环
因为我在LlTraverse这个函数里面
提供了一个回调函数
这实际上就意味着我们这个LlTraverse
可以在遍历的时候
执行你想要它做的操作
你想要它打印 你就写一个打印函数
作为实际参数传给LlTraverse
让manipulate指向那个打印函数
它就会打印 如果你想求和
那么你写一个求和的函数传给manipulate
manipulate就会指向那个求和函数
然后求和 按照这样的程序设计
我们LlTraverse这个函数
它的适用性显然
要比原来的那个方式要灵活得多
至少你看到 在我们LlTraverse这个函数内部
没有对PtTransformIntoString函数的调用
这就意味着对LlTraverse这个函数来讲
它不需要知道PPOINT、点库的任何细节
管你是点库还是什么库
尤其是注意到 你看我这个数据
一旦形成一个抽象的链表库的话
那我们的data字段
它压根就不是PPOINT类型的
它是ADT类型的 完全把它抽象化了
你想用的时候把PPOINT转换成ADT
然后在内部再重新把ADT转换成PPOINT回去
它是按照这样方式将链表库和点库
完全给独立开来的
数据结构 它们互相不使用了
算法 它们互相之间也不使用了
那不就独立了嘛
点库是点库 抽象链表库是链表库
而我们抽象链表库
它的应用场合也就不再局限于点库
这个就是我们LlTraverse
有了回调函数以后给我们揭示的
最深刻的一个地方
接下来 我们的回调函数参数
我们可以对这个MANIPULATE_OBJECT
这个函数指针类型做一个改变
添加第二个参数 ADT tag
作为我们的附加参数
也就是说 这个函数指针类型MANIPULATE_OBJECT
它带两个参数 第一个参数是ADTe
第二个参数是ADT tag
返回值是一个void
这就是我们的操纵函数
如果你觉得这个函数指针类型的声明
仍然不够一般化 那我建议你
还可以把它的返回值也设成void*
就什么东西都可以带回来了 也可以
没有什么东西可带 返回NULL
有什么东西可带
你就构造一个动态数据对象
然后把它的地址返回来就完了
这也很典型吧
可以按照这个方式去做
然后看我们LlTraverse这个函数
这个时候我就需要传三个参数
第一个参数是抽象的链表list
第二个参数是操纵对象 是个manipulate
第三个参数就是我们的附加参数tag
调用LlTraverse的那个程序员或者那片代码
它负责传三个实际参数进来
我们先看LlTraverse这个函数的实现
三个参数 PLIST类型的list
MANIPULATE_OBJECT类型的manipulate
ADT类型的tag
tag就是我们的附加参数
我首先让list->head初始化给t
PNODE类型的t 然后while
if(manipulate)，(*manipulate)(t->data, ag)，
t = t->next
你看到了 我们的程序代码
就是把这个第三个参数tag
也就是我们的附加参数
传递给manipulate所指向的目标函数
tag这个参数传递给LlTraverse的
LlTraverse本身不用它
它内部没有使用过tag
它就是简单地拿到一个附加参数
然后转手扔给了manipulate
所指向的那个目标函数
它自己没对它做任何操作