【C语言】详解数组（数组的创建和初始化、数组越界以及作为函数参数）

2024_极限年

已于 2023-04-12 00:16:37 修改

阅读量1.3k

点赞数 18

分类专栏： C语言文章标签： c语言数据结构开发语言

于 2023-04-11 21:04:50 首次发布

本文链接：https://blog.csdn.net/Lixinze__/article/details/130050937

版权

C语言专栏收录该内容

34 篇文章 3 订阅

订阅专栏

简单不先于复杂，而是在复杂之后。

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

1.1 数组的创建

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

数组的创建方式如下：
type_t  arr_name  [const_n];
//type_t 是指数组的元素类型
//const_n 是一个常量表达式，用来指定数组的大小
变长数组是不能初始化的。

gcc的编译器支持C99

1.2 数组的初始化

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

数组也是有类型的，去掉数组名就是数组的类型。

#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>

int main()
{
	int arr[10] = { 1,2,3 };//不完全初始化，剩下的元素默认初始化为0

	int arr1[10] = { 1,2,3,4,5,6,7,8,9,10 };//完全初始化

	int arr2[] = { 1,2,3 };//当{ }中有初始化的值时，前面[]中的常量表达式可以省略

	char ch1[10] = { 'a', 'b', 'c' };//不完全初始化
	//a b c 0 0 0 0 0 0 0 0

	char ch2[10] = "abc";//不完全初始化
	//a b c \0 0 0 0 0 0 0 0

	//同样ch1和ch2前[]中的常量表达式也可以省略

	char ch1[] = { 'a', 'b', 'c' };

	char ch2[] = "abc";

	return 0;
}

1.3 一维数组的使用

[ ] - 下标引用操作符，它其实是访问数组元素的操作符
int main()
{
    int arr[] = {1,2,3,4,5,6,7,8,9,10};//
    //在内存中连续存放
    return 0;
}
红色的是数组中的元素，蓝色的是元素所对应的下标。
#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>

int main()
{
	int arr[] = { 1,2,3,4,5,6,7,8,9,10 };
	printf("%d\n", arr[4]);

	int sz = sizeof(arr) / sizeof(arr[0]);//计算数组长度

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

	for (i = sz - 1; i >= 0; i--)
	{
		printf("%d ", arr[i]);
	}

	return 0;
}
1. 数组是使用下标访问的，下标从0开始

2. 数组的大小可以通过计算得到

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

#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>

int main()
{
	int arr[] = { 1,2,3,4,5,6,7,8,9,10 };
	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;
}
随着数组下标的增长，元素的地址，也在有规律的递增，由此可以得出结论：

数组在内存中是连续存放的。

1.5 sizeof 和 strlen

sizeof 是一个操作符，用来计算变量（类型）所占空间的大小。
strlen 是一个库函数，专门求字符串长度，只针对字符串，从参数给定的地址一直向后找 \0 ,统计 \0 之前出现的字符个数。

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 二维数组的使用

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

可以把二维数组理解为：一维数组的数组。

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

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

我们会发现二维数组的地址也是依次递增一个元素所占空间的大小，也就是4

二维数组也是在内存中连续存放的。

3. 数组越界

数组的下标是有范围限制的。

数组的下标规定是从 0 开始的，如果数组有 n 个元素，最后一个数的下标就一定是 n - 1 。

所以数组的下标如果小于0，或者大于 n - 1， 就是数组越界访问了，超出了数组合法空间的访问。

C语言本身是不做数组下标的越界检查，编译器也不一定报错，但是编译器不报错，并不意味着程序就是正确的，所以在程序员自己写代码时，最好自己做越界的检查。
#define _CRT_SECURE_NO_WARNINGS 1
#include <stdio.h>  
int main()
{

    int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
    int i = 0;
    for (i = 0; i <= 10; i++)
    {

	 printf("%d\n", arr[i]);//当i等于10的时候，越界访问了
    }
     
    return 0;
}
二维数组的行和列也可能存在越界。

4. 数组作为函数参数

往往我们写代码的时候，会将数组作为参数传给函数

比如：我要实现一个冒泡排序（算法思想）函数，将一个整型数组排序。

冒泡排序的核心思想：两个相邻的元素进行比较。

一趟冒泡排序让一个数据来到最终它应该出现的位置上！

4.1 冒泡排序的错误设计

想要知道我们在哪里出现了错误，我们需要知道以下内容：

4.2 数组名是什么？

数组名是数组首元素的地址

除了：

1. sizeof （数组名），计算整个数组的大小，sizeof 内单独放一个数组名，数组名表示整个数组。

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

除了这两种情况外，所有的数组名都表示数组首元素的地址。

二维数组的数组名也表示首元素的地址。

要把二维数组看成一维数组。

第一行的地址就是二维数组首元素的地址。

4.3 冒泡排序的正确设计

当数组传参的时候，实际上只是把数组首元素的地址传过去了。

所以即使函数参数部分写成数组的形式：int arr[ ] 表示的仍然是一个指针

int *arr

所以函数內部的 sizeof（arr）结果是 4

注：在X86环境下结果是4，64位环境下结果是8

运行结果正确。

#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>

//数组传参的时候，形参有两种写法
//1.指针
//2.数组

//void bubble_sort(int arr[])
//形参是数组形式

void bubble_sort(int* arr,int sz)//形参是指针的形式
{
	//趟数
	int i = 0;
	for (i = 0; i <= sz - 1; i++)
	{
		//一趟冒泡排序
		int j = 0;
		for (j = 0; j < sz - 1 - i; 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,8,7,6,5,4,3,2,1,0 };//把数组的数据排成升序
	// 0 1 2 3 4 5 6 7 8 9

	//冒泡排序的算法，对数组进行排序
	int sz = sizeof(arr) / sizeof(arr[0]);
	bubble_sort(arr,sz);
	int i = 0;
	for (i = 0; i < sz; i++)
	{
		printf("%d ", arr[i]);
	}

	return 0;
}