4.2.1 函数指针的实质(还是指针变量)
(1)函数指针的实质还是指针,还是指针变量。本身占4个字节(在32位系统中,所有的指针都是4个字节)
(2)函数指针、数组指针、普通指针之间并没有本质区别,区别在于指针指向的东西是个什么玩意。
(3)函数的实质是一段代码,这一段代码在内存中是连续分布的(一个函数的大括号括起来的所有语句将来编译出来生成的可执行程序是连续的),所以对于函数来说很关键的就是函数中的第一句代码的地址,这个地址就是所谓的函数地址,在C语言中用函数名这个符号来表示。
(4)结合函数的实质,函数指针其实就是一个普通变量,这个普通变量的类型是函数指针变量类型,它的值就是某个函数的地址(也就是它的函数名这个符号在编译器中对应的值)
4.2.2 函数指针的书写和分析方法
(1)C语言本身是强类型语言(每一个变量都有自己的变量类型),编译器可以帮我们做严格的类型检查。
(2)所有的指针变量类型其实本质都是一样的,但是为什么在C语言中要去区分它们,写法不一样呢(譬如int类型指针就写作int *p;数组指针就写作int (*p)[5],函数指针就得写得更复杂了);(注意:将警告总结起来,明白它是什么意思,到底哪里发出的警告)
注意:如果我们声明的数组指针指向的是5个元素的数组,那么我们在给这个指针赋值的时候,那个数组的元素个数也必须是5个,否则会出现指针类型不匹配的警告。
(3)假设我们有个函数是:void func(void);对应得函数指针:void (p) (void);类型是void ()(void),p是指针变量名;
(4)函数名和数组名最大的区别就是:函数名做右值时加不加&,效果和意义都是一样的;但是数组名做右值时加不加&意义就不一样;
(5)写一个复杂的函数指针的示例,譬如函数是strcpy函数(char *strcpy(char *dest,const char *src);),对应的函数指针是:char * (*p)(char *,const char *);
#include <stdio.h>
#include <string.h>
void func1(void)
{
printf("test for function pointer\n");
}
int main(void)
{
char a[5] = {0};
char *(*pFunc)(char *,const char *);//这个是定义了这一类型的函数指针名为pFunc。
pFunc = strcpy;//给变量赋值;
pFunc(a,"abc");
printf("a = %s\n",a);
/*
void (*pFunc)(void);//函数指针的定义
//pFunc = func1;//赋值,左边是一个函数指针变量,右边是一个函数名
pFunc = &func1;//&func1和func1做右值时是一摸一样的,没有任何区别
pFunc();//调用,用函数指针来解引用以调用该函数
*/
/*
int *p; int a[10];
p = a;//般配的,类型匹配的,所以编译器不会警告不会报错
//因为a做右值时表示的是数组首元素的首地址。
//p = &a;//不匹配,p是int *类型,&a是int (*)[5]类型。&a做右值时表示整个数组的首地址。
int (*p1)[10];
p1 = &a;//这个就没有问题,p1的类型就是int (*)[5],&a也是int (*)[5]
*/
return 0;
}
4.2.3 typedef关键字的用法
(1)typedef是C语言中一个关键字,作用是用来定义(或者叫重命名类型)
(2)C语言中的类型一共有2种:一种是编译器定义的原生类型(基础数据类型,如int,double之类的);第二种是用户自定义类型,不是语言自带的,是程序员自己定义的(譬如数组类型、结构体类型、函数类型…)。
(3)我们今天讲的数组指针、指针数组、函数指针等都属于用户自定义类型。
(4)有时候自定义类型太长了,用起来不方便,所以用typedef给它重命名一个短点的名字。
(5)注意:typedef是给类型重命名,也就是说typedef加工出来的都是类型,而不是变量;
//这句重命名了一种类型,这个新类型名字叫pType,类型是:
char *(*)(char *,const char *);
typedef char *(*pType)(char *,const char *);
4.2.4总结:函数指针的分析方法也是源于优先级与逐层剥离的基本理论
//函数指针数组
typedef char *(*pType[5])(char *,const char *);
//函数指针数组指针
typedef char *(*(*pType)[5])(char *,const char *);