C语言数组知识讲解

本篇将讲解与数组有关的基本知识和其注意点

---

目录

数组的概念 

 一维数组

 一维数组的初始化

二维数组 

二维数组的初始化

 数组名

数组的使用

下标引用操作符：[ ] （一维数组的使用）

二维数组的使用

变长数组

柔性数组

---

数组的概念 

 数组就是⼀组相同类型元素的集合；

从这个概念中我们就可以发现2个有价值的信息：
• 数组中存放的是 1 个或者多个数据，但是数组元素个数不能为 0
• 数组中存放的多个数据，类型是相同的。
数组分为一维数组和多维数组，多维数组一般比较多见的是二维数组

---

 一维数组

声明：type arr_name[常量值]; 

其中 type 是数组里放的元素的类型，arr_name 是数组名，常量值是数组元素个数

 一维数组的初始化

 完全初始化（所有元素都初始化）

不完全初始化（初始化一部分，剩下的默认0）

其中，一维数组常量值可以省略，自动默认为元素个数

例：

int arr1[5] = {1, 2, 3, 4, 5};  - 完全初始化，五个元素初始为1 2 3 4 5
int arr2[5] = {1, 2, 3}  - 不完全初始化，前三个元素为1 2 3，后面的元素默认为 0
//以上两个数组都声明了有 5 个元素
int arr3[] = {1, 2, 3}  - 并没有声明元素个数有多少，不过初始化了 3 个元素，所以默认这个数组有 3 个元素

---

二维数组 

 概念：把⼀维数组做为数组的元素，这时候就是二维数组，⼆维数组作为数组元素的数组被称为三维数组，⼆维数组以上的数组统称为多维数组

声明：type arr_name[常量值 1][常量值 2]；常量值 1 为行（一维数组的个数），常量值 2 为列（每个一维数组里的元素个数）

二维数组的初始化

初始化：可以省略“行”，不能省略“列”，完全/不完全初始化方式同一维数组一样

按照行初始化 ：int arr[3][5] = {{1,2},{3,4},{5,6}}; 打印结果为每行前两个为12、34、56，其余为0（可以就把 { } 里的 { } 理解为一维数组，实际也是这样的）

---

 数组名

这里讲解一下数组的数组名，因为数组名在不同情况下它的含义是不同的，很多情况下我们都是使用数组名的，所以它的知识很重要

一般情况下数组名就是数组首元素的地址，但有两个例外：

1. sizeof（数组名），sizeof 中单独放数组名，这里的数组名表示整个数组，计算的是整个数组的大小

2. &数组名，这里的数组名表示整个数组，取出的是整个数组的地址

                         对地址或指针不了解的小伙伴可以点击我学习指针有关知识

例： 

#include<stdio.h>
int main()
{
	int arr[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };//创建一个 10 个元素的整型数组
	int* p1 = arr;//这里 arr 是首元素地址
	int(*p2)[10] = &arr;// 这里 &arr 是整个数组的地址，与首元素地址值一样，类型不同
	++p1;//向后走 1，不过 p1 是首元素地址，指向数组第二个元素 2
	++p2;//向后走 1，不过 p2 是整个数组地址，指向第十个元素后面的一个元素，是未知值
	int a = *p1;//解引用 p1 获得 2
	int b = *((int*)p2 - 1);//将 p2 转换为 int* 类型，指针向前移动一个整型，指向第十个元素 10
	printf("%d\n%d", a, b);
	return 0;
}

因为数组的使用有很多时候都和指针挂钩，所以不了解指针的小伙伴一定要去了解 

---

数组的使用

下标引用操作符：[ ] （一维数组的使用）

C语言规定数组是有下标的，下标是从 0 开始的，而 [ ] 的作用就是通过下标获取其对应的元素

注意：下标一定是从零开始

这里直接举例子简洁明了些：

 int arr[10] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};  - 创建一个数组，它的元素和下标表示如下：

再用代码举下例子 

