C语言—数组的前世今生（详解版）

全文目录

1. 一维数组的创建和初始化
   1.1数组的创建
   1.2一维数组的初始化
   1.3一维数组的使用
   1.4一维数组在内存中的储存

2. 二维数组的创建和初始化
   2.1 二维数组的创建
   2.2二维数组的初始化
   2.3二维数组的使用
   2.4二维数组在内存中的储存

3. 数组越界

4. 数组作为函数参数
   4.1冒泡排序函数的错误设计
   4.2数组名是什么？
   4.3冒泡函数的正确设计

---

1. 一维数组的创建和初始化

---

1.1数组的创建

首先，我们要明白数组是什么，简单来说：

数组是一组相同类型元素的集合

数组的创建方式：

type_t   arr_name[const_n];
//type_t 是指数组的元素类型
//const_n 是一个常量表达式，用来指定数组的大小

举几个例子：

//代码1
int arr1[10];
//代码2
int s = 10;
int arr2[s];   //在编译器上无法正常编译
//代码3
char arr3[100];
float arr4[100];
double arr5[100];

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

1.2一维数组的初始化

数组的初始化是指，在创建数组的同时给数组的内容一些合理初始值（初始化）

int arr1[10] = { 1,2,3 };
int arr2[] = { 1,2,3,4 };
int arr3[5] = { 1,2,3,4,5 };
char arr4[3] = { 'a',98, 'c' };
char arr5[] = { 'a','b','c' };
char arr6[] = "abcdef";

数组在创建的时候如果想不指定数组的确定的大小就得初始化。数组的元素个数根据初始化的内容来确定。

例如：

char arr1[] = "abc";  //字符串的初始值要考虑’\0‘
char arr2[3] = { 'a','b','c' };

1.3一维数组的使用

对于数组的使用我们之前介绍了一个操作符：[]，下标引用操作符。它其实就数组访问的操作符。

#include <stdio.h>
int main()
{
	int arr[10] = { 0 };//数组的不完全初始化
	//计算数组的元素个数
	int sz = sizeof(arr) / sizeof(arr[0]);
	//对数组内容赋值,数组是使用下标来访问的，下标从0开始。所以：
	int i = 0;//做下标
	for (i = 0; i < 10; i++)
	{
		arr[i] = i;
	}
	//输出数组的内容
	for (i = 0; i < 10; ++i)
	{
		printf("%d ", arr[i]);
	}
	return 0;
}

//打印结果：  0 1 2 3 4 5 6 7 8 9

于是，我们可以知道：

• 数组是使用下标来访问的，下标是从0开始。
• 数组的大小可以通过计算得到。

int arr[10];
int sz = sizeof(arr) / sizeof(arr[0]);  //元素个数

1.4 一维数组在内存中的储存

我们先来看一段代码：

#include <stdio.h>
int main()
{
	int arr[10] = { 0 };
	int i = 0;
	int sz = sizeof(arr) / sizeof(arr[0]);

	for (i = 0; i < sz; ++i)
	{
		printf("&arr[%d] = %p\n", i, &arr[i]);
	}
	return 0;
}

**仔细观察输出的结果，我们知道，随着数组下标的增长，元素的地址，也在有规律的递增。
由此可以得出结论：

• 数组在内存中是连续存放的。
• int 类型地址依次递增4个字节。
  

2. 二维数组的创建和初始化

---

2.1 二维数组的创建

//数组创建
int arr[3][4];
char arr[3][5];
double arr[2][4];

2.2 二维数组的初始化

//数组初始化
int arr[3][4] = {1,2,3,4};  //三行四列，初始化但没有赋值统一为零
int arr[3][4] = {{1,2},{4,5}};
int arr[][4] = {{2,3},{4,5}};//二维数组如果有初始化，行可以省略，列不能省略

2.3 二维数组的使用

二维数组的使用也是通过下标的方式：

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

//结果 0 1 2 3 4 5 6 7 8 9 10 11
/* 这样理解
  0 1 2 3
  4 5 6 7
  8 9 10 11
*/

2.4 二维数组在内存中的储存

像一维数组一样，这里我们尝试打印二维数组的每个元素的地址。

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

来看结果：

于是通过结果我们可以知道，二维数组在内存中也是连续储存的：

3.数组越界

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

4.数组作为函数参数

往往我们在写代码的时候，会将数组作为参数传个函数，比如：我要实现一个冒泡排序函数。

