1、数组参数和指针参数
1.1 一维数组传参
这里在前几期我们已经初略的见识过了,但是这里我们要提一个概念,数组给函数传参是会发生降维的,降维成什么呢?我们看代码:
这里通过打印形参的大小,发现是 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) 这样也是可以的,至少不会让阅读者感到误会。
1.2 一级指针传参
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 函数内有效,所以只能对实参做一份拷贝,并传递给被调用的函数。
1.3 二维数组参数和二级指针参数
这个例子我们发现,二维数组传参的时候也会发生降维,如何理解呢?上一期我们用了数组指针来接收了二级指针传参,这里我们就来做一个总结:
任何维度的数组,传参的时候都要发生降维,降维成指向其内部元素类型的指针,那么,二维数组内部元素我们可以看成是多个一维数组,所以,二维数组传参其实是降维成指向一维数组的指针,而这里的 arr 也就代表着首元素地址,也就是第一行一维数组的地址!这也就是我们之前可以拿指针数组来接收的原因了。
这里我们还是可以省略第一个下标的值:char arr[][4] ,但是为什么不能省略第二个下标值呢?我们可以想一下,之前写用数组指针接收是这样写的 char (*p)[4] ,上面我们提到过,int arr[] 用来接收实参,它本质上就是个指针,所以 char arr[][4] 本质上是个数组指针,从他的角度看,他指向了一个存放 4 个 char 类型元素的数组,所以如果省略了第二个下标则指针类型不明确!
1.4 野指针的问题
这个问题其实很多书中都会有写,我们这里就简单提一下:
- 指针未初始化,默认是随机值,如果直接访问会非法访问内存
- 指针越界访问,当指针指向不属于我们的内存,p就是野指针指针指向的空间被释放,如果动态开辟的内存被释放但是指针没置NULL,就会形成野指针,他仍然记录者已经不属于他的内存
- 返回局部变量的地址,如果我们一个函数被销毁后但是仍然返回函数内局部变量的地址也会造成也会造成野指针
2、函数指针
指针变量是用来保存地址的,那么函数有地址吗?有!函数是由我们自己写的一些语句构成的,程序运行的时候就会把定义好的函数中的语句调用到内存中去,那么函数代码在内存中开始的那个内存空间的地址也就是函数的地址!
这里我们也能发现,函数是有地址的,而且 &函数名 和 单独的函数名 都能表示函数的地址。
那么我们如果想把函数的地址存起来该如何做呢?有了上面学习指针数组和数组指针的经验,其实函数指针也很好理解:
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。