写C语言绕不开数组。C语言数组说白了就是在内存里划出一段连续空间然后给它起个名字这个说法我讲了不下百遍因为它是理解后面一切数组坑的前提。很多人学数组时只记住“int a[10]”这种写法背了一堆语法规则真到写代码时照样被越界、指针退化、二维数组传参折磨。这篇文章打算把数组从里到外讲透从内存本质讲起覆盖初始化、scanf输入、越界、冒泡排序、数组增加与去重、循环队列再到二维数组、字符数组、指针数组、数组指针和动态数组。适合刚学C语言基础的新手也适合被笔试和OJ题虐过、想系统梳理数组知识的老手。读完你至少能明白为什么a[i]可以写成i[a]为什么二维数组传参必须写列数为什么有时候数组名是地址、有时候又不是。1. 数组的内存本质把连续空间这件事刻在脑子里1.1 数组名不是指针变量它代表一段连续内存很多人把“数组名就是指针”挂在嘴边严格说这个说法是有条件的。数组名在绝大多数表达式里会退化成首元素地址但在sizeof和操作符下并不会。看下面这段代码#include stdio.h int main(void) { int a[5] {1, 2, 3, 4, 5}; printf(sizeof(a) %zu\n, sizeof(a)); printf(a %p\n, (void *)a); printf(a 1 %p\n, (void *)(a 1)); printf(a %p\n, (void *)a); printf(a 1 %p\n, (void *)(a 1)); return 0; }假设a的首地址是0x7ffc12345670那么a1会变成0x7ffc12345674因为a在表达式里退化成指向int的指针int占4字节所以加1跳过4字节。而a1会跳过整个数组变成0x7ffc12345684因为a的类型是“指向int[5]的指针”加1跳过20字节。sizeof(a)的结果是20不是8说明在sizeof里数组名并没有退化成指针。这个例子想说明的是数组名本身代表“整个数组这个对象”只有在大多数表达式中才隐式转换成首元素地址。更精确地说除了sizeof、操作数以及字符串字面量初始化数组的场景数组名表达式会转换成指向首元素的指针。搞清楚这一点后面看各种“数组和指针一样吗”的争论时就不会被绕晕。1.2 下标a[i]和指针运算是一回事C语言里a[i]其实只是*(ai)的语法糖。编译器看到a[i]先算出a的首地址再移动i个元素大小的距离最后解引用。正因为下标运算符的定义是“对称”的所以i[a]也是合法代码因为*(ia)和*(ai)完全等价。不少面试官喜欢拿这个考人我第一次看到别人写i[a]时觉得是行为艺术但理解了原理就不会觉得奇怪。这个设计意味着数组访问没有任何边界检查。a[100]在语法上完全合法能不能正常运行取决于那个地址上有没有你无权访问的内存。所以C程序的段错误一半以上是数组越界干的。理解“C语言不检查边界”这件事很重要因为很多用惯其他语言的人会觉得越界会抛异常但C不会它会默默给你错误数据或者在某些特定内存布局下把关键数据改坏。还有一点值得说数组下标可以是负数。比如你让指针指向数组中间位置就可以用p[-1]访问前面元素。只要指针仍然指向同一个数组的合法范围p[-1]落在数组范围内就是合法的它不是语法错误关键看你是否还在同一数组对象内。这个技巧在滑动窗口、单调栈等算法实现里偶尔能用上。1.3 数组与指针的边界什么时候退化什么时候不退化数组和指针的关系是我见过最容易被误解的话题。数组不是指针但数组名在表达式中会退化成指针指针也不是数组但指针变量可以指向数组首元素所以能用指针去遍历数组。真正的原因在于C语言把“连续内存”和“首地址”这两个概念分离了数组是那段内存的名字指针是存地址的变量。我经常让初学者做这个实验int a[5] {0}; int *p a;之后p可以重新指向别处但a不能因为a不是一个可修改的指针变量它是一段内存块的名字。你也写不出a p这样的代码编译器会直接报错。很多人误以为“数组名是常量指针”更准确的说法是“数组名是不可修改的左值但不能作为赋值运算符的左操作数”。这个概念虽然绕口但它能帮你解释为什么函数传参时数组会“丢失长度信息”也方便你理解二维数组传参时为什么必须显式给出列数。2. 数组初始化与输入每天都会踩的坑2.1 五种初始化方式内存结果各不相同初始化看起来简单但不同写法对应的内存状态差别很大。看下面几种声明int a[5]; // 第一种 int b[5] {0}; // 第二种 int c[5] {1, 2, 3}; // 第三种 int d[] {1, 2, 3}; // 第四种 int e[5] {[2] 7}; // 第五种第一种声明在函数内部时a的内容是栈上残留的垃圾值不一定是0这是新手最容易踩的坑。第二种把第一个元素设为0剩余元素按C标准自动补0所以整个数组都是0。第三种前三个元素是1、2、3后面两个自动补0。第四种由编译器数出数组长度是3。第五种是C99指定初始化下标为2的元素设为7其余自动补0。为什么局部数组不初始化就是垃圾值因为栈内存本身不会清零上次函数调用留下的数据还躺在那里。而静态存储期的数组比如全局变量或static修饰的局部数组即使不写初始化也一定是全0因为程序加载时对应的数据段会被清零。这个差异来自存储期不是数组本身有什么魔法。提示在写代码时拿不准数组初值就老老实实写 {0}成本极低收益是确定性强。不要赌“反正后面会覆盖”。2.2 scanf读数组空白字符、残留换行与缓冲区scanf处理整型数组时会自动跳过前导空白字符。比如int arr[3]; for (int i 0; i 3; i) { scanf(%d, arr[i]); }输入“1 2 3”可以输入“1\n2\n3\n”也可以因为%d会自动跳过空格、换行、Tab。但读取字符时就不一样了。用scanf(%s, s)读字符串时遇到空白字符就会停止所以不能读带空格的整行。如果想读一行含空格的内容应该用fgets。另一个经典问题是缓冲区残留。比如你先scanf(%d, n)再scanf(%c, ch)ch极有可能拿到上一次输入留下的换行符。这是因为scanf的%d在读完数字后并不会消费后面的换行符那个\n留在缓冲区里紧接着的%c直接把它读走了。解决办法很多在%d后面加空格写成scanf(%d , n)或者用getchar把换行吃掉或者干脆把输入统一用fgets加sscanf处理。这些细节在PTA、OJ题里特别容易造成“明明逻辑没问题就是结果不对”的诡异情况。我见过很多学生调试半天最后发现是scanf的格式化字符串少了个空格。记住一个原则用%c和%[ ]这类不跳过空白字符的格式时要自己对空白字符负责用%d和%s时则可以放心让scanf跳过前导空白。2.3 数组越界为什么不会报错却会闯祸数组越界不报错是因为C语言不生成边界检查代码。访问a[i]时编译器只做一件事计算地址然后读写那个地址。至于这个地址是否属于数组编译器不关心运行时硬件也只关心这段内存是否可访问。所以越界访问有时不会立即崩溃这正是它危险的地方。看这个例子#include stdio.h int main(void) { int a[3] {1, 2, 3}; int b 100; a[3] 200; // 越界写入 printf(b %d\n, b); return 0; }在某些编译器和栈布局下a[3]恰好会覆盖b的内存于是输出变成200。但这不是绝对的取决于栈方向、变量排列顺序、编译优化等级。这个例子说明越界写入不一定会触发段错误也可能悄悄改掉别的变量的值排错时极其痛苦。更严重的是越界写覆盖到返回地址函数返回时直接跳去错误地址触发段错误。防范的核心是边界意识遍历时用数组长度来控制循环不要写死数字。计算数组长度推荐用sizeof(a) / sizeof(a[0])一维数组在原始定义所在的函数里这样算没问题。一旦数组作为参数传进函数sizeof(a)就变成指针大小了所以还要额外传一个长度参数这是下一章要展开的内容。3. 一维数组实战排序、增删、去重、移位都能直接抄3.1 冒泡排序的完整实现与优化冒泡排序是数组入门必写的算法。思路很简单每一趟从左到右比较相邻元素如果顺序不对就交换一趟结束后当前未排序部分的最大值会“冒”到最后。实现如下#include stdio.h void bubble_sort(int arr[], int n) { for (int i 0; i n - 1; i) { int swapped 0; for (int j 0; j n - 1 - i; j) { if (arr[j] arr[j 1]) { int tmp arr[j]; arr[j] arr[j 1]; arr[j 1] tmp; swapped 1; } } if (!swapped) { break; } } }外层循环控制趟数总共最多n-1趟。内层循环做相邻比较已经排好的尾部元素不需要再比较所以内层范围是n-1-i。我用swapped标志记录本趟是否有交换如果一整趟下来没有任何交换说明数组已经有序可以提前结束。最坏情况时间复杂度是O(n²)带标志优化后最好情况能降到O(n)。写这个函数时要特别注意数组作为参数传入时arr其实退化成指针形参写int arr[]和int *arr完全等价。但在函数内部sizeof(arr)是8字节64位机器上的指针大小不是整个数组大小所以必须把数组长度n一起传进来。这个细节每年都能坑掉一批新手他们以为在函数里还能用sizeof算长度结果长度永远是8。3.2 数组“增加”元素三种可落地方案很多初学者会问C语言数组怎么动态增加元素坦白说定长数组本身没有append操作因为数组在定义那一刻长度就固定了。想要“增加”本质上要做内存层面的安排。常见的方案有三种。第一种是预分配一个足够大的数组用单独的变量记录有效元素个数。比如int data[1000]; int cnt 0; // 追加元素 if (cnt 1000) { data[cnt] value; }这适合确定上限的场景实现最简单性能也最好缺点是浪费内存且无法突破预分配上限。第二种是在数组中间插入元素需要把插入位置后面的元素整体后移。比如在pos处插入xfor (int i size; i pos; i--) { arr[i] arr[i - 1]; } arr[pos] x; size;注意必须从后往前移动如果从前往后覆盖后面的数据会被冲掉。这个思路是顺序表插入操作的核心理解后写顺序表、队列、动态数组都顺手。第三种是使用realloc动态扩展容量。先分配一块堆内存当有效长度等于容量时扩大容量再继续插入。可以封装一个容量检查函数void ensure_capacity(int **arr, int *capacity, int len) { if (len *capacity) { *capacity (*capacity 0) ? 4 : *capacity * 2; int *new_arr (int *)realloc(*arr, (*capacity) * sizeof(int)); if (new_arr NULL) { // 处理分配失败 return; } *arr new_arr; } }这里有个非常容易犯的错直接写arr realloc(arr, new_size)如果realloc失败会返回NULL原来的指针也会丢失造成内存泄漏。正确做法是用临时变量接收返回值确认非NULL后再赋给原指针。容量按倍数增长能让连续多次追加的均摊时间复杂度达到O(1)这是动态数组性能好的关键。3.3 数组去重排序后双指针一遍搞定数组去重是一道高频题。最粗暴的方法是双重循环每个元素和前面所有元素比较遇到重复就跳过时间复杂度O(n²)。但更实用的做法是先排序再原地去重。排序后重复元素一定相邻只需要维护一个写入位置int remove_duplicates(int arr[], int n) { if (n 0) { return 0; } int k 1; for (int i 1; i n; i) { if (arr[i] ! arr[k - 1]) { arr[k] arr[i]; } } return k; }思路是k始终指向“去重后有效区间的下一个写入位置”遍历数组时只有当前元素和有效区间最后一个元素不同才把它保留。最终函数返回k就是去重后的长度。整个过程只遍历一遍空间复杂度O(1)。去重之前要排序可以直接用标准库的qsort不用自己写快排int cmp(const void *a, const void *b) { int x *(const int *)a; int y *(const int *)b; return (x y) - (x y); } qsort(arr, n, sizeof(int), cmp);比较函数返回负数、零、正数来指示a与b的大小关系。注意减法溢出问题如果元素是INT_MIN和INT_MAX*(int*)a - *(int*)b有可能溢出更稳妥的写法是(x y) - (x y)。平时刷题时减法一般够用但严谨一点没坏处。3.4 数组循环移位与环形队列的数组模拟关于“数组指针移动指定位输出”这类题目本质是数组循环移位问题。比如把数组循环右移k位可以在O(n)时间内完成不需要真的逐个移动。方法是先整体逆序再逆序前k个再逆序后n-k个。以右移2位为例数组[1,2,3,4,5]先整体逆序变成[5,4,3,2,1]再逆序前2个变成[4,5,3,2,1]再逆序后3个变成[4,5,1,2,3]结果正好是右移2位。这个技巧在字符串旋转题里非常常用。既然提到了数组和移位就不能不说环形队列。环形队列是数组应用的经典场景用固定大小数组q[m]模拟队列让队头队尾在数组中循环移动避免频繁搬移数据。通常用front和rear两个下标或者用rear和length两个变量来维护。用rear和length的方式更清晰#define M 8 int q[M]; int rear 0; int length 0; int enqueue(int x) { if (length M) { return 0; // 队满 } q[rear] x; rear (rear 1) % M; length; return 1; } int dequeue(int *x) { if (length 0) { return 0; // 队空 } int front (rear - length M) % M; *x q[front]; length--; return 1; }取模运算让下标在数组范围内循环。队满条件是length等于数组长度队空条件是length等于0。省去了front变量后队头下标随时可以通过(rear - length M) % M算出来。这个结构在嵌入式环形缓冲区、生产消费者模型里经常出现理解它对数组下标的把控能力非常有帮助。4. 二维数组与字符数组表格、字符串、二维数据全在这里4.1 二维数组的内存布局和遍历二维数组在C语言里是“数组的数组”不是数学上的矩阵更不是两层指针。比如int b[3][4] { {1, 2, 3, 4}, {5, 6, 7, 8}, {9, 10, 11, 12} };b在内存中是按行优先连续排列的12个int不要求每行有自己的“二级指针”。b的类型是int[3][4]在表达式中退化成“指向int[4]的指针”也就是int (*)[4]。所以b1会跳过一整行也就是4个int。b[i][j]等价于*(*(bi)j)过程是先通过bi定位到第i行的地址再对它解引用得到这一行的首元素地址再加j最后解引用取到元素。遍历二维数组通常用双重循环for (int i 0; i 3; i) { for (int j 0; j 4; j) { printf(%4d, b[i][j]); } printf(\n); }外层循环遍历行内层循环遍历列。如果想用线性的视角遍历全部元素可以写成int *p b[0][0];然后从p[0]访问到p[11]因为内存连续。但要注意这种线性遍历语法合法但超出某一行的末尾直接到下一行是C语言内存布局的“便利”并不代表数组被压平了数组的类型仍然保留。为什么二维数组作为函数参数必须写列数因为形参退化成指针后函数要计算“移动一行需要跳过多少字节”必须知道每行有多少个元素。声明成void func(int b[][4])或者void func(int (*b)[4])都可以。如果写成int b[][]编译器根本不知道每行多长无法计算b[i][j]的地址所以会直接报错。4.2 字符数组、字符串常量、fgets与scanf的差别字符数组是C语言里最特殊的一类数组因为它经常和字符串混在一起。看这两个声明char s1[] hello; char *s2 hello;s1是字符数组内部包含h、e、l、l、o、\0一共6个字节存储在栈上可以修改s1[0]。s2是一个指针指向字符串常量区字符串常量通常存放在只读段尝试执行s2[0] H会导致段错误。一字之差行为天差地别。用sizeof和strlen对比这两个会更容易理解。sizeof(s1)对数组来说返回整个字节数6strlen(s1)返回5因为strlen统计到第一个\0为止不含\0本身。如果写char s3[10] hello;strlen(s3)还是5sizeof(s3)是10。“数组大小”和“字符串长度”是两回事。输入字符串时scanf(%s, s1)是常见写法但不限制宽度的话输入过长会越界写。更安全的是scanf(%9s, s1)最多读9个字符再自动补\0。如果要读含空格的整行建议用fgetschar line[100]; fgets(line, sizeof(line), stdin); line[strcspn(line, \n)] \0;注意fgets会把换行符也读进去所以需要手动去掉。strcspn(line, \n)返回换行符在字符串里的下标把它替换成\0就行。这个组合在OJ题里非常实用。4.3 字符串逆序从PTA题到双指针技巧字符串逆序是PTA和各类考试里的常客。实现方法很多最推荐的是双指针原地交换因为空间复杂度O(1)思路也简单#include stdio.h #include string.h void reverse_string(char s[]) { int left 0; int right strlen(s) - 1; while (left right) { char tmp s[left]; s[left] s[right]; s[right] tmp; left; right--; } } int main(void) { char s[100]; fgets(s, sizeof(s), stdin); s[strcspn(s, \n)] \0; reverse_string(s); printf(%s\n, s); return 0; }算法核心是首尾对称交换直到两个指针相遇。这个双指针思想不只用于字符串逆序数组反转、快排分区、有序数组两数之和也都能用。如果题目要求逆序后仍输出到数组或者逆序一部分字符只需要调整左右边界。顺着这个思路继续扩展如果要求按单词逆序比如“hello world”变成“world hello”就可以先整体逆序再按空格分割逐个单词逆序两步操作就能完成。理解字符串就是字符数组很多看起来复杂的题就会变成纯粹的数组下标游戏。5. 指针数组、数组指针与动态数组进阶三件套5.1 指针数组每个元素都是一个地址指针数组本质上是一个数组但每个元素的类型是指针。最典型的场景是保存一组字符串const char *names[] {zhangsan, lisi, wangwu}; for (int i 0; i 3; i) { puts(names[i]); }names是一个长度为3的数组每个元素是const char*分别指向三块只读字符串常量。它和二维字符数组char names2[3][20]的区别在于指针数组只存地址每个字符串可以长度不同适合存常量字符串省空间二维数组每行固定20字节可以就地修改适合需要读入并修改内容的场合。选择哪个取决于需求只需要保存一组常量字符串并遍历用指针数组要逐个读入、改写每个字符用二维字符数组。指针数组还常和malloc配合比如为每一行动态分配内存这样实现出来的“不规则二维数组”比固定列的二维数组灵活得多也是很多面试题背后的实现基础。5.2 数组指针二维数组传参的官方通道int (*p)[4]和int *p[4]很容易搞混。后者是“有4个int元素的数组”前者是“指向含4个int元素的数组的指针”。声明时[]的优先级高于所以必须加括号来改变结合顺序。理解这个区别最实用的场景就是二维数组传参。函数接收二维数组时void print_matrix(int (*m)[4], int rows) { for (int i 0; i rows; i) { for (int j 0; j 4; j) { printf(%d , m[i][j]); } printf(\n); } }调用时写print_matrix(b, 3)。形参里的int (*m)[4]让编译器知道每行有4个int访问m[i][j]时地址计算是(char *)m i * 4 * sizeof(int) j * sizeof(int)。如果省略列数编译器没有办法完成这个计算。所以看起来有点抽象的数组指针其实是二维数组参数传递的硬性要求。数组指针在很多底层场景也很有用比如遍历一个大矩阵时定义行指针实现按行处理逻辑。但新手阶段不用背太多重点是分清int (*p)[4]和int *p[4]以及知道二维数组传参时怎么写。5.3 动态数组malloc、realloc与内存释放动态数组解决的是“运行时才知道数组多大”的问题。基础写法#include stdio.h #include stdlib.h int main(void) { int n; scanf(%d, n); int *arr (int *)malloc(n * sizeof(int)); if (arr NULL) { return 1; } for (int i 0; i n; i) { arr[i] i * i; } for (int i 0; i n; i) { printf(%d , arr[i]); } printf(\n); free(arr); return 0; }malloc分配的是堆内存所以可以用变量n作为元素个数。arr[i]这种写法之所以能成立是因为指针算术要求内存连续而malloc返回的正是连续内存。malloc失败时返回NULL一定要检查否则解引用空指针就是段错误。用完后必须free否则内存泄漏。free之后最好把指针置为NULL避免重复释放。C99引入了变长数组int arr[n]可以用变量定义长度但它分配在栈上n太大可能导致栈溢出而且不符合C89标准。相比之下malloc分配的堆内存更可控配合realloc可以实现动态扩容。在后面实现栈、队列、哈希表这些数据结构时动态数组是基础所以这一节值得多花时间亲手敲一遍。6. 常见问题与调试技巧遇到数组报错就这么办6.1 编译错误速查表与典型场景数组相关的编译错误其实类型都很集中。下面是我平时总结的高频问题错误表现典型原因解决办法cannot convertint (*)[5]toint **把二维数组名直接传给int**形参形参改为int (*)[5]或int [][5]invalid application ofsizeofto incomplete type在函数内对指针用sizeof试图得到数组大小把数组长度作为参数传进函数format%dexpects argument of typeint *scanf漏写写成scanf(%d, arr[i])改成scanf(%d, arr[i])Segmentation fault越界、解引用空指针、修改字符串常量用GDB查地址检查边界和指针指向uninitialized local variable局部数组没初始化直接读取初始化写 {0}还有一个看起来很基础但很多人卡住的问题是“无法打开源文件”或者“找不到stdio.h”。这通常不是代码问题而是开发环境没配置好比如编译器没装、头文件搜索路径不对、IDE的工程目录和源文件目录不一致。遇到这种报错先检查工具链是否能运行gcc --version再检查源文件是否放在工程目录下。这些问题和数组本身的语法无关但会打断学习节奏顺手记录一下。6.2 GDB调试数组三条命令提高效率程序跑挂了最快的定位工具是GDB。编译时加上调试信息然后启动gcc -g -o demo demo.c gdb ./demo break main run print a[0]5第3条命令print a[0]5表示从a[0]开始连续打印5个元素这对查看数组内容非常方便。如果数组很大可以指定更大范围比如print a[0]100。查看二维数组可以print b[0]12因为二维数组在内存中连续按线性方式一次打出来。设置条件断点也很实用break demo.c:15 if i 3这样循环跑到第4次时自动停下方便观察特定下标的状态。排查“某个变量被悄悄改掉”的情况可以用watch b监听b的地址一旦b被写入程序立刻停下来。这种手段对定位越界写入极其有效比一行行看代码快得多。用熟GDB之后调试数组的效率会有质的提升。6.3 我的数组实战心得最后分享几条我用血的教训换来的经验。第一数组长度统一用宏或常量管理别在循环里写死数字否则数组长度一改漏改的地方就是隐藏炸弹。第二函数参数里凡是传数组一定会配套传长度养成这个习惯能省掉无数不必要的半夜调试。第三先想清楚边界再写循环比如“左闭右开”还是“全闭区间”想清楚后所有下标判断会顺畅很多。第四动态分配的内存一定要记得释放free之后顺手置空。第五把二维数组看成“数组的数组”而不是“指针的指针”很多类型错误就能避免。第六刷题时如果需要频繁随机访问就用数组模拟数据结构如果需要频繁插入删除才考虑链表。数组缓存的贴合度高在实际运行中往往比指针跳来跳去的结构更稳定高效。我现在写数组相关代码时还是会习惯性地先画一小段内存格子把下标和地址标出来然后再动手写循环。这个习惯看起来很原始但确实能救命。C语言数组的本质并不复杂复杂的是那些由连续内存、指针退化和边界控制引出的连锁反应。把这篇里提到的代码亲手跑一遍再回头看自己曾经踩过的坑你会觉得数组这个老朋友终于被真正看透了。