7－数组

 

一、地址

1.计算机中的内存是以字节为单位的存储空间。内存的每一个字节都有一个唯一的编号，这个编号就称为地址。凡存放在内存中的程序和数据都有一个地址，也就是说，一个函数也有自己的内存地址。

 

变量存储单元的第一个字节的地址就是该变量的地址。

可以看出，变量a的地址是ffc3；变量b的地址是ffc1。内存中存储的都是2进制数据。

打印出变量的地址：

int main() {
int c = 9;
int d = 10;
printf("16进制:%x\n", &c);
printf("16进制:%x\n", &d);
}

 

 

二、一维数组

1.一维数组的定义

* 定义的形式为：类型  数组名[元素个数]

int a[5];

注意：

* []里面的个数必须是一个固定值，可以是常量(比如6、8)、常量表达式(比如3+4、5*7)。绝对不能使用变量或者变量表达式来表示元素个数，大多数情况下不要省略元素个数（当数组作为函数的形参和数组初始化时除外）

下面是正确的：

int  a[5];   // 整型常量
int  b['A'];  // 字符常量，其实就是65
int  c[3*4];  // 整型常量表达式

下面是错误的：

int a[]; // 没有指定元素个数，错误

int i = 9;
int a[i]; // 用变量做元素个数，错误

 

 2.一维数组的存储

定义数组时，系统将按照数组类型和个数分配一段连续的存储空间来存储数组元素，如int a[3]占据了连续的6字节存储空间（在16位编译器环境下，一个int类型占用2个字节）。要注意的是，数组名代表着整个数组的地址，也就是数组的起始地址。

 

注意：

a不算是变量，是个常量，它代表着数组的地址。上图把a放到变量一栏是为了方便大家理解数组结构。

数组a的地址是ffc1，a[0]的地址是ffc1，a[1]的地址是ffc3，a[2]的地址是ffc5。因此a == &a[0]，即第一个元素的地址就是整个数组的地址

 

3.一维数组的初始化

C语言中编译器是不会对数组下标越界进行检查的，所以自己访问数组元素时要小心

 

* 元素值列表可以是数组所有元素的初值，也可以是前面部分元素的初值

int a[4] = {2, 5};

当数组为整型时，初始化未确定初值的元素，默认为0，所以上面的a[2]、a[3]都为0

 

* 当对全部数组元素都赋初值时，可以省略元素个数

int a[] = {2, 5, 7};

说明数组a的元素个数是3

 

* 数组初始化时的赋值方式只能用于数组的定义，定义之后只能一个元素一个元素地赋值

1 int a[3];
2 a[3] = {1, 2, 3}; // 错误
3 a = {1, 2, 3}; // 错误

其实为什么是错误的写法呢？我们可以简要分析一下。

1> 第2行的a[3]代表着访问数组的第4个元素，首先这里已经是数组下标越界了；就算没有越界，给a[3]赋值时也应该赋一个int类型的整数，不应该是{}。

2> 第3行的a是数组名，代表着数组的地址，它是个常量！给常量赋值，那肯定错了！

 

 

4.一维数组与函数参数

* 一维数组的元素作为函数实参，与同类型的简单变量作为实参一样，是单向的值传递(形参分配内存空间)，即数组元素的值传给形参，形参的改变不影响实参

// b是test函数的形参(形式参数)
void test(int b) {
    b = 9;
}

int main()
{
    int a[3];
    a[0] = 10;
    
    printf("函数调用前的a[0]：%d\n", a[0]);
    
    test(a[0]); // a[0]是test函数的实参(实际参数)

    printf("函数调用后的a[0]：%d", a[0]);
    return 0;
}

输出结果：

 

*数组名代表着整个数组的地址，如果一维数组的名字作为函数实参，传递的是整个数组，即形参数组和实参数组完全等同(形参的内存也是一个地址)，是存放在同一存储空间的同一个数组。这样形参数组修改时，实参数组也同时被修改了。

// b是test函数的形参(形式参数)
void test(int b[]) { // 也可以写int b[3]
    b[0] = 9;
}

int main()
{
    int a[3];
    a[0] = 10;
    
    printf("函数调用前的a[0]：%d\n", a[0]);
    
    test(a); // a是test函数的实参(实际参数)

    printf("函数调用后的a[0]：%d", a[0]);
    return 0;
}

输出结果：

 

 

二、二维数组

1.二维数组的定义与存储

定义形式：类型  数组名[行数][列数]

int a[2][3]; // 共2行3列，6个元素

 

 

* 再来看看在内存中的存储情况，例如int a[2][2]

(注意：a[0]、a[1]也是数组，是一维数组，而且a[0]、a[1]就是数组名，因此a[0]、a[1]就代表着这个一维数组的地址)

1> 数组a的地址是ffc1，数组a[0]的地址也是ffc1，即a = a[0]；

2> 元素a[0][0]的地址是ffc1，所以数组a[0]的地址和元素a[0][0]的地址相同，即a[0] = &a[0][0]；

3> 最终可以得出结论：a = a[0] = &a[0][0]，以此类推，可以得出a[1] = &a[1][0]

 

 2.二维数组的初始化

 

* 按行进行初始化

int a[2][3] = { {2, 2, 3}, {3, 4, 5} };

 

* 按存储顺序进行初始化(先存放第1行，再存放第2行)

int a[2][3] = {2, 2, 3, 3, 4, 5};

 

* 对部分元素进行初始化

int a[2][3] = { {2}, {3, 4} };
int b[3][3] = { { }, { , , 2}, {1, 2, 3}};

 

* 如果只初始化了部分元素，可以省略行数，但是不可以省略列数

int a[][3] = {1, 2, 3, 4, 5, 6};
int a[][3] = {{1, 2, 3}, {3, 5}, {}};

有些人可能想不明白，为什么可以省略行数，但不可以省略列数。也有人可能会问，可不可以只指定行数，但是省略列数？

其实这个问题很简单，如果我们这样写：

int a[2][] = {1, 2, 3, 4, 5, 6}; // 错误写法

大家都知道，二维数组会先存放第1行的元素，由于不确定列数，也就是不确定第1行要存放多少个元素，所以这里会产生很多种情况，可能1、2是属于第1行的，也可能1、2、3、4是第一行的，甚至1、2、3、4、5、6全部都是属于第1行的