形参和实参的储存单元是否一致？

先引入一个例题：

以下正确的说法是：在C语言中（）。
A.实参和其对应的形参各占用独立的存储单元
B.实参和与其对应的形参共占用一个存储单元
C.只有当实参和与其对应的形参同名时才共占用存储单元
D.形参是虛拟的，不占用存储单元
答案：A
实参和形参是各占独立存储空问，函数调用过程中，实参向形参拷贝复制值。实参是个变量，形参
也是个变量。如果占用同一片空间的话，编译时候就不存在实参形参类型不匹配的报错参数传递中，形参值的改变不影响实参的值。
 

那么就可能会有疑问了

当数组名作为函数的形参是，这个两个数组就共占同一段内存单元，在存储空间上完全重合（虚实结合）。因为数组名实质上是常指针，即便它作为参数，它指向地址是不会改变的(传参的时候实际上是临时拷贝了一份指针，但是指向的地址不变），所以就共占一段内存单元（指针指向的那块内存)

我们理解的时候可以认为实参数组与形参数组在储存空间上完全重合。什么意思呢，就是形参数组的第一个位置a[0]与形参数组b[0]的地址是一样的，共同指向一个数字。当在函数中，形参的指向改变时，实参的指向也跟着改变（虚实结合）

当然也可以限制在子涵数中修改数组，只需要在子涵数的参数的前面加上const修饰即可，加上后如果子涵数对数据进行修改，系统就会报错：如图所示。

这与实参和其对应的形参各占用独立的存储单元不矛盾，如图所示：

我看网上有人用这个例子

#include<stdio.h>

void change(int a[]) {
	a=a+2;//数组a的地址+2（表示的为a[0+2])
	printf("%d\n",a[0]);//实际输出的是a[2]，首地址被改变
}

int main() {
	int a[]={6,4,2};
	change(a);//输入数组a的地址
	printf("%d\n",a[0]);
}

来证明数组的形参和实参不重合，这个实际上不正确。

因为在函数中a=a+2；这个指令实际上已将a的首地址改变了

改进程序：

#include<stdio.h>

void change(int a[]) {
	a[0]=a[0]+2;//数组a的第一个位置的数+1
	printf("%d\n",a[0]);
}

int main() {
	int a[]={6,4,2};
	change(a);//输入数组a的地址
	printf("%d\n",a[0]);
}

实际就是a[0]位置的6+2=8，数组的形参与实参重合，

所以在main（）函数中运行时，结果依旧为8

总结：

实参和其对应的形参各占用独立的存储单元，数组的形参和实参同时指向同一个地址

有什么不足的地方欢迎各位大佬指正

操作系统：Windows10

软件：Devc++

编译器：TDM-GCC 4.9.2 64-bit Release