通过对待排序序列从前向后（从下标较小的元素开始）,依次对相邻两个元素的值进行两两比较，若发现逆序则交换，使值较大的元素逐渐从前移向后部，就如果水底下的气泡一样逐渐向上冒一样。

我们先全部放在main函数试一下

#include<stdio.h>
int main() {

	int arr[10] = { 9, 5, 1, 7, 3, 2, 6, 4, 8, 0 };
	int sz = sizeof(arr) / sizeof(arr[0]);

	for (int i = 0; i < sz - 1; ++i) {
		for (int j = 0; j < sz - 1; j++) {

			if (arr[j] > arr[j+1]) {
				int tmp = arr[j];
				arr[j] = arr[j + 1];
				arr[j + 1] = tmp;
			}
		}
	}

	for (int i = 0; i < sz; ++i) {
		printf("%d ", arr[i]);
	}
	return 0;
}

那如果放在函数中呢？
我们来看：

4.1冒泡排序函数的错误设计

#include <stdio.h>
void bubble_sort(int arr[])
{
	int sz = sizeof(arr) / sizeof(arr[0]);
	int i = 0;
	for (i = 0; i < sz - 1; i++)
	{
		int j = 0;
		for (j = 0; j < sz - i - 1; j++)
		{
			if (arr[j] > arr[j + 1])
			{
				int tmp = arr[j];
				arr[j] = arr[j + 1];
				arr[j + 1] = tmp;
			}
		}
	}
}
int main()
{
	int arr[] = { 9, 5, 1, 7, 3, 2, 6, 4, 8, 0 };
	bubble_sort(arr);
	int i = 0;
	for (i = 0; i < sizeof(arr) / sizeof(arr[0]); i++)
	{
		printf("%d ", arr[i]);
	}
	return 0;
}

结果出错了，我们来看问题：

在 bubble_sort 函数中，通过 sizeof(arr) / sizeof(arr[0]) 来计算数组 arr 的长度是不正确的。当数组作为函数参数传递时，实际上传递的是数组首元素的地址，在函数内部，arr 就退化成了一个指针，而指针的大小在 32 位系统上是 4 个字节，在 64 位系统上是 8 个字节。所以 sizeof(arr) 计算的是指针的大小，而不是数组的实际长度，这会导致 sz 的值不正确，所以sz在bubble_sort的并不是我们想象中的10，而是2。

难道数组作为函数参数的时候，不是把整个数组的传递过去？

4.2数组名是什么？

#include <stdio.h>
int main()
{
	int arr[10] = { 1,2,3,4,5 };
	printf("%p\n", arr);
	printf("%p\n", &arr[0]);
	printf("%d\n", *arr);
	//输出结果
	return 0;
}

我们可以发现：

数组名是首元素的地址

但是也有两个特例：

1.sizeof(数组名)，计算整个数组的大小，sizeof内部单独放一个数组名，数组名表示整个数组。
2. &数组名，取出的是数组的地址。&数组名，数组名表示整个数组,但是整个数组会以首元素地址显示

尽管数组的地址和数组首元素的地址相同，但是arr+1却不等于&arr+1
这里的&arr+1 加了40个字节 （16*3-8=40）
arr+1 加了4个字节 （12-8=4）c为12

那我们该怎么解决这个问题呢？

4.3冒泡函数的正确设计

当数组传参的时候，实际上只是把数组的首元素的地址传递过去了。所以即使在函数参数部分写成数组的形式：int arr[]表示的依然是一个指针：int *arr。那么，函数内部的 sizeof(arr) 结果是8。

#include <stdio.h>

void bubble_sort(int arr[], int sz)
{
    int i, j;
    for (i = 0; i < sz - 1; i++)
    {
        for (j = 0; j < sz - i - 1; j++)
        {
            if (arr[j] > arr[j + 1])
            {
                int tmp = arr[j];
                arr[j] = arr[j + 1];
                arr[j + 1] = tmp;
            }
        }
    }
}

int main()
{
    int arr[] = { 9, 5, 1, 7, 3, 2, 6, 4, 8, 0 };
    int sz = sizeof(arr) / sizeof(arr[0]);
    // 将数组和其长度传递给 bubble_sort 函数
    bubble_sort(arr, sz);  
    int i = 0;
    for (i = 0; i < sz; i++)
    {
        printf("%d ", arr[i]);
    }
    return 0;
}

---

  好啦，以上就是本期的全部分享，希望这篇博客能够帮助您更好地理解 C 语言中的数组！如果你有任何疑问或建议，欢迎在评论区留言。还有就是如果你觉得还不错，关注我，我们一起进步！