数组名本质揭秘：首元素地址的两大例外

引言

本文探讨了数组名的本质及其两种特殊情况。数组名通常表示首元素地址，但在sizeof(数组名)和&arr;数组名两种情况下例外：前者计算整个数组大小，后者获取整个数组地址。通过测试验证，普通数组名和首元素地址的运算步长为元素大小(4字节)，而&arr;数组名的运算步长则为整个数组大小(40字节)。这两种特殊情况是理解数组名本质的关键。

本文开始

当我们想要拿到数组的首元素的地址，可以采取以上方法，&arr[0]就是取数组下标为0的元素的地址，即首元素的地址

但是其实 arr数组名本身就是数组首元素的地址，我们可以测试一下

在x86环境下的测试结果：

我们发现通过数组名和数组首元素的地址打印出的结果是一摸一样的，所以数组名其实本质上就是数组首元素的地址

这时有人会问，如果数组名是数组首元素的地址，那么下面这段代码怎么解释呢？

这段代码输出的结果是40，如果数组名是是数组首元素的地址，那这里通过sizeof求地址的长度，输出的应该是4或者8（在x86环境下地址大小为4个字节，x64环境下地址大小为8个字节），为什么这里输出的是40

其实，数组名是数组首元素的地址是对的，只是有两个例外：

sizeof(数组名)：这里的数组名例如arr，表示的是整个数组，输出的是整个数组在内存中所占空间的大小，在这就是40个字节

&数组名：这里的数组名例如arr，表示的是整个数组的地址，通过&arr取出的是整个数组的地址，数组的地址和数组首元素的地址是有区别的！！！

除此之外，任何地方的数组名都是数组首元素的地址

我们来看看一下代码的输出结果：

结果如下：

三个结果一摸一样，那到底arr和&arr到底有什么区别呢？

输出结果：

这里&arr[0]+1和&arr[0]相差4个字节，arr+1和arr也是相差4个字节，因为&arr[0]和arr都是首元素的地址，在arr数组中一个元素是4个字节

但是&arr和&arr+1相差40个字节，因为跳过的是一整个数组，整个数组的大小是10个整型，即40个字节

总结：所以，数组名是首元素地址，但是有两个例外，分别是sizeof(数组名)、&数组名

完