4.数组（存储和使用）

一维数组

一维数组的创建

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

数组的创建方式：

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

数组创建的实例：

//代码1
int arr1[10];
//代码2
int count = 10;
int arr2[count];//数组时候可以正常创建？
//代码3
char arr3[10];
float arr4[1];
double arr5[20];

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

一维数组的初始化

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

代码：

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";
char arr2[3] = {'a','b','c'};

注：

• arr1中用字符串初始化，字符串会有一个结尾符\0，所以arr1的大小为4；arr2就只存了这三个字符，所以大小为3。（连续分配）

#include <stdio.h>
int main()
{
    char arr1[] = "abc";
	char arr2[3] = {'a','b','c'};
	int len1 = sizeof(arr1)/sizeof(arr1[0]);
	int len2 = sizeof(arr2)/sizeof(arr2[0]);
	printf("%d %d\n", len1, len2); 
}

• 当我们使用%s进行输出时，由于字符串的输出是找到\0才结束，并且输出\0之前的部分。所以arr2无法输出一个正确的值，它会在电脑内存里直到找到\0才会停止。

#include <stdio.h>
int main()
{
  	char arr1[] = "abc";
  	char arr2[3] = {'a','b','c'};
  	printf("%s\n", arr1); // abc
	printf("%s\n", arr2); // 无法确定 
}

一维数组的使用

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

代码：

#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++)//这里写10，好不好？
 	{
 		arr[i] = i;
 	} 
 	//输出数组的内容
 	for(i=0; i<10; ++i)
 	{
 		printf("%d ", arr[i]);
 	}
 	return 0;
}

• 数组是使用下标来访问的，下标从0开始。
• 数组的大小可以通过计算得到的。
• 所以当遍历数组时，i<10的写法是推荐的，这样可以显示出循环的次数和数组元素的个数。

一维数组在内存中的存储

接下来我们探讨数组在内存中的存储。

代码：

#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 arr[3][4];
char arr[3][5];
double arr[2][4];

二维数组的初始化

//数组初始化
int arr[3][4] = {1,2,3,4};
int arr[3][4] = {{1,2},{4,5}};
//二维数组如果有初始化，行可以省略，列不能省略
int arr[][4] = {{2,3},{4,5}};

二维数组的使用

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

代码：

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

输出结果如下：

二维数组在内存中的存储

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

#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;
}

输出结果如下：

通过结果我们可以分析到，其实二维数组在内存中也是连续存储的。

数组越界

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

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

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

#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;
}

输出结果如下：

二维数组的行和列也可能存在越界。

数组作为函数参数

往往我们在写代码的时候，会将数组作为参数传个函数，比如：我要实现一个冒泡排序（这里要讲算法思想）函数。

冒泡排函数的错误设计

//方法1：
#include <stdio.h>
void bubble_sort(int arr[])
{
 	int sz = sizeof(arr)/sizeof(arr[0]);//这样对吗? 1
  	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[] = {3,1,7,5,8,9,0,2,4,6};
    bubble_sort(arr);//是否可以正常排序？
    for(i=0; i<sizeof(arr)/sizeof(arr[0]); i++)
    {
        printf("%d ", arr[i]);
    }
    return 0; 
}

方法1并没有完成排序，调试之后可以看到 bubble_sort 函数内部的 sz = 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; 
}

输出结果如下：

结论：

• 数组名是数组首元素的地址。（有两个例外如下）

如果数组名是首元素地址，那么：

int arr[10] = {0};
printf("%d\n", sizeof(arr));

为什么输出的结果是：40？

补充：

• sizeof(数组名)，计算整个数组的大小，sizeof内部单独放一个数组名，数组名表示整个数组。
• &数组名，取出的是数组的地址。&数组名，数组名表示整个数组。
• 除此1,2两种情况之外，所有的数组名都表示数组首元素的地址。

二维数组数组名

从上述一维数组的结论中，我们可以看出一维数组数组名是首元素地址，那二维数组的数组名又是什么呢？

首先二维数组的数组名也应该为指针，那它指向的东西是什么呢？

• 定义一个2行3列的二维数组，我们可以通过指针的步长来判断。

#include <stdio.h>
int main(){
	int a[2][3] = {
        1, 2, 3,
        4, 5, 6
	};
	printf("a:%d, a+1:%d\n", a, a+1);
}

• 从结果可以看出，指针的步长为12，每一行的字节数正好为12（3（元素个数） * 4（每个元素所占字节数）），所以其实二维数组名一个是指向第一行数组的指针。

那&a所得到的还会是整个二维数组的地址吗？

• 同理我们来研究一下它的步长。

#include <stdio.h>
int main(){
	int a[2][3] = {
        1, 2, 3,
        4, 5, 6
	};
	printf("&a:%d, &a+1:%d\n", &a, &a+1);
}

• 上述的结果可以看出：在二维数组名前面加上&之后，指针的步长是24，正好为二维数组的字节数，所以**&a依旧表示的是整个二维数组的地址。**

那如果我们要遍历每一行里面的元素呢？我们再来看看a[0]的含义。(可以理解为*(a + 0))

#include <stdio.h>
int main(){
	int a[2][3] = {
        1, 2, 3,
        4, 5, 6
	};
	printf("a[0]:%d, a[0]+1:%d\n", a[0], a[0]+1);
}

• 观察结果相差4个字节，所以二维数组中a[0]是指向每一行的首元素的，+i之后自然就是指向这一行的第i个元素了。
• a[i] + i == *(a + i) + i 相当于对二维数组名解引用后才得到了每一行的首元素地址，再使用+i遍历即可。

总结：

• 二维数组名是指向行的，&二维数组名就指向了整个二维数组。
• 二维数组名[i]是指向i行的首元素的。&二维数组名[i]就指向了一行。

冒泡排序函数的正确设计

传参问题：

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

解决方法：

//方法2
void bubble_sort(int arr[], int sz)//参数接收数组元素个数
{
 //代码同上面函数
}
int main()
{
    int arr[] = {3,1,7,5,8,9,0,2,4,6};
    int sz = sizeof(arr)/sizeof(arr[0]);
    bubble_sort(arr, sz);//是否可以正常排序？
    for(i=0; i<sz; i++)
    {
        printf("%d ", arr[i]);
    }
    return 0; 
}

数组的应用实例

三子棋

三子棋可详见我的文章。

扫雷游戏

扫雷游戏可详见我的文章。