咱们这批学C语言的迟早都会撞上“数组”这堵墙。说它是墙不太准确应该说它是从“单打独斗的变量”跨到“批量管理数据”的第一座桥。数组在C语言里的地位约等于你手机里的相册一张张照片单独存太散放一个相册里按顺序翻就舒服多了。这篇针对“C语言基础-五、数组”这个章节我把当年踩过的坑、后来教学生常被问的问题、以及实际项目里真正用得上的细节一次性讲清楚。刚入门的朋友可以照着敲代码准备计算机二级或者应付学校考试的也能从这里捡到不少解题套路。1. 数组到底解决了什么问题——先回答“为什么”1.1 没有数组时你得多写多少重复代码很多教材上来就讲“数组是相同类型元素的集合”这句话没错但它没说清楚为什么非要搞这么个东西我举个例子某次翁恺老师的练习题里有一道经典题输入5个学生的成绩输出平均分和高于平均分的人数。不用数组的写法是int s1, s2, s3, s4, s5; scanf(%d %d %d %d %d, s1, s2, s3, s4, s5); int avg (s1 s2 s3 s4 s5) / 5;这已经够难受了。如果题目改成50个学生、1000个学生难道要声明1000个变量显然不现实。有了数组一句int scores[1000];就解决了声明问题再配合循环处理数据。这才是数组存在的真正意义把“大量同类数据”变成“一个可下标的整体”。1.2 数组的内存本质一段连续内存的承诺数组真正区别于普通变量的地方在于它在内存中的布局是一段连续的、元素类型相同的空间。连续意味着什么意味着你只要知道首地址就能算出任意元素的位置。公式很直接第 i 个元素的地址 数组首地址 i * sizeof(元素类型)这也是为什么数组下标从0开始而不是从1开始——下标本质上是“偏移量”。第0个元素偏移0第1个元素偏移1个元素大小这样一来a[i]在编译器眼里和*(a i)是完全等价的两个写法。这个特性后面讲指针时还会反复用。理解“连续”还有一个实际价值数组和结构体不同它没有额外的头部信息所以在很多嵌入式场景里数组被直接用来映射某段连续的内存区域比如串口接收缓冲区、传感器数据缓存都是拿字节数组直接操作的。1.3 数组声明的三要素类型、名字、长度声明一个数组需要三样东西int arr[10]; // 类型是 int名字叫 arr长度是 10这里的“长度”必须是整数常量表达式也就是说你在写int n; scanf(%d, n); int arr[n];这种代码时严格来说C99之前是不允许的C99引入了变长数组VLA但很多编译环境默认不支持或者支持不完整考试和比赛里也经常不给用。稳妥的做法是用动态内存或者定一个足够大的固定长度。还有一个新手容易忽略的点栈空间是有限的。数组越大占的栈越多在Windows默认1MB左右的栈上声明一个int a[1000000]大约4MB很容易直接崩溃。这种时候要么改成全局数组要么放到堆上也就是后面会讲的动态数组。2. 一维数组的初始化、遍历与越界雷区2.1 六种初始化写法与常见坑数组初始化看起来简单实际写法很多每种都有自己的应用场景我按项目里出现的频率排一下int a[5] {1, 2, 3, 4, 5}; // 完整初始化 int b[5] {0}; // 全部清零最常用 int c[] {1, 2, 3}; // 编译器自动推断长度为3 int d[5] {1, 2}; // 剩余元素自动补0 int e[5] {[2] 10}; // 指定下标初始化C99特性 int f[5]; // 不初始化第二行int b[5] {0};是我见过最常用也最推荐的清零方式它的效果是把第一个元素初始化为0其余元素自动补0整个数组就都是0了。有人会写成int b[5] {0, 0, 0, 0, 0};也没毛病就是丑。关键坑在最后一行局部数组不初始化里面的值是随机的。这随机值来自栈上残留的旧数据每次运行可能都不一样。我见过太多初学者声明数组后直接拿来用结果程序时而正常时而出错查半天找不到原因。第五行的指定下标初始化在嵌入式代码里很常见比如只初始化某几个映射寄存器。但要注意这种写法依赖编译器对C99的支持考试时不确定就别用。2.2 遍历数组下标从0开始数组操作核心就一句话用循环把下标挨个走一遍。标准写法是for (int i 0; i 5; i) { printf(%d , a[i]); }这里有个细节值得琢磨为什么写i 5而不是i 4两种写法效果一样但i 5更直观地体现了“数组有5个元素下标最大是4”。更重要的是写成i 5就是经典越界错误因为第6个元素a[5]并不存在。我建议所有新手把“遍历时下标小于长度永远不要等于长度”这句话刻在脑子里。遍历数组做累加、找最大值、交换元素这些操作本质上都是在循环里反复用下标操作。真正容易出错的场景是在循环里同时修改下标比如合并两个有序数组时三个下标变量一不小心就乱了。我的习惯是给下标起能表达含义的名字比如i,j,k各自代表哪个数组注释写清楚比事后调试省事得多。2.3 越界访问C语言最经典的炸弹C语言的数组不做边界检查这是它和Java、Python最大的区别之一。a[5]在语法层面完全合法编译器甚至不会警告但运行时它访问的是数组后面那块内存。越界读还好顶多读到一个垃圾值越界写才是真正的灾难。因为它可能悄悄修改了相邻变量的值而你的代码从逻辑上看完全没问题int a[3] {1, 2, 3}; int b 100; a[3] 999; // 这一行会改掉b吗取决于编译器怎么排布变量 printf(%d\n, b); // 结果可能是999也可能是100变量在栈上的排布顺序由编译器决定所以这种bug非常隐蔽换个优化级别可能就消失了。排查方法我后面专门写一节。这里先记住一条铁律任何时候都不要依赖“数组后面/前面还有空间”这种假设那不是可用内存是雷区。3. 二维数组与字符数组表格数据和字符串的底层逻辑3.1 二维数组的行优先存储与初始化二维数组可以把数据组织成表格比如3行4列的成绩单int scores[3][4];。但内存里其实没有“二维”这个概念它仍然是连续的一维空间只是编译器帮你做了坐标换算。C语言采用行优先存储先存完第一行再存第二行。所以scores[i][j]的地址公式是首地址 (i * 列数 j) * sizeof(int)这个公式泄露了一个重要规律二维数组的“列数”必须明确行数可以省略。因为编译器算偏移量需要知道一行有几个元素。所以int scores[][4]合法int scores[3][]是错的。初始化写法有两种int a[2][3] {{1, 2, 3}, {4, 5, 6}}; // 按行写清晰 int b[2][3] {1, 2, 3, 4, 5, 6}; // 按连续内存写编译器自动分行我在项目里几乎只用第一种因为可读性好。按第二种写法一旦数据多行列对不齐就是一场灾难。3.2 字符数组与字符串结束符字符串在C语言里就是用字符数组表示的但它比普通数组多一个要求必须以\0值为0的字符结尾。\0是字符串的结束标志所有字符串处理函数比如strlen、strcpy都是靠找\0来判断字符串在哪结束的。这里有一个非常经典的坑char s[5] hello; // 问题很大hello实际上是6个字符h, e, l, l, o, \0。数组长度5根本装不下\0被丢掉了。虽然很多编译器不报错但运行时strlen(s)会继续往后找\0直到碰上一个内存中的0字节结果完全不可控。正确写法应该是char s[6] hello;或者让编译器自己算char s[] hello;。还有一点需要特别小心char *p hello;和char s[] hello;有本质区别。前者指向字符串常量区内容只读写p[0] H会导致未定义行为现代系统上大概率直接崩溃后者是在栈上开了一个数组内容可改。判断依据很简单能不能修改取决于内存是不是只读的。3.3 指针数组存字符串char *names[] 的用法说完成字符数组再说说“指针数组”——数组里存的是指针。最典型的应用是存一组字符串char *names[] {Alice, Bob, Charlie};这里names是一个数组里面3个元素都是char*每个指针指向一个字符串常量。好处是每个字符串长度可以不同而且不用提前分配一堆定长空间。但要注意前面刚说过字符串常量只读所以这种写法适合“只需要读取名字列表”的场景。如果你需要修改某个字符串的内容那就得用二维字符数组char names[3][20] {Alice, Bob, Charlie};这个写法固定每一行最多19个字符留一个给\0浪费空间但安全。选择标准就一句话只读用指针数组要修改用二维字符数组。4. 数组与指针、动态内存的高级协作4.1 数组名和指针既相等又不相等“数组名是不是指针”是C语言面试题里出场率极高的问题。严格回答是不是指针但大多数情况下行为像指针。数组名在表达式中会“退化”为指向首元素的指针所以a和a[0]的值相同。但在两个场景下数组名保持数组类型int a[5]; printf(%zu\n, sizeof(a)); // 结果是 205个int不是8指针大小 int *p a; // 如果a“是”指针这句就不该有类型警告a的类型是int (*)[5]也就是“指向含5个int的数组的指针”。经典考点是a 1会一次性跳过整个数组20字节而a 1只跳过一个元素4字节。理解了这一点就不会被指针步长问题搞晕。还有一个相关的小细节int *p a;之后p[i]和a[i]语法上等价。但sizeof(p)和sizeof(a)结果不同p是合法的a却是编译错误。把这两条弄明白数组和指针的关系基本就通了。4.2 数组作为函数参数时发生了什么很多人写过这样的代码后困惑不已void print_array(int arr[10]) { printf(%zu\n, sizeof(arr)); // 结果是8不是40 }原因是数组作为函数参数时会被“调整”成指针。int arr[10]在函数参数列表里等同于int *arr编译器不会真的复制整个数组。所以函数内部sizeof(arr)算出来是指针的大小。这意味着两件事第一向函数传数组本质是传首地址函数内修改数组元素外面的原数组也会变不需要用返回值带回来。第二函数内部拿不到数组长度必须另外传一个长度参数void print_array(int arr[], int len) { for (int i 0; i len; i) { printf(%d , arr[i]); } }二维数组传参同理列数必须写上比如void foo(int arr[][4])。漏掉这个规则编译器会直接报“array type has incomplete element type”。4.3 动态数组运行时才知道长度怎么办固定长度数组虽然简单但实际场景中经常是“运行时才知道要存多少数据”。比如读取一个文件行数不确定。这时候就要用malloc系列函数在堆上分配内存int n; scanf(%d, n); int *a (int *)malloc(sizeof(int) * n); if (a NULL) { printf(内存分配失败\n); return 1; } // 使用完后释放 free(a);动态数组和普通数组的用法几乎一样都能用a[i]访问。区别在于分配在堆上需要手动free并且malloc分配的内存不会自动清零需要初始化的话可以用calloc(n, sizeof(int))它会帮你把内存清零。用malloc有三个铁律检查返回值是否为NULL配对使用free别漏free之后把指针置为NULL防止变成“野指针”被二次释放。我在实际开发里见过太多内存泄漏和 double free 导致的崩溃基本都是在这三个铁律上栽的。5. 基于数组的经典算法落地5.1 冒泡排序与一趟优化排序是数组操作里最常用的算法冒泡排序又是其中最好理解的一个。它的思路像冒泡每一轮从头往后比较相邻元素如果前一个比后一个大就交换这样一轮下来最大的元素就“浮”到了最后。int a[] {5, 3, 8, 1, 9, 2}; int n sizeof(a) / sizeof(a[0]); for (int i 0; i n - 1; i) { for (int j 0; j n - 1 - i; j) { if (a[j] a[j 1]) { int temp a[j]; a[j] a[j 1]; a[j 1] temp; } } }注意内层循环的终止条件是n - 1 - i因为每结束一轮末尾就已经有i个元素排好序了没必要再比较。这算是冒泡排序最容易出错的地方。一个实用优化是如果某一轮循环结束后没有任何交换发生说明数组已经有序可以提前退出。int swapped; for (int i 0; i n - 1; i) { swapped 0; for (int j 0; j n - 1 - i; j) { if (a[j] a[j 1]) { int temp a[j]; a[j] a[j 1]; a[j 1] temp; swapped 1; } } if (!swapped) break; }对已经有序或接近有序的数据这个优化能大幅减少无谓比较。虽然冒泡排序整体时间复杂度是 O(n²)在数据量大的时候不如快排、归并但它胜在理解简单、代码稳定考试和入门阶段够用了。5.2 数组去重与重复元素判断“判断数组里有没有重复元素”和“把重复元素去掉”也是高频题。朴素思路是双重循环每个元素都和它后面的所有元素比较遇到重复就标记。时间复杂度 O(n²)代码直白但慢。int has_duplicate(int arr[], int n) { for (int i 0; i n - 1; i) { for (int j i 1; j n; j) { if (arr[i] arr[j]) { return 1; } } } return 0; }如果数据量大了更推荐“排序后相邻比较”的思路先排序重复元素必然相邻一趟扫描就能去重。排序用快排qsort时间复杂度降到 O(n log n)。注意qsort需要写比较函数这算是C语言里稍显繁琐但必须掌握的一个函数。int cmp(const void *a, const void *b) { return *(int *)a - *(int *)b; } qsort(arr, n, sizeof(int), cmp); int len 0; for (int i 0; i n; i) { if (i 0 || arr[i] ! arr[len - 1]) { arr[len] arr[i]; } }这段代码执行后arr[0..len-1]就是去重后的结果直接覆盖原数组不用额外开空间。5.3 字符串逆序PTA高频题的完整解法字符串逆序是PTA程序设计实验辅助教学平台上非常常见的题目。基本要求很简单读入一个字符串逆序输出。但越简单的题越容易在细节上翻车尤其是换行符问题。如果用fgets读字符串比如fgets(s, sizeof(s), stdin);它会连换行符\n一起读进数组。直接逆序的话换行符会跑到最前面输出就会多一个空行。所以处理前要先去掉末尾的换行符char s[100]; fgets(s, sizeof(s), stdin); s[strcspn(s, \n)] \0;逆序本身用双指针法一头一尾向中间走int left 0; int right strlen(s) - 1; while (left right) { char temp s[left]; s[left] s[right]; s[right] temp; left; right--; }这个思路也适用于数组元素反转本质上就是“首尾交换逐步向内收缩”。6. 常见问题与排查技巧实录6.1 未初始化、memset踩坑与清零的正确姿势我重复过很多次了局部数组不初始化内容是不确定的。但有三个清零方式容易混int a[10]; memset(a, 0, sizeof(a)); // 正确按字节填充0 memset(a, 1, sizeof(a)); // 错每个字节变成1不是每个int变成1 int b[10] {0}; // 正确编译器自动补零memset的第二个参数是“字节值”按字节逐字节填充。如果想用memset把整数数组全部设为1结果会是每个int的值变成0x01010101也就是16843009而不是1。这是个容易忽略的常识性错误。另外如果数组是指针参数传进来的函数里sizeof(a)得到的是指针大小memset(a, 0, sizeof(a));只会清掉8个字节不是整个数组。正确写法是memset(a, 0, sizeof(int) * len);这里的len是数组长度参数。6.2 越界与非法地址的排查手段越界问题最阴险因为出错的位置和原因往往不在同一个地方。我在项目中常用的排查手段有三个。第一个是编译器消毒器。用 GCC 编译时加-fsanitizeaddress程序一旦越界读写运行时会立刻报出具体是哪一行越界了。这是效率最高的手段考试可能用不上但自己做练习或者写大作业时强烈建议开着gcc -g -fsanitizeaddress test.c -o test第二个是哨兵变量法。在数组前后各放一个特定值的变量程序跑完后检查这两个值有没有被改动。被改动了说明数组越界写直接把范围缩小到数组访问附近。int guard1 0xAAAAAAAA; int data[10]; int guard2 0xBBBBBBBB; // 运行代码... printf(%x %x\n, guard1, guard2); // 如果guard变了肯定越界了第三个是打印地址法。当程序行为异常时把关键变量的地址和值打印出来对比看有没有被意外修改。虽然原始但往往能最快定位到“谁动了我的变量”。6.3 VSCode/调试器里检查数组的技巧调试C代码时很多人喜欢到处加printf其实学会用调试器能省一半时间。VSCode配置好C/C调试环境后在断点处把鼠标悬停在数组名上展开就能看到所有元素。如果数组特别大想在监视窗口看某个区间可以在监视表达式里写arr 10, 20这个语法在VSCode的调试控制台中表示“从arr[10]开始显示20个元素”。类似的写法在Visual Studio里也支持只是语法略有不同。还有一个实用技巧调试时把数组的地址、元素大小、长度同时加入监视可以直观确认有没有越界。比如监视arr、sizeof(arr[0])、n三个表达式计算一下边界地址比凭感觉判断靠谱得多。关于环境配置VSCode写C语言需要安装C/C扩展然后配置好编译任务tasks.json和调试配置launch.json编译器用gcc或者MinGW-w64。如果是老牌的C-Free 5.0操作更简单新建C源文件点编译运行就行适合刚安装完想立刻跑通第一段数组代码的情况。但它的调试功能比较弱遇到数组越界这类问题还是建议换到VSCode或者直接命令行gcc加调试器。6.4 其他高频报错一句话速查我整理了一张小表全是初学者最爱碰到的编译错误和运行异常对号入座比瞎猜快得多错误现象常见原因array type has incomplete element type二维数组没写列数或声明了空数组没初始化variable-sized object may not be initialized用了变长数组VLA还加初始化列表两者不相容subscripted value is neither array nor pointer对非数组非指针的变量用了[]比如对单个int写下标输出全是乱码或超大数字数组未初始化就读或者%d和%s用混程序运行到一半崩溃越界写或者指针指向非法地址优先查所有循环边界free(): invalid pointer尝试释放不是malloc分配的内存或重复释放这些报错信息里invalid pointer对应的“非法地址”问题在C语言里出现的概率极高几乎每个用指针的人都遇过。解决思路就是确保指针指向合法内存再解引用确保free只释放malloc/calloc/realloc返回过的地址。最后分享一点我一直以来的体会数组是所有C语言知识的交汇点。你在数组上学到的内存连续布局、下标偏移、传参退化、越界危害后面学指针、学链表、学文件操作全都会复用这些思维。所以别急着往后赶进度把数组这章吃透了后面会顺很多。如果正在准备PTA或者计算机二级多刷和数组遍历、逆序、排序相关的题目性价比最高。数组这关过了C语言的“手感”基本也就出来了。 
长河君 · 2026/9/10 7:39:23 · 阅读 1.2k C语言数组完全指南：从基础到指针与算法实战
咱们这批学C语言的迟早都会撞上“数组”这堵墙。说它是墙不太准确应该说它是从“单打独斗的变量”跨到“批量管理数据”的第一座桥。数组在C语言里的地位约等于你手机里的相册一张张照片单独存太散放一个相册里按顺序翻就舒服多了。这篇针对“C语言基础-五、数组”这个章节我把当年踩过的坑、后来教学生常被问的问题、以及实际项目里真正用得上的细节一次性讲清楚。刚入门的朋友可以照着敲代码准备计算机二级或者应付学校考试的也能从这里捡到不少解题套路。1. 数组到底解决了什么问题——先回答“为什么”1.1 没有数组时你得多写多少重复代码很多教材上来就讲“数组是相同类型元素的集合”这句话没错但它没说清楚为什么非要搞这么个东西我举个例子某次翁恺老师的练习题里有一道经典题输入5个学生的成绩输出平均分和高于平均分的人数。不用数组的写法是int s1, s2, s3, s4, s5; scanf(%d %d %d %d %d, s1, s2, s3, s4, s5); int avg (s1 s2 s3 s4 s5) / 5;这已经够难受了。如果题目改成50个学生、1000个学生难道要声明1000个变量显然不现实。有了数组一句int scores[1000];就解决了声明问题再配合循环处理数据。这才是数组存在的真正意义把“大量同类数据”变成“一个可下标的整体”。1.2 数组的内存本质一段连续内存的承诺数组真正区别于普通变量的地方在于它在内存中的布局是一段连续的、元素类型相同的空间。连续意味着什么意味着你只要知道首地址就能算出任意元素的位置。公式很直接第 i 个元素的地址 数组首地址 i * sizeof(元素类型)这也是为什么数组下标从0开始而不是从1开始——下标本质上是“偏移量”。第0个元素偏移0第1个元素偏移1个元素大小这样一来a[i]在编译器眼里和*(a i)是完全等价的两个写法。这个特性后面讲指针时还会反复用。理解“连续”还有一个实际价值数组和结构体不同它没有额外的头部信息所以在很多嵌入式场景里数组被直接用来映射某段连续的内存区域比如串口接收缓冲区、传感器数据缓存都是拿字节数组直接操作的。1.3 数组声明的三要素类型、名字、长度声明一个数组需要三样东西int arr[10]; // 类型是 int名字叫 arr长度是 10这里的“长度”必须是整数常量表达式也就是说你在写int n; scanf(%d, n); int arr[n];这种代码时严格来说C99之前是不允许的C99引入了变长数组VLA但很多编译环境默认不支持或者支持不完整考试和比赛里也经常不给用。稳妥的做法是用动态内存或者定一个足够大的固定长度。还有一个新手容易忽略的点栈空间是有限的。数组越大占的栈越多在Windows默认1MB左右的栈上声明一个int a[1000000]大约4MB很容易直接崩溃。这种时候要么改成全局数组要么放到堆上也就是后面会讲的动态数组。2. 一维数组的初始化、遍历与越界雷区2.1 六种初始化写法与常见坑数组初始化看起来简单实际写法很多每种都有自己的应用场景我按项目里出现的频率排一下int a[5] {1, 2, 3, 4, 5}; // 完整初始化 int b[5] {0}; // 全部清零最常用 int c[] {1, 2, 3}; // 编译器自动推断长度为3 int d[5] {1, 2}; // 剩余元素自动补0 int e[5] {[2] 10}; // 指定下标初始化C99特性 int f[5]; // 不初始化第二行int b[5] {0};是我见过最常用也最推荐的清零方式它的效果是把第一个元素初始化为0其余元素自动补0整个数组就都是0了。有人会写成int b[5] {0, 0, 0, 0, 0};也没毛病就是丑。关键坑在最后一行局部数组不初始化里面的值是随机的。这随机值来自栈上残留的旧数据每次运行可能都不一样。我见过太多初学者声明数组后直接拿来用结果程序时而正常时而出错查半天找不到原因。第五行的指定下标初始化在嵌入式代码里很常见比如只初始化某几个映射寄存器。但要注意这种写法依赖编译器对C99的支持考试时不确定就别用。2.2 遍历数组下标从0开始数组操作核心就一句话用循环把下标挨个走一遍。标准写法是for (int i 0; i 5; i) { printf(%d , a[i]); }这里有个细节值得琢磨为什么写i 5而不是i 4两种写法效果一样但i 5更直观地体现了“数组有5个元素下标最大是4”。更重要的是写成i 5就是经典越界错误因为第6个元素a[5]并不存在。我建议所有新手把“遍历时下标小于长度永远不要等于长度”这句话刻在脑子里。遍历数组做累加、找最大值、交换元素这些操作本质上都是在循环里反复用下标操作。真正容易出错的场景是在循环里同时修改下标比如合并两个有序数组时三个下标变量一不小心就乱了。我的习惯是给下标起能表达含义的名字比如i,j,k各自代表哪个数组注释写清楚比事后调试省事得多。2.3 越界访问C语言最经典的炸弹C语言的数组不做边界检查这是它和Java、Python最大的区别之一。a[5]在语法层面完全合法编译器甚至不会警告但运行时它访问的是数组后面那块内存。越界读还好顶多读到一个垃圾值越界写才是真正的灾难。因为它可能悄悄修改了相邻变量的值而你的代码从逻辑上看完全没问题int a[3] {1, 2, 3}; int b 100; a[3] 999; // 这一行会改掉b吗取决于编译器怎么排布变量 printf(%d\n, b); // 结果可能是999也可能是100变量在栈上的排布顺序由编译器决定所以这种bug非常隐蔽换个优化级别可能就消失了。排查方法我后面专门写一节。这里先记住一条铁律任何时候都不要依赖“数组后面/前面还有空间”这种假设那不是可用内存是雷区。3. 二维数组与字符数组表格数据和字符串的底层逻辑3.1 二维数组的行优先存储与初始化二维数组可以把数据组织成表格比如3行4列的成绩单int scores[3][4];。但内存里其实没有“二维”这个概念它仍然是连续的一维空间只是编译器帮你做了坐标换算。C语言采用行优先存储先存完第一行再存第二行。所以scores[i][j]的地址公式是首地址 (i * 列数 j) * sizeof(int)这个公式泄露了一个重要规律二维数组的“列数”必须明确行数可以省略。因为编译器算偏移量需要知道一行有几个元素。所以int scores[][4]合法int scores[3][]是错的。初始化写法有两种int a[2][3] {{1, 2, 3}, {4, 5, 6}}; // 按行写清晰 int b[2][3] {1, 2, 3, 4, 5, 6}; // 按连续内存写编译器自动分行我在项目里几乎只用第一种因为可读性好。按第二种写法一旦数据多行列对不齐就是一场灾难。3.2 字符数组与字符串结束符字符串在C语言里就是用字符数组表示的但它比普通数组多一个要求必须以\0值为0的字符结尾。\0是字符串的结束标志所有字符串处理函数比如strlen、strcpy都是靠找\0来判断字符串在哪结束的。这里有一个非常经典的坑char s[5] hello; // 问题很大hello实际上是6个字符h, e, l, l, o, \0。数组长度5根本装不下\0被丢掉了。虽然很多编译器不报错但运行时strlen(s)会继续往后找\0直到碰上一个内存中的0字节结果完全不可控。正确写法应该是char s[6] hello;或者让编译器自己算char s[] hello;。还有一点需要特别小心char *p hello;和char s[] hello;有本质区别。前者指向字符串常量区内容只读写p[0] H会导致未定义行为现代系统上大概率直接崩溃后者是在栈上开了一个数组内容可改。判断依据很简单能不能修改取决于内存是不是只读的。3.3 指针数组存字符串char *names[] 的用法说完成字符数组再说说“指针数组”——数组里存的是指针。最典型的应用是存一组字符串char *names[] {Alice, Bob, Charlie};这里names是一个数组里面3个元素都是char*每个指针指向一个字符串常量。好处是每个字符串长度可以不同而且不用提前分配一堆定长空间。但要注意前面刚说过字符串常量只读所以这种写法适合“只需要读取名字列表”的场景。如果你需要修改某个字符串的内容那就得用二维字符数组char names[3][20] {Alice, Bob, Charlie};这个写法固定每一行最多19个字符留一个给\0浪费空间但安全。选择标准就一句话只读用指针数组要修改用二维字符数组。4. 数组与指针、动态内存的高级协作4.1 数组名和指针既相等又不相等“数组名是不是指针”是C语言面试题里出场率极高的问题。严格回答是不是指针但大多数情况下行为像指针。数组名在表达式中会“退化”为指向首元素的指针所以a和a[0]的值相同。但在两个场景下数组名保持数组类型int a[5]; printf(%zu\n, sizeof(a)); // 结果是 205个int不是8指针大小 int *p a; // 如果a“是”指针这句就不该有类型警告a的类型是int (*)[5]也就是“指向含5个int的数组的指针”。经典考点是a 1会一次性跳过整个数组20字节而a 1只跳过一个元素4字节。理解了这一点就不会被指针步长问题搞晕。还有一个相关的小细节int *p a;之后p[i]和a[i]语法上等价。但sizeof(p)和sizeof(a)结果不同p是合法的a却是编译错误。把这两条弄明白数组和指针的关系基本就通了。4.2 数组作为函数参数时发生了什么很多人写过这样的代码后困惑不已void print_array(int arr[10]) { printf(%zu\n, sizeof(arr)); // 结果是8不是40 }原因是数组作为函数参数时会被“调整”成指针。int arr[10]在函数参数列表里等同于int *arr编译器不会真的复制整个数组。所以函数内部sizeof(arr)算出来是指针的大小。这意味着两件事第一向函数传数组本质是传首地址函数内修改数组元素外面的原数组也会变不需要用返回值带回来。第二函数内部拿不到数组长度必须另外传一个长度参数void print_array(int arr[], int len) { for (int i 0; i len; i) { printf(%d , arr[i]); } }二维数组传参同理列数必须写上比如void foo(int arr[][4])。漏掉这个规则编译器会直接报“array type has incomplete element type”。4.3 动态数组运行时才知道长度怎么办固定长度数组虽然简单但实际场景中经常是“运行时才知道要存多少数据”。比如读取一个文件行数不确定。这时候就要用malloc系列函数在堆上分配内存int n; scanf(%d, n); int *a (int *)malloc(sizeof(int) * n); if (a NULL) { printf(内存分配失败\n); return 1; } // 使用完后释放 free(a);动态数组和普通数组的用法几乎一样都能用a[i]访问。区别在于分配在堆上需要手动free并且malloc分配的内存不会自动清零需要初始化的话可以用calloc(n, sizeof(int))它会帮你把内存清零。用malloc有三个铁律检查返回值是否为NULL配对使用free别漏free之后把指针置为NULL防止变成“野指针”被二次释放。我在实际开发里见过太多内存泄漏和 double free 导致的崩溃基本都是在这三个铁律上栽的。5. 基于数组的经典算法落地5.1 冒泡排序与一趟优化排序是数组操作里最常用的算法冒泡排序又是其中最好理解的一个。它的思路像冒泡每一轮从头往后比较相邻元素如果前一个比后一个大就交换这样一轮下来最大的元素就“浮”到了最后。int a[] {5, 3, 8, 1, 9, 2}; int n sizeof(a) / sizeof(a[0]); for (int i 0; i n - 1; i) { for (int j 0; j n - 1 - i; j) { if (a[j] a[j 1]) { int temp a[j]; a[j] a[j 1]; a[j 1] temp; } } }注意内层循环的终止条件是n - 1 - i因为每结束一轮末尾就已经有i个元素排好序了没必要再比较。这算是冒泡排序最容易出错的地方。一个实用优化是如果某一轮循环结束后没有任何交换发生说明数组已经有序可以提前退出。int swapped; for (int i 0; i n - 1; i) { swapped 0; for (int j 0; j n - 1 - i; j) { if (a[j] a[j 1]) { int temp a[j]; a[j] a[j 1]; a[j 1] temp; swapped 1; } } if (!swapped) break; }对已经有序或接近有序的数据这个优化能大幅减少无谓比较。虽然冒泡排序整体时间复杂度是 O(n²)在数据量大的时候不如快排、归并但它胜在理解简单、代码稳定考试和入门阶段够用了。5.2 数组去重与重复元素判断“判断数组里有没有重复元素”和“把重复元素去掉”也是高频题。朴素思路是双重循环每个元素都和它后面的所有元素比较遇到重复就标记。时间复杂度 O(n²)代码直白但慢。int has_duplicate(int arr[], int n) { for (int i 0; i n - 1; i) { for (int j i 1; j n; j) { if (arr[i] arr[j]) { return 1; } } } return 0; }如果数据量大了更推荐“排序后相邻比较”的思路先排序重复元素必然相邻一趟扫描就能去重。排序用快排qsort时间复杂度降到 O(n log n)。注意qsort需要写比较函数这算是C语言里稍显繁琐但必须掌握的一个函数。int cmp(const void *a, const void *b) { return *(int *)a - *(int *)b; } qsort(arr, n, sizeof(int), cmp); int len 0; for (int i 0; i n; i) { if (i 0 || arr[i] ! arr[len - 1]) { arr[len] arr[i]; } }这段代码执行后arr[0..len-1]就是去重后的结果直接覆盖原数组不用额外开空间。5.3 字符串逆序PTA高频题的完整解法字符串逆序是PTA程序设计实验辅助教学平台上非常常见的题目。基本要求很简单读入一个字符串逆序输出。但越简单的题越容易在细节上翻车尤其是换行符问题。如果用fgets读字符串比如fgets(s, sizeof(s), stdin);它会连换行符\n一起读进数组。直接逆序的话换行符会跑到最前面输出就会多一个空行。所以处理前要先去掉末尾的换行符char s[100]; fgets(s, sizeof(s), stdin); s[strcspn(s, \n)] \0;逆序本身用双指针法一头一尾向中间走int left 0; int right strlen(s) - 1; while (left right) { char temp s[left]; s[left] s[right]; s[right] temp; left; right--; }这个思路也适用于数组元素反转本质上就是“首尾交换逐步向内收缩”。6. 常见问题与排查技巧实录6.1 未初始化、memset踩坑与清零的正确姿势我重复过很多次了局部数组不初始化内容是不确定的。但有三个清零方式容易混int a[10]; memset(a, 0, sizeof(a)); // 正确按字节填充0 memset(a, 1, sizeof(a)); // 错每个字节变成1不是每个int变成1 int b[10] {0}; // 正确编译器自动补零memset的第二个参数是“字节值”按字节逐字节填充。如果想用memset把整数数组全部设为1结果会是每个int的值变成0x01010101也就是16843009而不是1。这是个容易忽略的常识性错误。另外如果数组是指针参数传进来的函数里sizeof(a)得到的是指针大小memset(a, 0, sizeof(a));只会清掉8个字节不是整个数组。正确写法是memset(a, 0, sizeof(int) * len);这里的len是数组长度参数。6.2 越界与非法地址的排查手段越界问题最阴险因为出错的位置和原因往往不在同一个地方。我在项目中常用的排查手段有三个。第一个是编译器消毒器。用 GCC 编译时加-fsanitizeaddress程序一旦越界读写运行时会立刻报出具体是哪一行越界了。这是效率最高的手段考试可能用不上但自己做练习或者写大作业时强烈建议开着gcc -g -fsanitizeaddress test.c -o test第二个是哨兵变量法。在数组前后各放一个特定值的变量程序跑完后检查这两个值有没有被改动。被改动了说明数组越界写直接把范围缩小到数组访问附近。int guard1 0xAAAAAAAA; int data[10]; int guard2 0xBBBBBBBB; // 运行代码... printf(%x %x\n, guard1, guard2); // 如果guard变了肯定越界了第三个是打印地址法。当程序行为异常时把关键变量的地址和值打印出来对比看有没有被意外修改。虽然原始但往往能最快定位到“谁动了我的变量”。6.3 VSCode/调试器里检查数组的技巧调试C代码时很多人喜欢到处加printf其实学会用调试器能省一半时间。VSCode配置好C/C调试环境后在断点处把鼠标悬停在数组名上展开就能看到所有元素。如果数组特别大想在监视窗口看某个区间可以在监视表达式里写arr 10, 20这个语法在VSCode的调试控制台中表示“从arr[10]开始显示20个元素”。类似的写法在Visual Studio里也支持只是语法略有不同。还有一个实用技巧调试时把数组的地址、元素大小、长度同时加入监视可以直观确认有没有越界。比如监视arr、sizeof(arr[0])、n三个表达式计算一下边界地址比凭感觉判断靠谱得多。关于环境配置VSCode写C语言需要安装C/C扩展然后配置好编译任务tasks.json和调试配置launch.json编译器用gcc或者MinGW-w64。如果是老牌的C-Free 5.0操作更简单新建C源文件点编译运行就行适合刚安装完想立刻跑通第一段数组代码的情况。但它的调试功能比较弱遇到数组越界这类问题还是建议换到VSCode或者直接命令行gcc加调试器。6.4 其他高频报错一句话速查我整理了一张小表全是初学者最爱碰到的编译错误和运行异常对号入座比瞎猜快得多错误现象常见原因array type has incomplete element type二维数组没写列数或声明了空数组没初始化variable-sized object may not be initialized用了变长数组VLA还加初始化列表两者不相容subscripted value is neither array nor pointer对非数组非指针的变量用了[]比如对单个int写下标输出全是乱码或超大数字数组未初始化就读或者%d和%s用混程序运行到一半崩溃越界写或者指针指向非法地址优先查所有循环边界free(): invalid pointer尝试释放不是malloc分配的内存或重复释放这些报错信息里invalid pointer对应的“非法地址”问题在C语言里出现的概率极高几乎每个用指针的人都遇过。解决思路就是确保指针指向合法内存再解引用确保free只释放malloc/calloc/realloc返回过的地址。最后分享一点我一直以来的体会数组是所有C语言知识的交汇点。你在数组上学到的内存连续布局、下标偏移、传参退化、越界危害后面学指针、学链表、学文件操作全都会复用这些思维。所以别急着往后赶进度把数组这章吃透了后面会顺很多。如果正在准备PTA或者计算机二级多刷和数组遍历、逆序、排序相关的题目性价比最高。数组这关过了C语言的“手感”基本也就出来了。