3.5、深入学习一下数组

3.5、深入学习一下数组

3.5.1、从内存角度来理解数组

(1) 从内存角度讲，数组变量就是一次分配多个变量，而且这多个变量在内存中的存储单元是依次相连接的。
(2) 我们分开定义多个变量（譬如int a, b, c, d;）和一次定义一个数组（int a[4];）这两种定义方法相同点是都定义了4个int型变量，而且这4个变量都是独立的单个使用的；不同点是单独定义时a、b、c、d在内存中的地址不一定相连，但是定义成数组后，数组中的4个元素地址肯定是依次相连的。
(3) 数组中多个变量虽然必须单独访问，但是因为他们的地址彼此相连，因此很适合用指针来操作，因此数组和指针天生就结合在一起。

3.5.2、从编译器角度来理解数组

(1) 从编译器角度来讲，数组变量也是变量，和普通变量、指针变量并没有本质不同。变量的本质就是一个地址，这个地址在编译器中决定具体数值，具体数值和变量名绑定，变量类型决定这个地址的延续长度。
（2）搞清楚：变量、变量名、变量类型，这三个概念的具体含义，很多问题都清楚了。

3.5.3、数组中几个关键符号的理解

int a[10];
对a、a[0]、&a、&a[0]的理解

(1) 这4个符号搞清楚了，数组相关的很多问题都有答案了。理解这些符号的时候要和左值右值结合起来，也就是搞清楚每个符号分别做左值和右值时的不同含义。
(2) a就是数组名，a做左值时表示整个数组的所有空间（10*4=40字节），又因为C语言规定数组操作时要独立单个操作，不能整体操作数组，所以a不能做左值；a做右值时表示数组首元素（数组的第0个元素，也就是a[0]）的首地址（首地址就是起始地址，就是4个字节中最开始第一个字节的地址），a做右值等同于&a[0];
(3) a[0]表示数组的首元素，也就是数组的第0个元素。
做左值时表示数组第0个元素对应的内存空间（连续4字节）；
做右值时表示数组第0个元素的值（也就是数组第0个元素对应的内存空间中存储的那个数）
(4) &a就是数组名a取地址，字面意思来看就应该是数组的地址。&a不能做左值（&a实质是一个常量，不是变量一次不能赋值，所以自然不能做左值）。&a做右值时表示整个数组的首地址。
(5) &a[0]字面意思就是数组第0个元素的首地址（搞清楚[]和&的优先级，[]的优先级要高于&，所以a先和[]结合再取地址）。
做左值时表示数组首元素对应的内存空间，做右值时表示数组首元素的值（也就是数组首元素对应的内存空间中存储的那个数值）

解释：为什么数组的地址是常量？
因为数组是编译器在内存中自动分配的，当我们每次执行程序时，运行时都会帮我们分配一块内存给这个数组，只要完成了分配，这个数组的地址就定好了，本次程序运行直到终止都无法再改了，那么我们在程序中只能通过&a来获取这个分配的地址，却不能去用赋值运算符修改它。

总结

1、&a和a做右值时的区别：&a是整个数组的首地址，而a是数组首元素的首地址，这两个在数字上是相等的，但是意义不相同，意义不相同会导致他们在参与运算的时候有不同的表现。
2、a和&a[0]做右值时意义和数值完全相同，完全可以互相替代。
3、&a是常量，不能做左值。
4、a做左值代表整个数组所有空间，所以a不能做左值。

#include<stdio.h>

int main(void)
{
    int a, b, c, d; //分开独立定义4个int型变量
    int a[4];       //一次定义一个数组，包含4个int型变量

    int a[10] = {1, 3, 5, 7}; //定义数组的同时初始化，这样是可以一次赋值的
    int *p = &a;              //定义指针并初始化

    a[0] = 4;
    a[1] = 44;
    // a = {2, 4, 6, 8};   //error,数组元素必须单个访问，不能整个数组来访问

    return 0;
}

返回：C语言指针系列目录