int main()
{
    int arr[5] = {1, 2, 3, 4, 5};
    int a = arr[0];  - 取出下标为 0 的元素，也就是数组的第一个元素
    int b = arr[4];  - 取出下标为 4 的元素，也就是数组最后的一个元素
    return 0;
}

 注意：从上面可以得处，下标最大值是数组元素个数 - 1，如果不小心写了大于其的下标，则获取的数据是未知的

原理：下标引用操作符的底层还是使用的指针，这里说明一下：

所以说，只有了解了指针，才能真正将数组理解透彻 

---

二维数组的使用

 二维数组的使用也是用下标引用操作符 [ ] 的

这里也直接举例：

int main()
{
    int arr[3][5] = {{1, 2}, {3, 4}, {5, 6}};//按行初始化
    int a = arr[0][0];  - a 就等于 1
    int b = arr[1][1];  - b 就等于 4
    int c = arr[3][3];  - c 就等于 0
    return 0;
}

这里有个知识点： 那就是二维数组的每个元素也是连续存放的；

例：

所以，同理我们依旧可以通过指针操作数组的这些元素，因为它们是连续的，知道一个就能找到全部

这里我们深入去解析一下二维数组：我们要清楚二维数组的元素是一维数组，二维数组想要理解透彻的话也需要把指针理解清楚才行

比如：

int main()
{
    int arr[3][5] = {{1, 2}, {3, 4}, {5, 6}};
    int* pa= arr[0];
    pa[0];
    return 0;
}

大家思考一下 arr[0] 是什么意思呢？

我们上面说过，二维数组就是元素为一维数组的元素，这里我们就相当于取出了 arr 的第一个元素—— 一个一维数组，这里因为是单独的一个一维数组，也就相当于是单独的一个数组名，我们上面也说过，这种情况下 数组名 的含义是首元素地址，所以我们 pa 就是第一个一维数组的首元素地址，它就等效于一维数组的数组名，我们对它进行 [ ] 操作，就等效对那个一维数组 [ ] 操作，所以这里 pa[0] 就等于 1

所以，二维数组下标引用的本质就是，先下标引用获得一维数组，再通过一维数组下标引用获得元素

所以像上面，arr[0][0] 是等于 int* pa = arr[0] + pa[0] 的

这里再附上指针讲解链接哦，大家一定要认真学习指针，才能对我们的编程语言了如指掌

---

变长数组

变长数组是 C99 里面规定的一种语法

变长数组的特点是数组大小允许使用变量，变长数组的根本特征，就是数组长度只有运行时才能确定

例:我们不知道数组元素是多少，我们可以 int arr[n]; 然后对 n 赋值就是我们想要的数组大小了

注意：

1.变长数组不能初始化

2.变长数组有些编译器不能使用（例如 VS，虽然 VS 现在支持大部分 C99 语法，却不支持变长数组） 

3.变长数组的大小是在程序运行时就确定了的，不可改变，要区分其与动态内存的差别

---

柔性数组

 在 C99 中，结构(包括结构体、联合体等)中的最后一个成员允许是未知大小的数组，这个数组就是柔性数组，是用来创建可变大小的结构的

特点：结构中的柔性数组成员前面必须至少一个其他成员

sizeof 返回的这种结构大小不包括柔性数组的内存

包含柔性数组成员的结构用 malloc 等函数进行内存的动态分配，并且分配的大小应该大于结构体的大小，以适应柔性数组的预期大小（注：结构的内存是在创建变量时给予分配的，结构声明时并不会消耗内存，这里是用 malloc 等函数给整个结构分配空间，包括柔性数组的）

优点：

1.方便内存释放，若是分开给柔性数组成员和其他成员分配空间的话，需要两次 free 释放内存，且容易忘记

2.提高访问速度，连续的内存有益于提高访问速度，有益于减少内存碎片

 

struct s
{
    int a;
    int arr[];  - 这就是柔性数组
}

int main()
{
    //...  - 这里我们对整个结构体用动态内存开辟空间，这样就决定了柔性数组的大小，并且其大小是我们可以改变的
    return 0;
}

这个知识点其实和动态内存关系更大，不过跟数组有关系还是附在这了