当前位置：首页 > article >正文

C语言：函数指针精讲

article 2024/11/24 9:43:21

1、函数指针

一个函数总是占用一段连续的内存区域，函数名在表达式中有事也会被转换为该函数所在内存区域的首地址，这和数组名非常类似，我们可以把函数这个首地址（或称入口地址）赋予一个指针变量，使指针变量指向函数所在的内存区域，然后通过指针变量就可以找到并调用该函数。这种指针就是函数指针。

函数指针的定义形式为：

returnType (*pointerName)(param list);

returnType 为函数返回值类型，pointerNmae 为指针名称，param list 为函数参数列表。参数列表中可以同时给出参数的类型和名称，也可以只给出参数的类型，省略参数的名称，这一点和函数原型非常类似。

注意( )的优先级高于*，第一个括号不能省略，如果写作returnType *pointerName（param list）；就成了函数原型它表明函数的返回值类型为 returnType *

实例：用指针来实现对函数的调用。

1. #include <stdio.h>
2.
3. //返回两个数中较大的一个
4. int max(int a, int b){
5. return a>b ? a : b;
6. }
7.
8. int main(){
9. int x, y, maxval;
10. //定义函数指针
11. int (*pmax)(int, int) = max; //也可以写作int (*pmax)(int a, int b)
12. printf("Input two numbers:");
13. scanf("%d %d", &x, &y);
14. maxval = (*pmax)(x, y);
15. printf("Max value: %d\\n", maxval);
16.
17. return 0; 
18. }

运行结果：

Input two numbers:10 50↙

Max value: 50

第 14 行代码对函数进行了调用。pmax 是一个函数指针，在前面加 * 就表示对它指向的函数进行调用。注意( )的优先级高于*，第一个括号不能省略。

1. int *p1[6]; //指针数组
2. int *(p2[6]); //指针数组，和上面的形式等价
3. int (*p3)[6]; //二维数组指针
4. int (*p4)(int, int); //函数指针

我相信大部分初学者对上面几种形式的指针都非常迷惑，不知道该从哪里入手去理解，为什么 p1、p2 是数组，而 p3 却是指针呢，它们仅仅是一个括号的区别。

复杂指针示例：

1. char *(* c[10])(int **p);
2. int (*(*(*pfunc)(int *))[5])(int *);

C 语言标准规定，对于一个符号的定义，编译器总是从它的名字开始读取，然后按照优先级顺序依次解析。对，从名字开始，不是从开头也不是从末尾，这是理解复杂指针的关键！

对于初学者，有几种运算符的优先级非常容易混淆，它们的优先级从高到低依次是：

定义中被括号( )括起来的那部分。
后缀操作符：括号( )表示这是一个函数，方括号[ ]表示这是一个数组。
前缀操作符：星号*表示“指向 xxx 的指针”。

1) int p1[6];

从 p1 开始理解，它的左边是 *，右边是 [ ]，[ ] 的优先级高于 *，所以编译器先解析 p1[6]，p1 首先是一个拥有 6 个元素的数组，然后再解析 int *，它用来说明数组元素的类型。从整体上讲，p1 是一个拥有 6 个 int * 元素的数组，也即指针数组。

2) int (p3)[6];

从 p3 开始理解，( ) 的优先级最高，编译器先解析(*p3)，p3 首先是一个指针，剩下的 int [6]是 p3 指向的数据的类型，它是一个拥有 6 个元素的一维数组。从整体上讲，p3 是一个指向拥有 6 个 int 元素数组的指针，也即二维数组指针。为了能够通过指针来遍历数组元素，在定义数组指针时需要进行降维处理，例如三维数组指针实际指向的数据类型是二维数组，二维数组指针实际指向的数据类型是一维数组，一维数组指针实际指向的是一个基本类型；在表达式中，数组名也会进行同样的转换（下降一维）。

3) int (p4)(int, int);

从 p4 开始理解，( ) 的优先级最高，编译器先解析(*p4)，p4 首先是一个指针，它后边的 ( ) 说明 p4 指向的是一个函数，括号中的 int, int 是参数列表，开头的 int 用来说明函数的返回值类型。整体来看，p4 是一个指向原型为 int func(int, int);的函数的指针。