上一篇讲述了C语言函数的使用，本文讲述数组的相关概念，通过一维数组、二维数组、数组越界等详细讲解数组相关的具体内容，以辅助读者了解并掌握数组相关概念。

一维数组

一维数组的定义与创建

若无数组，我们要存储一堆类型相同的数值，就要创建一系列类型相同的变量，这样带来了代码复杂度。因此C语言给出了数组类型。C语言中数组的定义是：数组是一组相同类型元素的集合。

一维数组的创建：type_t  arr_name [const_n];  其中type_t 是指数组的元素类型，const_n 是一个常量表达式，用来指定数组的大小。

        注：对于数组创建，在C99标准之前， [] 中要给一个常量才可以，不能使用变量。但在C99标准中支持了变长数组的概念，即数组的大小可以使用变量指定，但是这样的数组不能初始化。

一维数组的初始化和使用

        数组的初始化是指，在创建数组的同时给数组的内容一些合理初始值（初始化）。
        当然数组在创建的时候如果想不指定数组的确定的大小就必须得初始化，数组的元素个数根据初始化的内容来确定。

#include<stdio.h>
void print_arr(int* arr, int len)
{
	for (int i = 0; i < len; i++)
	{
		printf("%d ", arr[i]);
	}
	printf("\n");
}
int main()
{
	int arr1[10] = { 1,2,3,4,5 };//不完全初始化，剩余元素都是0
	int arr2[10] = { 0 };//不完全初始化，剩余元素都是0
	int arr3[5] = { 2,3,4,5,6 };//完全初始化

	printf("print arr 1:->");
	print_arr(arr1, 10);
	printf("print arr 2:->");
	print_arr(arr2, 10);
	printf("print arr 3:->");
	print_arr(arr3, 5);

	char str[] = "hello world";
	return 0;
}

        由上述代码可知不完全初始化，指的是局部初始化，即对数组按从前往后(也可以说是，从低地址到高地址)对元素依次赋初值，剩余的元素则默认为0。所以对于 int arr2[10] = { 0 }; 这种，不要认为是将全部元素的初值附为0，实则是只将第一个元素赋初值为0，其余元素默认为0。
        而完全初始化，则更容易理解，即将数组中的元素全部赋初值。

定义数组时，[]中可以省略数组长度，C语言会自动计算数组长度。

数组的使用：对于数组的使用又一个操作符  []，即下标引用操作符。有了下标访问操作符，我们就可以轻松的访问到数组的元素了。

举个例子：

总结：

1.数组是通过下标进行访问的，下标是从0开始。

2.数组的长度是可以通过计算得到的。

一维数组的输入

#include<stdio.h>
int main()
{
	int arr[10];
	for (int i = 0; i < 10; i++)
	{
		scanf("%d", &arr[i]);
	}
	for (int i = 0; i < 10; i++)
	{
		printf("%d ", arr[i]);
	}
	printf("\n");
	return 0;
}

#include<stdio.h>
int main()
{
	int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
	for (int i = 0; i < 10; i++)
	{
		printf("&arr[%d] = %p\n", i, &arr[i]);
	}
	return 0;
}

#include<stdio.h>
int main()
{
	int arr1[4][5] = { {1,2,3,4,5},{2,3,4,5,6},{3,4,5,6,7},{4,5,6,7,8} };
	int arr2[4][5] = { 1,2,3,4,5, 2,3,4,5,6, 3,4,5,7, 4,5,6,8 }; // 不完全初始化，填满才换行
	int arr3[4][5] = { { 1,2,3 }, 2, 3, 4, 5, 6, 3, 4, 5, 6, 7, 4, 5, 6, 7, 8 };
	int arr4[4][5] = { {1,2,3,},{2,3,4,5},{3,4,5,6,7},{4,5} };

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

	return 0;
}

 arr数组的初始化，是非常特殊的初始化方式。行是可以省略的，但列不能省略。该初始化方式可以借助下图理解。

