C语言中的数组及冒泡排序法

---

一、一维数组的创建和初始化

1. 数组的创建

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

数组的创建方式：

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

数组创建的实例：

//代码1
int n=10;
int arr1[n];      
//在C99标准之前，数组的大小只能是常量，VS2019对C99支持的不是很好，不支持变长数组，所以这里错误。

//代码2
const int n=10;
int arr[n]={0};  
//n虽然被const修饰，但是本质上还是一个变量，不能用来指定数组大小。（C99之前）

//代码3
char arr3[10];
float arr4[1];
double arr5[20];

注：数组创建， [] 中要给一个常量才可以，不能使用变量。

2. 数组的初始化

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

int arr1[10] = {1,2,3};//不完全初始化，剩余的默认初始化为0
int arr2[] = {1,2,3,4};
int arr3[5] = {1，2，3，4，5}；
char arr4[3] = {'a',98, 'c'};//98被解析成字符'b'
char arr5[] = {'a','b','c'};
char arr6[] = "abcdef";

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

但是对于下面的代码要区分，内存中如何分配。

char arr1[] = "abc";//四个元素：a b c '\0'
char arr2[3] = {'a','b','c'};//a b c

全局变量不初始化，系统会自动放0；局部变量不初始化，放随机值。

3. 一维数组的使用

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

#include<stdio.h>

int main()
{
	int arr[10] = { 0 };//数组的不完全初始化
	
	//计算数组的元素个数
	int sz = sizeof(arr) / sizeof(arr[0]);
	
	int i = 0;
	for (i = 0; i < sz; i++)
	{
		arr[i] = i;
	}
	//输出数组的内容
	for (i = 0; i < sz; i++)
	{
		printf("%d ", arr[i]);
	}
	return 0;
}

✨运行结果✨

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

✨运行结果✨

总结:
1. 数组是使用下标来访问的，下标是从0开始。
2. 数组的大小可以通过计算得到。

4. 一维数组在内存中的存储

#include<stdio.h>

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

✨运行结果✨

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

由此可以得出结论：
数组在内存中是连续存放的。

二、二维数组的创建和初始化

1. 二维数组的创建

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

2. 二维数组的初始化

//数组初始化
int arr[3][5] = {1,2,3,4};
int arr[3][5] = {{1,2},{4,5}};
int arr[][4] = {{2,3},{4,5}};
char ch[4][6] = {"abc","def","qwe"};

3. 二维数组的使用

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

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

✨运行结果✨

4. 二维数组在内存中的存储

#include<stdio.h>
int main()
{
	int arr[3][4];
	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;
}

✨运行结果✨

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

✨运行结果✨

二维数组的行可以省略，但是列不能省略！
二维数组在内存中是连续存储的！

三、数组越界

数组的下标是有范围限制的。
数组的下规定是从0开始的，如果输入有n个元素，最后一个元素的下标就是n-1。
所以数组的下标如果小于0，或者大于n-1，就是数组越界访问了，超出了数组合法空间的访问。

#include<stdio.h>
int main()
{
	int arr[5] = { 1,2,3,4,5 };
	int i = 0;
	//越界
	for (i = 0; i <10; i++)
	{
		printf("%d ", arr[i]);
	}

	return 0;
}

✨运行结果✨

C语言本身是不做数组下标的越界检查，编译器也不一定报错。
但是编译器不报错，并不意味着程序就是正确的，所以程序员写代码时，最好自己做越界的检查。

操作越界空间会报错，访问越界空间不一定报错。

#include<stdio.h>
int main()
{
	int arr[5] = { 1,2,3,4,5 };
	int i = 0;
	//越界
	for (i = 0; i <10; i++)
	{
		arr[i] = 0;
	}

	return 0;
}

四、数组作为函数参数

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

1. 数组名是什么？

#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

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

✨运行结果✨

sizeof(数组名)，计算整个数组的大小，sizeof内部单独放一个数组名，数组名表示整个数组。

🌸 例外2

#include <stdio.h>
int main()
{
	int arr[10] = { 1,2,3,4,5};
	printf("%p\n", arr);
	printf("%p\n", &arr[0]);
	printf("%p\n", &arr);
	printf("------------------------\n");
	printf("%p\n", arr+1);
	printf("%p\n", &arr[0]+1);
	printf("%p\n", &arr+1);

	return 0;
}

✨运行结果✨


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

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

五、冒泡排序函数的设计

#include<stdio.h>

void bubble_sort(int arr[], int sz)//也可写作void Sort(int* arr，int sz)
{
	//int sz = sizeof(arr) / sizeof(arr[0]);这样写对吗？

	int i = 0;
	//冒泡排序的趟数
	for (i = 0; i < sz - 1; i++)
	{
		//一趟冒泡排序的过程
		int j = 0;
		int flag = 1;//假设已经有序
		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;
				flag = 0;	
			}
		}
		if (flag == 1)
		{
			break;
		}
	}
}

void Print(int*p, int sz)
{
	int i = 0;
	for (i = 0; i < sz; i++)
	{
		//printf("%d ", p[i]);
		//printf("%d ", *(p + i));
		printf("%d ", *p++);
	}
}

int main()
{
	int arr[] = { 9,8,7,6,5,4,3,2,1,0 };
	//int arr[] = { 1,2,3,4,5,6,7,8,9,10 };已经有序，flag==1,只运行一趟

	//数组名单独放在sizeof内部的时候，如：sizeof(arr)，这里的arr表示整个数组，不是首元素的地址。
	int sz = sizeof(arr) / sizeof(arr[0]);//10

	//数组名在传递给函数的时候，会降级变成首元素的地址
	//数组传参-实际上传过去的数组首元素的地址
	bubble_sort(arr, sz); 
	Print(arr, sz);

	return 0;
}

调试之后可以看到 bubble_sort 函数内部的 sz 是1。

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

那么，函数内部的 sizeof(arr) 结果是4。

---

如有问题，欢迎批评指正呀！