【C进阶】27、数组的本质分析

Summary

1）数组是相同类型的变量的有序集合，数组在一片连续的内存空间中存储元素。

2）数组名a代表数组首元素的地址，a同时也代表数组这一段连续的内存；

a是数组首元素的地址，类型是int*；*a就是首元素，sizeof(*a)可以获得数组首元素的内存大小；a同时也代表这一段内存，sizeof(a)可以获得数组的内存大小；sizeof(a) / sizeof(*a) = 数组元素的个数

3）数组的地址需要用取地址符&取到，&a；

4）数组首元素的地址值与数组的地址 值相同，但是意义不同；（比如现实生活中，小区的地址和我家的地址是相同的，但并不能说小区就是我家的）我们所说的地址通常包含2个概念：起始地址 + 长度

在值上，a == &a[0] == &a；但意义不同，体现在指针运算上，a + 1，会移动sizeof(*a)个字节，&a + 1，会移动sizeof(a)个字节

5）数组名可以看做一个指针常量（注意是看做，数组名并不是指针），因为数组名指向的是首元素的起始位置，是一个地址，并且不能作为左值，同时数组名在很多时候可以像指针一样操作，比如指针运算等。

6）在下列场合中，数组名就不能看做指针常量（也证明了数组名并不是指针）

数组是相同类型的变量的有序集合，数组在一片连续的内存空间中存储元素。

数组元素的个数可以显示或隐式指定：

详见：【C入门】7、C语言中的数组
int a[5] = {1, 2};
int b[] = {1, 2};

问题：
1. a[2], a[3], a[3]的值是多少？ -- 0，如果前面的元素指定了值，后续未初始化的均为0
2. b包含了多少个元素？ -- 2，编译器会隐式推断b有多少元素

2.1 数组名a代表数组首元素的地址，a同时也代表数组这一段连续的内存；

a是数组首元素的地址，类型是int*；*a就是首元素，sizeof(*a)可以获得数组首元素的内存大小；a同时也代表这一段内存，sizeof(a)可以获得数组的内存大小；sizeof(a) / sizeof(*a) = 数组元素的个数

2.2 数组的地址需要用取地址符&取到，&a；

2.3 数组首元素的地址值与数组的地址 值相同，但是意义不同；（比如现实生活中，小区的地址和我家的地址是相同的，但并不能说小区就是我家的）我们所说的地址通常包含2个概念：起始地址 + 长度

在值上，a == &a[0] == &a；但意义不同，体现在指针运算上，a + 1，会移动sizeof(*a)个字节，&a + 1，会移动sizeof(a)个字节

2.4 数组名可以看做一个指针常量（注意是看做，数组名并不是指针），因为数组名指向的是首元素的起始位置，是一个地址，并且不能作为左值，同时数组名在很多时候可以像指针一样操作，比如指针运算等。

2.5 在下列场合中，数组名就不能看做指针常量（也证明了数组名并不是指针）

本文总结自“狄泰软件学院”唐佐林老师《C语言进阶课程》。
如有错漏之处，恳请指正。