对于一维数组来说，在初始化时无需知道它有多少个元素。但对于二维数组而言，不需要知道二维数组有多少行，但需要知道二维数组的列数以确定一行有多大。

二维数组的使用

二维数组的使用与一维数组类似，均通过下标来访问数组中的元素，并且行和列的下标均是从0开始的。

#include<stdio.h>
int main()
{
	int arr[][3] = { 1,2,3,4,5,6,7,8,9 };
	for (int j = 0; j < 3; j++)
	{
		for (int i = 0; i < 3; i++)
		{
			printf("%d ", arr[j][i]);
		}
		printf("\n");
	}
	printf("arrp[1][1] = %d\n", arr[1][1]);
	return 0;
}

二维数组在内存中的存储

 二维数组在内存中的存储是怎么样的呢？你是不是认为一行内部的元素是连续存储的，而行与行之间的存储是离散的。然而实际是，二维数组在内存中的存储和一维数组一样，无论是行内部还是行之间都是连续存储的。看看下面这段代码吧。

#include<stdio.h>
int main()
{
	int arr[][3] = { 1,2,3,4,5,6,7,8,9 };
	for (int j = 0; j < 3; j++)
	{
		for (int i = 0; i < 3; i++)
		{
			printf("&arr[%d][%d] = %p\n", j,i,&arr[j][i]);
		}
	}
	return 0;
}

仔细观察可知一行内部的元素是连续存储的。我们重点观察一行末尾元素与下一行首元素之间的地址间隔：arr[0][2]地址的最后两位为D0，arr[1][0]地址的最后两位为D4，两者之间的地址大小相差4个字节,因此二维数组中，行与行之间也是连续存储的，也是从低地址向高地址存储。(如下图)

数组越界

        1. 数组的下标是有范围限制的。
        2. 数组的下规定是从0开始的，如果数组有n个元素，最后一个元素的下标就是n-1。
        3. 所以数组的下标如果小于0，或者大于n-1，就是数组越界访问了，超出了数组合法空间的访问。
        4. C语言本身是不做数组下标的越界检查，编译器也不一定报错，但是编译器不报错，并不意味着程序就是正确的，所以我们在写代码时，最好自己做越界的检查。

看一个经典例子

#include <stdio.h>
int main()
{
    int i = 0;
    int arr[] = {1,2,3,4,5,6,7,8,9,10};
    for(i=0; i<=12; i++)
    {
        arr[i] = 0;
        printf("hello bit\n");
    }
    return 0;
}

运行这段代码，会发现它死循环。下面解释一下这段代码为什么会发生死循环。

数组名的理解

 数组名通常情况下是数组首元素的地址。但是有2个例外：
        1. sizeof(数组名)，数组名单独放在sizeof()内部，这里的数组名表示整个数组，计算的是整个数组的大小。
         2. &数组名，这里的数组也表示整个数组，这里取的是整个数组的地址。
        除此之外，遇到的所有数组名都表示数组首元素的地址。

#include<stdio.h>
int main()
{
	int arr[10] = { 1,2,3,4,5,6 };
	//数组首元素地址
	printf("%p\n", arr);
	printf("%p\n", arr + 1);
	printf("\n");

	printf("%p\n", &arr[0]);
	printf("%p\n", &arr[0] + 1);
	printf("\n");

	//数组的地址
	printf("%p\n", &arr);
	printf("%p\n", &arr + 1);
	printf("\n");

	//整个数组的大小
	printf("%zd\n", sizeof(arr));
	return 0;
}

如果我们取首元素的地址&arr[0]，再对&arr[0]+1，会发现两者之间的地址相差4，即只跳过了一个整型元素的大小，而假如我们对数组名取地址(&arr)，再进行&arr+1，地址的最后两位由A8变成了D0，经计算两个相差40个字节，即整个arr数组的大小。故&数组名，取的是整个数组的地址。

本文就介绍到这里啦，我们下期再见！