函数传参数组时，使用数组形参的本质

c语言中函数的调用分为两种方式：传址调用、传值调用。

传值调用我们都知道就是将实参的值传送给被调函数，让被调函数的形参接收这个值，从而形参内存中的数据就变成了实参的一份拷贝。

而传址调用则是将实参的地址传送过去，然后令实参为一指针变量，这个指针变量接收实参的地址，从而使这个指针变量内保存的数据变成实参的地址。

传值调用的功能更加强大，因为它是一个指针，可以通过解引用直接访问到实参。

但是，随着我了解了函数栈帧的开辟以及形参的压栈，我发现了一个问题：

就是这个函数

请问，这个函数里面的形参到底是个什么东西，它真的像它的表面一样，是个数组形参吗？ ArrInit函数栈帧空间进行开辟时，压栈的是什么呢？

数组是如何进行传参的？在学校中，我们的老师给我们讲的是：我们可以理解为因为数组名等于首地址，将数组名传送过去之后，形参数组名接受到这个地址，那么两者就共用同一块空间。

是的，老师为了让我们不太混乱，给了我们一个挺好的理解。但是这个理解我现在有点感觉不太对了。首先，数组名是首地址，是一个常量，一个指针常量。它不是变量！这个很重要，数组名一般情况下都是数组的首地址，是一个常量，不能作为一个变量来使用。只有两种情况下数组不是数组的首地址：

第一：使用sizeof计算数组大小时，此时数组名不是首地址，数组名此时就是一个抽象的变量名，类似于int a = 10 中的a这个变量名， 而它所代表的空间就是数组一整块空间。所以sizeof求出来的就是这一整块空间的大小。

第二：&数组名。 &是取地址符号， 取的是一个对象的地址。那么当&加数组名时，取出来的就是一个数组的地址。数组的地址，是一种指针类型，需要用数组指针接收（数组指针,一种情况就是用在此场景，另一种常见场景就是二维数组的传参）

除了以上两种情况，其他情况下数组名都作为首地址进行处理。

带着这个结论，我们再看上面的两个问题

既然数组名等于函数首地址，那么函数调用传参传过去的必定是一个地址。也就是传址调用。那么接收这个地址的必定是一个指针。（ 数组名是一个常量，不可能用来接收，所以形参处的数组名不可能与实参的数组名代表同一地址。） 既然是传址调用，那么形参一定是个指针。

所以，我们不妨假设， int farr【10】这里其实不是一个数组，而是一个指针。那么如何证明我们的假设是否成立，我们只要使用sizeof。 使用sizeof进行计算farr这个对象的大小时，假如我们的假设成立，那么sizeof计算出来的就是4 / 8（取决于你的环境）。假如我们的假设不成立， 它如果还是个数组，那么farr身为数组名，使用sizeof进行计算，就一定是40.

现在我们来看一下结果：

结果是8， 我们的假设成立。证明farr确实是一个指针变量。至于为什么形参写成int farr[10]的形式，结果还是一个指针，我认为可能是因为这样：

我们都知道*(arr + i) = arr[i]；这里我认为同样可以这样理解，farr【10】其实只是一个指针解引用的形式。而且其实farr【10】里面的这个10，在这里无论是任何数，它都没有语法问题。这其实就说明这个10是一个没有意义的数字。要知道，函数调用的形参是一份拷贝，是要进行压栈的，拷贝的数据越大，占用内存也就越大。传送数组函数进行接收时，必定要创建一个形参，假如创建一个相同的数组，这个空间就占用太大了，而如果是一个指针的话，空间花费就少了太多。而运用方式相差不大。从这个方面考虑，就大概可以理解为什么这个数组的形参默认被降维成为一个指针了。

所以，我对于我之前的疑问就有了一个自己的答案，函数的数组形参其实并不是一个数组。形参因为压栈要进行拷贝占用空间，出于节省的考虑。将形参降维成了一个指针。而压栈的必定也不会是整个数组，本质上只是一个指向实参数组首地址的指针