这篇文章详细介绍了C语言中的数组概念，包括一维数组的创建、初始化、使用和内存存储，接着讲解了二维数组的创建、初始化和使用，同样阐述了它们在内存中的存储方式。此外，提到了变长数组这一C99新增特性，强调其在运行时分配内存以及作为静态数组的特性。最后讨论了数组越界的问题及其潜在风险。
目录
什么是数组？
从字面了解数组是一堆数字组成的集合。C语言中数组是一组固定大小且相同类型元素的集合。数组分为一维数组和二维数组。
数组类型的声明并不是对一个元素进行声明而是对整个数组里面的元素类型都进行声明。
所有的数组元素都是在一块连续的地址上的存储的，第一个元素占最低的地址，最后一个元素占最高的地址。
数组的下标从0开始到元素的个数减1结束。
一维数组
1.数组的创建
数组是一组相同类型元素的集合。
数组的创建方式：
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];
注：数组创建，[]中要给一个常量才可以，不能使用变量。
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";
char arr2[3] = {'a','b','c'};
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) {
printf("%d ", arr[i]);
} return 0;
}
总结:
数组是使用下标来访问的，下标是从0开始。
数组的大小可以通过计算得到。
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][4] = {1,2,3,4};
int arr[3][4] = {{1,2},{4,5}};
int arr[][4] = {{2,3},{4,5}};
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 ", arr[i][j]);
}
}
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;
}通过结果我们可以分析到，其实二维数组在内存中也是连续存储的。
变长数组
目前经常使用的C语言有三个版本，分别是 C89、C99 和 C11。C89（也称 ANSI C）是较早的版本，也是最经典的版本，国内大学几乎都是以该版本为基础进行授课。C99 和 C11 是后来对 C89 的升级，增添了一些新内容（不多），语法更加灵活了，同时兼容 C89。
各种编译器都能很好地支持 C89 标准，但对 C99 的支持却不同：开源组织的 GCC 和 Xcode 使用的 LLVM/Clang 已经支持了大部分（几乎全部）的 C99 标准，而微软的 VC、VS 对 C99 却不感兴趣，直到后来的 VS2013、VS2015、VS2017 才慢慢支持，而且支持得还不好。
C89 和 C99 对数组做出了不同的规定：
在 C89 中，必须使用常量表达式指明数组长度；也就是说，数组长度中不能包含变量，不管该变量有没有初始化。
而在 C99 中，可以使用变量指明数组长度。
在实际编程中，有时数组的长度不能提前确定，如果这个变化范围小，那么使用常量表达式定义一个足够大的数组就可以，如果这个变化范围很大，就可能会浪费内存，这时就可以使用变长数组。
变量的值在编译期间并不能确定，只有等到程序运行后，根据计算结果才能知道它的值到底是什么，所以数组长度中一旦包含了变量，那么数组长度在编译期间就不能确定了，也就不能为数组分配内存了，只有等到程序运行后，得到了变量的值，确定了具体的长度，才能给数组分配内存，我们将这样的数组称为变长数组(VLA, Variable Length Array)。
普通数组（固定长度的数组）是在编译期间分配内存的，而变长数组是在运行期间分配内存的。
变长数组仍然是静态数组
注意，变长数组是说数组的长度在定义之前可以改变，一旦定义了，就不能再改变了，所以变长数组的容量也是不能扩大或缩小的，它仍然是静态数组。以上面的代码为例，第 8 行代码是数组定义，此时就确定了数组的长度，在此之前长度可以随意改变，在此之后长度就固定了。
数组越界
数组的下标是有范围限制的。
数组的下规定是从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>
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？
1、sizeof(数组名)，计算整个数组的大小，sizeof内部单独放一个数组名，数组名表示整个数组。
2、&数组名，取出的是数组的地址。&数组名，数组名表示整个数组。
除此1,2两种情况之外，所有的数组名都表示数组首元素的地址。
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
