函数指针与typedef
函数指针的实质(还是指针变量)
- 函数指针的实质还是指针,还是指针变量。
- 本身占4字节(在32位系统中,所有的指针都是4字节)
- 函数指针、数组指针、普通指针之间并没有本质区别,区别在于指针指向的东西是个什么玩意。
- 函数的实质是一段代码,这一段代码在内存中是连续分布的(一个函数的大括号括起来的所有语句将来编译出来生成的可执行程序是连续的)
- 所以对于函数来说很关键的就是函数中的第一句代码的地址,这个地址就是所谓的函数地址,在C语言中用函数名这个符号来表示。
- 结合函数的实质,函数指针其实就是一个普通变量,这个普通变量的类型是函数指针变量类型,它的值就是某个函数的地址(也就是它的函数名这个符号在编译器中对应的值)
函数指针的书写和分析方法
- C语言本身是强类型语言(每一个变量都有自己的变量类型),编译器搞以帮我们做严格的类型检查。
- 所有的指针变量类型其实本质都是一样的,但是为什么在C语言中要去区分它们,写法不一样呢
- 譬如int类型指针就写作int *p; 数组指针就写作int (*p)[5],函数指针就得写得更复杂,给编译器提供类型信息,编译器进行类型检查
int *p;
int a[5];
p = a; // 般配的,类型匹配的,所以编译器不会警告不会报错。
//p = &a; // 类型不匹配,p是int *, &a是int (*)[5];
int (*p1)[5] ;
p1 = &a; // p1类型是int (*)[5],&a的类型也是int (*)[5]
- 假设我们有个函数是:
- void func(void);
- 对应的函数指针:void (*p)(void);
- 类型是:void (*)(void);
void func1(void)
{
printf("I am func1.\n");
}
void (*pFunc)(void);
//pFunc = func1; // 左边是一个函数指针变量,右边是一个函数名
pFunc = &func1; // &func1和func1做右值时是一模一样的,没任何区别
pFunc(); // 用函数指针来解引用以调用该函数
- 函数名和数组名最大的区别就是:
- 函数名做右值时加不加&效果和意义都是一样的
- 数组名做右值时加不加&意义就不一样。
- 写一个复杂的函数指针的实例:
- 譬如函数是strcpy函数(char *strcpy(char *dest, const char *src);)
- 对应的函数指针是:char *(*pFunc)(char *dest, const char *src);
char a[5] = {0};
char* (*pFunc)(char *, const char *);
pFunc = strcpy;
pFunc(a, "abc");
printf("a = %s.\n", a);
typedef关键字的用法
- typedef是C语言中一个关键字,作用是用来定义(或者叫重命名类型)
- C语言中的类型一共有2种:
- 一种是编译器定义的原生类型(基础数据类型,如int、double之类的);
- 第二种是用户自定义类型,不是语言自带的是程序员自己定义的(譬如数组类型、结构体类型、函数类型·····)。
- 数组指针、指针数组、函数指针等都属于用户自定义类型。
- 有时候自定义类型太长了,用起来不方便,所以用typedef给它重命名一个短点的名字。
- 注意:
- typedef是给类型重命名,也就是说typedef加工出来的都是类型,而不是变量。
- 类型不占内存空间,用类型来“生产”变量
// 这句重命名了一种类型,这个新类型名字叫pType,类型是:char* (*)(char *, const char *);
typedef char* (*pType)(char *, const char *);
// 函数指针数组
typedef char* (*pType[5])(char *, const char *);
// 函数指针数组指针
typedef char* (*(*pType)[5])(char *, const char *);
pType p3; // 等效于 char* (*p3)(char *, const char *);
pType p4;