C语言函数指针和函数指针数组

目录

1.函数指针

1.1函数指针变量的创建

1.2函数指针变量的调用

1.3分析两段代码

1.4 typedef关键字

2.函数指针数组

---

1.函数指针

1.1函数指针变量的创建

        由数组及数组名的知识得知，数组名arr是首元素的地址，那么函数名有没有什么意义呢？先看如下代码：

int Add(int x)
{
	return 0;
}

int main()
{
	printf("&Add = %p\n", &Add);
	printf(" Add = %p", Add);

	return 0;
}

运行结果：

&Add = 00D210B9
 Add = 00D210B9

从结果来看，&函数名和函数名本质上都是函数的地址，没有区别。

        如果要存放函数的地址，就需要创建函数指针变量，定义方法和数组指针类似，如下

void test()
{
 printf("hehe\n");
}


void (*pf1)() = &test;
void (*pf2)()= test;//两种写法等价


int Add(int x, int y)
{
 return x+y;
}


int(*pf3)(int, int) = Add;
int(*pf3)(int x, int y) = &Add;//x和y写上或者省略都是可以的

函数指针变量类型解析：

int (*pf3) (int x, int y)
 |    |          |
 |    |          |
 |    |          pf3指向函数的参数类型和个数的交代//参数名x,y可不写
 |    函数指针变量名
 pf3指向函数的返回类型



int (*) (int x, int y) //去掉指针变量名就是函数指针变量的类型

1.2函数指针变量的调用

函数指针指向被调用的函数：

int Add(int x, int y)
{
	return x + y;
}

int main()
{
	int (*ptr)(int, int) = Add;//定义函数指针

	int a = ptr(1, 1);//传参
	int b = Add(1, 1);
    int c = (*ptr)(1,1);//本质上是对ptr解引用找到Add的地址，等价于第一种

	printf("a = %d\n", a);
	printf("b = %d", b);
	return 0;
}

运行结果

a = 2
b = 2

1.3分析两段代码

        这两段代码均出自《C陷阱与缺陷》这本书，感兴趣的可以看看。

代码1

(*(void (*)())0)();

代码2

void (*signal(int , void(*)(int)))(int);

先说结果

代码1

//将这段代码拆开来看

(  *  (  void(*)()  )  0  )  ();

不难看出void(*)()是前文中提到过的一种函数指针类型，指向函数返回值是void,(数据类型)是强制转换，而函数指针类型也是数据类型的一种，所以(void(*)())的含义是强制转换，转换的对象是0，0本来是整形int，所以此时0被强制转换为函数指针类型，经过强制转换后0就变成了一个返回值类型为void的函数的地址，0此时变成了16进制数字。

(  *  (  void(*)()  )  0x0012ff40  )  ();
//0转化为16进制后是0x0012ff40
//这就意味着将0强制转换为void(*)的函数指针类型
//这段代码的实际意思就是假设0地址处存放着返回值为void型的函数并解引用调用这个函数

代码2

有了第一段代码的先例后，还对第二段代码进行拆分就容易理解的多

再仔细刨析发现函数的三要素还少一个——函数的返回类型，是void的吗？显然不是，如果是的话（*）和末尾的（int）就显得多余了，不妨大胆假设此函数的返回类型为void(*)(int)，现在我们针对参数2分析

//只分析参数部分

（int , void(*)()）

//参数1是整形，而void(*)（）是函数指针类型
//也就是其他函数通过函数指针将一个函数的地址传了过来
//而signal的返回值也是函数指针，又指向一个函数的地址

signal接收了一个函数指针作为参数，也就是signal接收了一个函数的返回值，那么signal也同样可以作为参数出现在其他函数的声明里。

//实际上这段代码想要传达给我们的意思

void(*)(int) signal(int,void(*)(int)); //err这是错的
     |          |           |
     |          |        参数部分
     |        函数名
函数返回值

//但是C语言的编译器认为这是不合法的，为了语法正确将（int）置后
//这其实就是一个比较复杂的函数声明

1.4 typedef关键字

        看过以上两段代码后发现如果将其应用的话是非常抽象的，不仅不利于读者的阅读，也不利于程序员后续改进，因此我们引入重命名关键字typedef。

typedef 是⽤来类型重命名的，可以将复杂的类型，简单化。

如果你觉得unsigned int复杂，就可以引用typedef重新为这个类型命名，同理，对于指针类型也可以应用typedef

typedef unsigned int u_int; //将unsigned int 重命名为u_int

//指针类型
typedef int* ptr_t;

//但是对于数组指针和函数指针有点区别

//数组指针
typedef int(*ptr1)[5]; //ptr1作为新的类型名应放在*的左边

//函数指针
typedef void(*ptr2)(); //ptr2是新的类型名

利用typedef对代码2进行化简

typedef void(*)()int ptr_t;

//原代码
void (*signal(int , void(*)(int)))(int);

//化简后的代码
ptr_t signal(int,void(*)(int));

2.函数指针数组

        数组是⼀个存放相同类型数据的存储空间，那要把函数的地址存到⼀个数组中，那这个数组就叫函数指针数组。

int Add(int x, int y)
{
	return x + y;
}
int Sub(int x, int y)
{
	return x - y;
}
int Mul(int x, int y)
{
	return x * y;
}
int Div(int x, int y)
{
	return x / y;
}

int main()
{
    int (*ptfarr[4])(int,int)={Add,Sub,Mul,Div};//函数指针数组的定义和初始化
    return 0;
}

在函数指针数组定义时注意[元素个数]不能省略，ptfarr 先和 [4] 结合，说明 ptfarr是数组，数组的内容是什么呢？ 是 int (*)(int ,int) 类型的函数指针。

注意：在数组中存储的元素均为同一类型，所以对于函数指针数组要求成员函数的返回值和参数部分均相同