9.10　指针与函数

9.10　指针与函数

9.10.1　函数名是指针

如同数组名是指针一样，在C语言中，函数名也是指针。当然这种指针也必然是一种“常量”，因为在内存中“移动”变量尚不可能，更不必说“移动”构成函数的一群机器指令了。

作为一种指针，首先要明白它的类型。描述函数名这样的指针非常容易，只要把函数声明中的函数名换成“（*）”就可以了。比如某个函数的函数声明为：

9.10　指针与函数 - 图1

那么，“qiuhe”这个函数名的类型是：

9.10　指针与函数 - 图2

这种类型写法对于我们来说除了具有形式上的意义，并没有告诉我们更多的关于这种类型的含义，除非我们知道这种类型本身占据多少内存空间以及这个指针指向什么。

没有理由说这种类型和前面数据指针所需要的内存空间相同，这是必须在具体环境中才能确定的事情。但在这里我们不妨假设这种指针需要4个字节的内存空间，无论实际情况是否如此，对后面的讨论都没有什么影响。

笼统地说，这种指针指向函数也没有任何意义，因为我们并不清楚也不可能清楚函数在内存中是什么样子。毕竟函数不同于数据。数据具有统一的类型和构造规则，相同类型的数据具有相同大小的连续存储空间。而函数在内存中的存储空间我们是不可能加以考察的，甚至我们都不清楚函数占据的内存空间是否连续，可以肯定的是各个函数占据的空间原则上是不相同的。

这恰恰是函数与数据这种连续且具有确定内存长度的对象（Object）最大的区别。这个区别，在后面我们可以看到，决定了指向函数的指针与指向数据的指针之间巨大的差异。

函数与数据的相同之处是它们都占据内存空间，而它们各自所占据的空间都是从各自的某个内存单元开始的，这是可以有指向函数指针的基础，毕竟指针的值是地址。函数名的值也是函数经过编译之后在内存中的映像的起始内存单元的编号或地址。

如图9-29所示的部分内容是不真实的，只是为了帮助理解，把函数“比拟”成了一种类似数组对象的东西。后面将会说明哪些是能被C语言证实的，而哪些是虚构的。

9.10　指针与函数 - 图3

图9-29　函数名的意义

函数占据内存空间，这是确定无疑的。但不清楚占据的是否为连续空间，也不可能清楚这块空间的大小。但在图中画成了一块连续的内存空间来表示“int qiuhe()”函数在内存中的实体，这是虚构的，但是只要我们不从这种虚构中引申出错误的结论，而只是为了帮助理解指向函数的指针这种数据类型，应该是能够获得大家的理解和宽恕的。

函数占据的内存空间有个起点，这个起点处的内存单元有一个编号，也就是所谓的“入口地址”，这是确定的。图中“qiuhe”这个函数名的实线箭头表示的是这一点。

图中，虚线箭头表示“qiuhe”这个指针指向函数所占据的这块内存的整体，这是虚拟的想象，C语言并没有承认这是事实；方向向上的“}”用来表示“qiuhe”这个函数名也代表函数所占据的内存实体，这是作者虚构的，C语言没有这样说过。这样做的目的是把函数名比拟成数组名⁽⁸⁾，期待我们能自然地接受函数名的某些性质。