目录
这里在前几期我们已经初略的见识过了,但是这里我们要提一个概念,数组给函数传参是会发生降维的,降维成什么呢?我们看代码:
这里通过打印形参的大小,发现是 4,其实也不奇怪,目前我们是 32 位操作环境,所以一个指针也就是 4 个字节,所以从这里我们可以看出,数组传参的时候,是发生降维的,数组名除了 &数组名 和 sizeof(数组名) 其他所有情况都是首元素地址,所以本质上我们是降维成指向其数组内部元素类型的指针,为什么呢,因为他是数组首元素的地址,首元素是 int 类型,所以传过去的也是对应的 int 类型的指针,同理我们需要拿同类型指针变量来接收,所以本质上我们 p 变量中保存的就是 arr[0] 的地址!
我们在看一段代码:
- void printSize(int arr[100], int n)
- {
- for (int i = 0; i < n; i++)
- {
- printf("%d ", arr[i]);
- }
- printf("\n");
- }
-
- int main()
- {
- int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
- printSize(arr, 10);
- return 0;
- }
如上这段代码有问题吗?其实是没有问题的,实际传递数组大小与函数形参指定的数组大小没有关系,因为他已经是指针了,只是访问方式被打通了,第二期我们有讲过,那么既然如此,我们也可以不要里面的元素个数直接成 printSize(int arr[], int n) 这样也是可以的,至少不会让阅读者感到误会。
- void print(int* p, int n)
- {
- for (int i = 0; i < n; i++)
- {
- printf("%d ", *(p + i));
- }
- printf("\n");
- }
- int main()
- {
- int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
- int* p = arr;
- int sz = sizeof(arr) / sizeof(arr[0]);
- //一级指针p,传给函数
- print(p, sz);
- return 0;
- }
这里我们需要讨论一个问题,指针作为参数需要发生拷贝吗?
答案是需要的,因为指针变量也是变量,在传参上得符合变量的要求,也就是在栈上开辟空间,同时我们也知道,main 函数中的 p 是一个局部变量,它只在 main 函数内有效,所以只能对实参做一份拷贝,并传递给被调用的函数。
这个例子我们发现,二维数组传参的时候也会发生降维,如何理解呢?上一期我们用了数组指针来接收了二级指针传参,这里我们就来做一个总结:
任何维度的数组,传参的时候都要发生降维,降维成指向其内部元素类型的指针,那么,二维数组内部元素我们可以看成是多个一维数组,所以,二维数组传参其实是降维成指向一维数组的指针,而这里的 arr 也就代表着首元素地址,也就是第一行一维数组的地址!这也就是我们之前可以拿指针数组来接收的原因了。
这里我们还是可以省略第一个下标的值:char arr[][4] ,但是为什么不能省略第二个下标值呢?我们可以想一下,之前写用数组指针接收是这样写的 char (*p)[4] ,上面我们提到过,int arr[] 用来接收实参,它本质上就是个指针,所以 char arr[][4] 本质上是个数组指针,从他的角度看,他指向了一个存放 4 个 char 类型元素的数组,所以如果省略了第二个下标则指针类型不明确!
这个问题其实很多书中都会有写,我们这里就简单提一下:
指针变量是用来保存地址的,那么函数有地址吗?有!函数是由我们自己写的一些语句构成的,程序运行的时候就会把定义好的函数中的语句调用到内存中去,那么函数代码在内存中开始的那个内存空间的地址也就是函数的地址!
这里我们也能发现,函数是有地址的,而且 &函数名 和 单独的函数名 都能表示函数的地址。
那么我们如果想把函数的地址存起来该如何做呢?有了上面学习指针数组和数组指针的经验,其实函数指针也很好理解:
void (*pfun) () 其实这么写可以了,我们来解读下这句代码:pfun 先和 * 结合,正如我们之前所说,就能说明他是一个指针,指向的是一个无参数并且无返回类型的函数。
那我们如果要指向一个 int add (int x, int y) 这样的一个函数,我们应该如何定义函数指针呢?
int (*p) (int, int) 如同上面一样,首先要保证 p 是指针,所以带上括号,指向的是一个返回值为 int 参数为 int int 的函数。
接下来我们来使用函数指针,使用方法跟函数一样,直接把指针变量名当函数名使用即可:
让我们来看一道有意思的题:
- int main()
- {
- (*(void (*)())0)();
- return 0;
- }
首先这道题的解法肯定先从 0 下手,我们先分析,0 前面的 (void (*) ()) 是什么?这很明显是一个函数指针类型,所以可以理解成把 0 强转成函数指针, 也就是把 0 当成了一个函数的地址,然后再 * 引用这个地址,也就是找到 0 地址处的函数进行调用。所以此代码就是一次函数调用,被调函数无参,返回类型是void。
有了上面的学习就很好理解了,无非就是保存函数地址的数组,那么它的语法格式是什么呢?
int (*arr[10]) (int, int)
这里我们可以分析到:首先 arr 跟 [ ] 先结合,所以它是个数组,这个数组的每个元素是 int (*) (int int) 类型的函数指针,它的作用主要是转移表,那我们这里就简单用一下即可
假设我们需要两个整数的 + - * / 我们写完了四个函数是不是可以放到一个数组里,然后通过访问数组下标就能调用我们想用的函数了:
- 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 (*arr[4]) (int, int) = { add, sub, mul, div };
- printf("加法:%d\n", arr[0](1, 2));
- printf("减法:%d\n", arr[1](5, 2));
- printf("乘法:%d\n", arr[2](3, 3));
- printf("除法:%d\n", arr[3](6, 2));
- return 0;
- }
看到这可能有的小伙伴觉得越来越套娃了,但其实这个也很好理解,无非就是一个指针指向了一个数组,数组每个元素是函数指针,这里我们简单了解下概念即可,用的其实也不是很多,当别人如果写了这种代码我们能看懂就行:
函数指针如何定义:
- int test(char* str)
- {
- if (str == NULL) {
- return 0;
- }
- else
- {
- printf("%s\n", str);
- return 1;
- }
- }
- int main()
- {
- //函数指针pfun
- int (*pfun)(char*) = test;
-
- //函数指针的数组pfunArr
- int (*pfunArr[5])(char* str);
-
- pfunArr[0] = test;
-
- //指向函数指针数组pfunArr的指针ppfunArr
- int (*(*ppfunArr)[5])(char*) = &pfunArr;
-
- return 0;
- }
我们来分析一下这个:int (*(*ppfunArr)[5])(char*),首先看到 (*ppfunArr) 这括号括起来先跟 * 结合证明它是一个指针,指向的类型是什么呢?把它去掉剩下的就是它的类型,int (*[5])(char*),通过这个可以发现,是一个带有5个元素的数组,每个元素的类型是一个函数指针,而函数的返回值为int,参数为 char*
这里我们能看懂即可。
回调函数指的就是一个通过函数指针调用的函数,如果你把函数的指针(地址),作为参数传递给另一个函数的话,当这个指针被用来调用其指向的函数,这里就被称为回调函数。其实 qsort 函数就是很典型使用了回调函数的例子,感兴趣的可以自行下来了解一下,这里我们就简单的演示下如何使用,用回调函数实现三个数比较大小:
- int max(int x, int y, int z, int(*pfun)(int, int))
- {
- if (x > pfun(y, z)) {
- return x;
- }
- else
- {
- return pfun(y, z);
- }
- }
- int tmp(int x, int y)
- {
- return x > y ? x : y;
- }
-
- int main()
- {
- int ret = max(10, 20, 30, tmp);
- printf("%d\n", ret);
- return 0;
- }
比较三个数的最大值是有更优的解决方案的,我们这里只是演示一下回调函数的简单使用,跟上面一样,会用即可,其实不用研究的特别深入
- int main()
- {
- char* c[] = { "ENTER","NEW","POINT","FIRST" };
- char** cp[] = { c + 3,c + 2,c + 1,c };
- char*** cpp = cp;
- printf("%s\n", **++cpp);
- printf("%s\n", *-- * ++cpp + 3);
- printf("%s\n", *cpp[-2] + 3);
- printf("%s\n", cpp[-1][-1] + 1);
- return 0;
- }
这道题我就不讲解了,学习一定得有自己研究的一个过程,包括后续 Java 的文章,每一期基本上都会留一个小疑问让大家自己下去解答,其实这道题很简单,耐心画画图就能理解了,如果你能自己解决这道题,说明你的指针的数组这两章的内容已经通关了,实在是难以解决的话,可以问一下博主。
后续其实还有动态内存管理,但是这个知识点无非就是掌握对 malloc calloc realloc free 的使用,如果你是以后 C++ 方向可学习一下,如果你是 Java 方向其实有个基本认识就行,毕竟 Java接触底层不多,有了前面学习的铺垫,去网上看看内存管理的文章是很轻松学会的,学习最主要是培养学习的能力,
最后来个大总结:从刚开始我们一共讲解了32个关键字,在关键字中也穿插了很多内容,比如大小端,结构体,往后就是符号的理解了,包括我们平常用的注释,以及各种运算符但是除法和取模我们没有放进去,这个在JavaSE系列中会介绍,再往后就是对预处理的深入理解了,最终我们以数组和指针结尾,C语言系列就到此结束了。
C语言深度解剖(完)