尧图网页设计 
数组这个主题说难不难说简单也绝不简单。我见过太多人出了学校就能写出数组的增删改查但一碰上“二维字符数组怎么传参”“为什么函数里sizeof数组是8不是20”这类问题时当场傻眼。也有不少人面试时被“数组和指针到底啥关系”问崩溃。这篇内容我想把一维数组和二维数组整型和字符型这些基础内容彻底说透不光讲“怎么用”更讲清“为什么是这样设计”的底层逻辑。如果你是刚学C/C的新手这篇可以当你的第二份教材如果你已经写了几年代码也可以对照着查漏补缺看看那些被你忽视的基础细节有多少其实一直在绊你。我尽量用实际写代码时遇到的场景来讲每个概念都配合可运行的示例必要的内存布局图用文字画清楚争议比较大的地方直接给出结论和取舍理由。1. 先搞懂数组的本质内存里的一块连续空间1.1 为什么数组下标从0开始而不是从1很多新手第一个困惑就是这个。数学里数组排第一个元素明明叫“第1个”编程里却非要从0开始这不反直觉吗要回答这个问题得先看数组在内存中到底是个什么结构。数组在C和C里的定义非常简单一组相同类型元素的集合在内存中连续存放。关键在“连续”这两个字。什么叫连续就是第一个元素占4个字节如果是int第二个元素紧跟其后再占4个字节中间不允许插入任何别人的数据。因此当你定义一个int arr[5]时编译器做的事情是分配一整块 5 * sizeof(int) 20 字节的空间并且记住这块空间的首地址。假设首地址是0x1000那么arr[0]就存放在0x1000~0x1003arr[1]存放在0x1004~0x1007依此类推。这里就引出了数组访问的核心公式arr[i] 的地址 数组首地址 i * 单个元素占用的字节数注意这里用的是偏移量i也就是从首地址往前移动几步。第一个元素不需要移动所以偏移量为0。这就是“下标从0开始”的真相数组下标本质上是偏移量不是编号。你在纸上写“第1个元素”那是人类的编号习惯机器执行时用偏移量天然就是0起算。如果下标从1开始那么公式就变成了arr[i] 的地址 数组首地址 (i - 1) * 单个元素占用的字节数每次访问都要多一次减法操作性能白白损失。老一代语言设计者极其在乎性能所以从0开始就顺理成章地成了C语言的规矩一直传到今天。理解了这个本质你就能明白为什么数组越界是“极其危险”的arr[10]你以为访问的是第11个元素但编译器不会管你它依然按照“首地址 10 * 元素大小”去内存里取数据。至于取出来的是什么完全取决于那块内存被哪个程序写入了什么。这比查表出错要严重得多后面我会单独展开。1.2 连续存放带来的两个优势和一个隐患连续存放是数组最大的特征所有与数组相关的特性几乎都从“连续空间”这4个字衍生出来。优势一随机访问效率极高。因为地址可以直接算出来数组访问的时间复杂度是O(1)。不管数组是10个元素还是1000万个元素arr[i]的耗时都一样。这一点链表做不到链表要找到第i个节点必须从头遍历O(n)。优势二缓存友好。现代CPU有缓存机制当你连续访问数组的前几个元素时CPU会把整块数据一次性加载到高速缓存里。后面再访问相邻元素直接从缓存拿速度极快。这也是为什么“数组遍历”往往比“链表遍历”快得多的原因之一——链表节点在内存里是分散的缓存命中率低。隐患插入和删除代价高。数组是连续空间往中间插一个元素你只能把后面的所有元素往后挪删除同理。平均时间复杂度O(n)。这是数组的硬伤但在基础阶段不用太在意等你学到链表、动态数组等结构后对这个对比会理解得更深。2. 一维数组整型与字符型的两副面孔2.1 整型一维数组的初始化、访问和常见错误整型一维数组是大家最先接触的数组类型我直接给出一段最标准的代码把各个细节标注在注释中#include stdio.h int main() { // 完全初始化5个元素全部指定 int a[5] {10, 20, 30, 40, 50}; // 部分初始化只给前3个剩下的自动补0 int b[5] {1, 2, 3}; // b[3] 0, b[4] 0 // 省略大小的初始化编译器自动推算长度 int c[] {1, 2, 3, 4}; // 相当于 int c[4] // 全0初始化最常用也最容易被忽略 int d[5] {0}; // 所有元素都是0 // 访问与修改 a[0] 99; // 修改第一个元素 printf(%d\n, a[2]); // 输出30 // 遍历 for (int i 0; i 5; i) { printf(a[%d] %d\n, i, a[i]); } return 0; }这里面有几个细节很多人写了很多年代码也没注意第一int d[5] {0}为什么能把所有元素置0标准规定初始化列表中如果提供的元素个数少于数组长度剩余的元素会被“值初始化”。对整型来说就是补0。所以{0}刚好是一个简洁的“全0初始化”写法。但反过来说如果你写int d[5] {1}期望所有元素都是1那就是大错特错了。d[1]到d[4]全都是0只有第一个元素是1。想全部设成1要么循环赋值要么用memset但memset对整型数组设置非0值有字节序陷阱新手慎用C里用std::fill或者std::vector更方便。第二int c[]省略长度的前提是你给出了完整的初始化列表。如果写int c[];不初始化编译器直接报错不知道数组大小。这个场景最常见于函数外部定义全局数组比如定时器表、配置表之类用初始化列表自动推导长度能避免你数错元素个数。第三数组的下标类型。C语言规定下标可以是任何整数类型甚至可以写成a[3.5]这样的浮点数——做了隐式转换等于a[3]。但实际项目中我强烈建议下标全部用int或者size_t。用char当下标也很危险因为char到底是有符号还是无符号取决于编译器和平台跑在ARM上可能出现负数下标访问到数组前面去了。再说一个我见过无数次的错误遍历时数组长度写死。很多人写了一个能跑的循环比如for (int i 0; i 10; i)后来数组长度改成20了循环忘改或者改成20了另一个循环忘改。这种代码一旦上线Bug非常隐蔽。更好的做法是用sizeof计算int arr[] {1, 2, 3, 4, 5, 6, 7, 8}; int n sizeof(arr) / sizeof(arr[0]); for (int i 0; i n; i) { // ... }这个写法的原理是sizeof(arr)返回整个数组占用的字节数sizeof(arr[0])返回一个元素占用的字节数两者相除得到元素个数。千万注意这个方法只能在数组的定义作用域内使用。一旦数组作为参数传进函数sizeof(arr)得到的就不是数组大小了而是指针大小这个坑我放到第4章详细讲。2.2 字符型一维数组字符数组和字符串只差一个\0字符型数组char str[20]是C语言里被讨论最多、出错最多的一种数组类型原因就在于C语言没有独立的字符串类型字符串就是用字符数组存储的但并不是所有字符数组都是字符串。两者的区别是什么字符串要求字符数组必须以\0ASCII码为0的空字符结尾。这个\0就是字符串的终止标志。看代码#include stdio.h #include string.h int main() { // 字符串方式初始化自动在后面补\0 char s1[] hello; // 实际存储为h,e,l,l,o,\0共6个字节 // 字符数组方式初始化不会自动补\0 char s2[] {h, e, l, l, o}; // 实际存储为5个字符没有\0这不是一个字符串 printf(s1的长度: %zu\n, strlen(s1)); // 输出5因为遇到\0停止 // printf(s2的长度: %zu\n, strlen(s2)); // 这是未定义行为s2没有\0strlen会一直向后扫描直到碰巧遇到0 return 0; }strlen(s2)为什么是未定义行为因为strlen的工作原理是“从给定的地址开始数一直数到第一个\0为止”。而s2里面根本没有\0于是函数就会越过s2的边界在内存里继续找。如果在某处凑巧遇到一个0字节就停下来输出一个随机长度如果一直找不到程序直接崩溃或更糟。这个错误极其隐蔽因为它在“越界扫描”而C语言完全不检查。我强烈建议的字符数组使用规范/ 声明时留足空间至少要能放下内容 \0 char str[64] {0}; // 先全部清0再拷贝 strcpy(str, Hello); // 建议使用更安全的 strncpy 或 snprintf // 或者用 snprintf它一定不会越界 snprintf(str, sizeof(str), %s, Hello);char str[64] {0}这行代码和int d[5] {0}同理把所有字节初始化为0。对字符数组来说0就是\0所以整个数组在逻辑上是一个“空字符串”。之后无论你用strcpy、snprintf还是strcat往里面写内容只要不超过61个字符留3字节给结尾的\0和可能的溢出余量都能保证字符串正确终止。写到这里必须提醒一个C语言经典的坑strcpy和strcat都不检查目标缓冲区大小。我从没见过哪个项目因为这个没踩过雷。所以推荐做法是拷贝固定格式内容用snprintf(str, size, ...)最安全拷贝已有字符串用strncpy但要手动保证最后一个字节是0拼接字符串用strncat它自带追加\03. 二维数组本质是一维数组的一维数组3.1 整型二维数组的内存布局与遍历二维数组这个概念很多教材解释得玄乎说“二维数组就是一个矩阵有行有列”。这个说法便于理解但如果你真以为内存里有一块“矩形”那就错了。二维数组在内存中依然是连续线性存储的C语言按“行主序”排列。int a[3][4]在内存中排列方式是先放第0行的4个int再放第1行的4个int最后放第2行的4个int一共12个int48字节完全连续没有缝隙。这带来一个很重要的结论二维数组本质上是元素为一维数组的一维数组。a[0]是一个包含4个int的一维数组a[1]是另一个a[2]是第三个。外层数组有3个元素每个元素的大小是16字节。访问公式也一样可以推导a[i][j] 的地址 数组首地址 (i * 列数 j) * 单个元素大小这个公式对性能优化有直接影响。比如你要遍历这个二维数组按行遍历外层循环i内层循环j和按列遍历外层循环j内层循环i理论上是同样多的访问次数但实际执行时间差异很大。按行遍历时访问a[0][0]、a[0][1]、a[0][2]…地址连续CPU缓存命中率高按列遍历时每访问一个元素都要跳到下一行去地址跳跨越越大缓存效率低。我自己实测过一个1024x1024的整型二维数组按行遍历用时大约几毫秒按列遍历可能要多出3-5倍的时间。在小数组上感觉不明显一旦数据量大这个差异就非常显著。3.2 二维字符数组多字符串的容器二维字符数组即char names[3][20]本质上是一个能存放3个字符串的数组每个字符串最大长度19个字符留1字节给\0。这在很多场景下非常实用比如存储学生名单、颜色表、配置项列表等。初始化方式有几种我直接列举#include stdio.h int main() { // 方式一用字符串列表初始化最直观 char names[3][20] { Alice, Bob, Charlie }; // 方式二省略第一维长度编译器自动算 char colors[][20] { red, green, blue }; // 相当于 char colors[3][20] // 方式三逐行字符串拷贝 char fruit[3][20]; snprintf(fruit[0], sizeof(fruit[0]), %s, apple); snprintf(fruit[1], sizeof(fruit[1]), %s, banana); snprintf(fruit[2], sizeof(fruit[2]), %s, cherry); // 遍历输出 for (int i 0; i 3; i) { printf(%s\n, names[i]); } return 0; }二维字符数组里names[i]是第i行的数组名类型是char[20]在表达式中会退化为char*指针可以直接传给printf(%s)、strlen、strcpy这些函数。但二维字符数组有个很明显的缺点内存浪费和容量限制并存。如果你存3个字符串长度分别是4、5、7却为每行都分配20个字节那么内存利用率不到40%。反过来如果你某一天要存一个超过19个字符的字符串snprintf会按20-119个字符截断数据丢失。虽然不会越界但结果可能不符合预期。所以二维字符数组适合“事先能确认每一行最大长度且各行长度差不多”的场景。如果字符串长短差异很大或者需要动态扩容更合理的选择是指针数组char *names[3]每个元素指向一片独立的内存。这个我在第4章讲指针数组时详细说明。3.3 二维数组作为函数参数的两个正确姿势二维数组传参是新手最容易卡住的地方。核心问题在于数组在函数参数中会退化为指针而二维数组退化的规则比较复杂。如果你直接写void print(int arr[3][4], int rows) { // 编译没问题但写死了列数 }这种方式能跑但不够灵活函数只能接受列数恰好为4的二维数组。更合理的方式有两种方式一指明列数void print(int arr[][4], int rows) { for (int i 0; i rows; i) { for (int j 0; j 4; j) { printf(%d , arr[i][j]); } printf(\n); } }这里第一维rows是参数第二维4必须写死。为什么因为编译器计算arr[i][j]的地址时必须知道“每一行有多少个元素”也就是上面提到的公式里的“列数”。列数不明确地址无法计算。调用方式int a[3][4] {0}; print(a, 3);方式二退化为指针手动计算偏移void print(int *arr, int rows, int cols) { for (int i 0; i rows; i) { for (int j 0; j cols; j) { printf(%d , *(arr i * cols j)); } printf(\n); } } int a[3][4] {0}; print(a[0][0], 3, 4); // 或 print((int*)a, 3, 4);这里把二维数组强制看成一段连续的int数组用一维的方式去遍历。地址计算公式完全等价。这种写法的优点是行列数都由参数传入函数通用性更好缺点是代码可读性稍差而且要确保调用者传入的首地址确实指向正确的连续内存块。我在实际项目里更推荐方式一因为可读性高编译器还能帮你检查类型。如果确实担心列数固定不好复用那就干脆换成动态二维数组或者一维数组模拟二维别硬在一个写法上纠结。关于二维数组和指针的更进一步有人问int arr[3][4]传参时int **行不行答案是不行。int (**)是指向指针的指针每一级都指向一个指针而arr在内存中是连续的一片int没有真正存储“行指针”。arr退化成指针后的类型是int (*)[4]指向“含4个int的数组”的指针而不是int **。这是面试高频考点也是很多人反复踩的坑。4. 数组与指针、指针数组与数组指针4.1 数组名是地址但不是指针变量数组名常常被误解为“指针”因为大多数情况下数组名在表达式中会自动转换为指向首元素的指针。但有一个关键区别数组名不是变量不能自增自减或重新赋值。int a[5] {1, 2, 3, 4, 5}; printf(%p\n, a); // 输出首地址 a; // 编译错误数组名不是可修改的左值但指针可以int *p a; p; // 合法现在指向a[1]那a和a有什么区别很多书说“a和a的值相同”这在地址数值上是对的但类型完全不同a的类型是int*指向首元素a的类型是int (*)[5]指向整个数组长度5两者的步长也不同。a1移动一个int即4字节a1移动整个数组即20字节。这个差异在指针算术中容易踩坑比如你写(a 1)得到的地址是越过整个数组的下一个位置这在某些数组边界场景会引发非常隐蔽的Bug。int a[5] {1, 2, 3, 4, 5}; int *p a; int (*parr)[5] a; printf(p1: %p\n, p 1); // 首地址 4 printf(parr1: %p\n, parr 1); // 首地址 20在函数内部数组传参退化为指针后sizeof就失效了这也是我前面承诺要详细讲的地方void func(int arr[]) { printf(%zu\n, sizeof(arr)); // 这里输出的是864位系统指针大小不是数组字节数 }为什么因为int arr[]在参数声明中完全等价于int *arr。编译器把参数当成指针来处理所以sizeof(arr)返回指针大小。这就是为什么你一定要在函数外面算好数组长度再传进去或者靠终止标志如字符串的\0来判断边界。4.2 指针数组、数组指针的区分方法这是入门阶段最绕的两兄弟我每次被问到都会先给一个口诀从变量名往右看先遇到什么就是什么。int *p[3]从左往右先看p右边是[3]左边是int*所以p是一个数组数组元素是指向int的指针。这就是指针数组。int (*p)[3]p先跟括号里的*结合再跟右边的[3]结合所以p是一个指针指向一个含3个int的数组。这叫数组指针。指针数组有什么用最常见的用途是实现字符串表const char *errors[] { No error, Not found, Permission denied, Unknown error }; for (int i 0; i 4; i) { printf(%s\n, errors[i]); }这里每个errors[i]是一个const char*指向一个字符串字面量。比起二维字符数组char errors[4][20]这种写法节省内存因为每个字符串占用的字节数各不相同缺点是这些字符串不允许修改只能读取。如果你需要修改字符串内容指针数组就没法直接用了要用二维字符数组或者为每个指针分配动态内存。数组指针int (*p)[3]最经典的用法是配合二维数组的函数参数void print_row(int (*p)[4], int rows) { for (int i 0; i rows; i) { for (int j 0; j 4; j) { printf(%d , p[i][j]); } printf(\n); } } int a[3][4] {0}; print_row(a, 3);p[i][j]的写法和a[i][j]完全一样因为p指向的就是“含4个int的数组”p1跳一行这个步长刚好匹配二维数组的“行”概念。实际上void print_row(int p[][4], int rows)和上面的写法是同一回事因为参数中的int p[][4]会被编译器调整为int (*p)[4]。两者完全等价。4.3 一维数组模拟二维另一种思路很多人在数据量大的时候会选择用一维数组模拟二维最常见的是图像处理、矩阵运算领域。因为动态分配二维数组时用malloc逐行分配容易造成内存碎片而一维数组可以一次性分配大块连续内存。不用真的去找第三方代码自己就能实现int rows 3, cols 4; int *mat (int*)malloc(rows * cols * sizeof(int)); // 访问 mat[i][j]用公式mat[i * cols j] for (int i 0; i rows; i) { for (int j 0; j cols; j) { mat[i * cols j] i * cols j; printf(%d , mat[i * cols j]); } printf(\n); } free(mat);这种写法的优势非常明显内存完全连续缓存友好只需一次malloc和一次free不容易内存泄漏行数列数可以是运行时变量比固定[3][4]灵活得多代价是代码中要随时计算偏移i * cols j写错公式就取错数据排查起来需要多花一点时间。在我实际的项目里凡是处理图像矩阵、棋盘游戏状态、大规模数值计算我基本都用这种模拟方式而不是原生二维数组。5. 数组相关的经典场景与高频排查5.1 用数组统计整型中位为1的个数热搜词里有个“统计整型中位是1的个数”这是典型的位运算加数组练手题。我写一个最直接的版本顺便把数组的遍历结合起来#include stdio.h // 统计一个整数的二进制表示中有多少个1 int count_bit_one(int n) { int count 0; while (n) { n n (n - 1); // 每次消除最低位的1 count; } return count; } int main() { int nums[] {5, 7, 15, 0, 255, -1}; int n sizeof(nums) / sizeof(nums[0]); for (int i 0; i n; i) { printf(%d 中位为1的个数: %d\n, nums[i], count_bit_one(nums[i])); } return 0; }原理是n (n - 1)能清除二进制中最低位的1。比如n 12二进制是1100n - 1 1011相与后变成1000一次就把最低位的1消掉了。循环几次就有几个1。这个算法时间复杂度O(k)k是1的个数性能很优秀。-1在补码表示下所有位全是132位系统是32个1所以输出32这个结果也值得注意。5.2 数组去重别急着用STL先想清楚需求“数组去重”是另一个高频热搜词在不同语言里做法完全不同。C语言里没有现成的去重函数常用的思路是双重循环标记法#include stdio.h int remove_duplicates(int arr[], int n) { if (n 1) return n; int new_len 0; for (int i 0; i n; i) { int duplicate 0; // 检查arr[i]是否已经在前面出现过 for (int j 0; j new_len; j) { if (arr[i] arr[j]) { duplicate 1; break; } } if (!duplicate) { arr[new_len] arr[i]; } } return new_len; } int main() { int a[] {3, 1, 4, 1, 5, 9, 2, 6, 5, 3}; int n sizeof(a) / sizeof(a[0]); n remove_duplicates(a, n); for (int i 0; i n; i) { printf(%d , a[i]); } printf(\n); return 0; }这个方案不需要额外开辟数组直接在原数组上覆盖返回去重后的长度。时间复杂度O(n²)对大规模数据不友好但胜在简单清晰适合算法入门。如果数据量大考虑先排序再去重排序后相邻元素相同则跳过时间复杂度O(nlogn)。如果数据范围小且为整数用哈希表C里unordered_set能到O(n)。在JavaScript和Python里就简单多了JS[...new Set(arr)]Pythonlist(dict.fromkeys(arr))这里我只提个醒去重前先想清楚是否需要保持原顺序。如果不需要保持顺序排序法最快如果需要保持哈希法最优如果数据量小就地覆盖法最省事。5.3 字符数组输入问题热搜里还有一个“如何输入char数组”这个问题看着基础但极容易在初学者代码里翻车。核心原因在于scanf(%s, str)遇到空格就停止不能输入带空格的字符串。最稳妥的方案是用fgets#include stdio.h #include string.h int main() { char buf[100] {0}; printf(请输入一行文字: ); fgets(buf, sizeof(buf), stdin); // fgets会保留末尾的换行符要去掉 buf[strcspn(buf, \n)] 0; printf(你输入的是: %s\n, buf); return 0; }fgets的第二个参数是缓冲区大小它最多读取size-1个字符然后自动补\0从根本上避免了缓冲区溢出。唯一要注意的是它会读入换行符所以用strcspn或者手动找\n的位置并置0让字符串恢复干净。scanf(%s, buf)不是不能用但你要清楚它的边界它不能读空格、制表符和换行而且如果不限定宽度比如scanf(%s, buf)用户输入超过99个字符时就会越界写入这是严重的安全漏洞。真要硬要用写成分隔符明确的格式配合%99s限制宽度或者用%[^\n]来读取整行scanf(%99[^\n], buf);这个格式的意思是“读取最多99个非换行字符”。但注意如果用户先输入了换行符这个格式会直接跳过导致buf为空。更严谨的做法是在前面加一个空格scanf( %99[^\n], buf)。这也是为什么我一直推荐fgets——它虽然要多两行代码但语义清楚不容易在边界情况下翻车。5.4 字符数组和指针数组的字符串谁不能修改这个问题我在项目里真的见过有人踩坑。看这一段char str1[] hello; char *str2 hello; str1[0] H; // 合法str1是本地数组可以修改 str2[0] H; // 未定义行为某些平台崩溃某些平台静默生效char *str2 hello指向的是一个字符串字面量这个字面量通常存放在只读数据段。修改它的结果是未定义行为在Linux上很可能段错误在某些嵌入式编译器上可能什么都不发生但这绝不代表安全。正确写法是const char *str2 hello一旦写了const编译器就会拦截你的修改操作把错误扼杀在编译期。这个问题的根子上还是“字符数组”和“字符指针”的区别str1是数组拥有一块可修改的内存str2是指针只保存了字面量的地址没有所有权。5.5 数组越界为什么是“最快崩但最隐蔽”的错误数组越界是C/C世界最经典的“未定义行为”。C语言设计之初为了性能决定不检查数组下标。运行时访问arr[-1]或者arr[n]直接按公式计算地址。如果那块地址恰好是别的变量比如数组后面定义了一个标志位你往arr[n]写了个0标志位就莫名其妙变了程序行为随之跑偏而且你根本没想到是数组写出去了。比如int flags 1; int arr[3] {0, 0, 0}; arr[3] 999; // 越界写覆盖了flags所在内存 printf(%d\n, flags); // 可能输出999而不是1这种Bug在真实项目中排查极其痛苦因为flags的变化和arr的赋值在代码里离得很远肉眼根本关联不上。排查手段只能靠内存查看、调试器watch内存、或者AddressSanitizer这类工具。所以我的经验法则是写数组访问时先把边界条件写在纸上再写代码。遍历范围、下标上限、输入缓冲长度这些都是开工前就要定的不是写完再测的。在C里能不用裸数组就尽量不用std::array和std::vector自带at()接口能帮你检查越界C语言下只能靠自律和工具如-fsanitizeaddress兜底。6. 不同语言中的数组实现差异热搜词里有Python切片、JavaScript数组方法、PHP二维数组改键值、VBA数组还有人问“C#里不同class可以组成数组吗”这些本质都是数组在不同语言中的形态差异。我挑几个有代表性的简单说一下帮你在语言切换时不至于踩坑。Python的数组其实叫列表。Python里最常用的list不是C意义上的数组它是动态数组可以存不同类型元素。切片arr[1:4]返回新列表步长arr[::2]取偶数下标的元素这是Python最爽的特性之一。但要注意Python的list缓存不友好大数据量数值计算更推荐array模块或NumPy的ndarray。JavaScript数组不是数组。在JS规范里数组是一种对象下标被转成字符串键名。所以JS数组可以随意越界访问——arr[999]返回undefined不会报错也可以混杂不同类型。它底层是哈希表所以性能不如真正的连续数组这也是为什么大数据计算很少用JS写。热搜词里的“数组方法”大概率是指map、filter、reduce这些它们和C数组的思路完全不同可以看作是函数式编程对容器的封装。C#的不同class可以组成数组吗可以。C#里如果你有一个基类Animal定义Animal[] zoo new Animal[3]那么你可以把Dog和Cat实例放进去因为子类可以隐式转换为基类引用。C#数组有协变特性但要注意运行时只能访问基类成员想用子类成员需要先做类型转换。另外C#推荐用ListT它和数组的关系类似于C的vector。PHP二维数组改键值。PHP的数组本质是有序哈希表二维数组就是数组套数组改键值直接$arr[key] value是很自然的操作。PHP数组和C数组差异最大它不需要声明长度键可以是字符串或整数底层不是连续内存。这些特性方便但内存开销大用在中小型Web应用没问题高性能场景就要考虑其他结构了。VBA数组的边界。VBA里Dim arr(1 To 10)可以自由设定上下界下标可以是1到10。这是VBA与C系语言差异最大的一点很多从VB转过来的朋友不习惯C下标从0开始。VBA数组适合处理Excel区域用Arr Range.Value取回的区域本来就是一个二维数组。7. 完整实践案例一个学生成绩统计程序讲再多理论最后还是动手最实在。我结合前面所有知识点写一个完整案例读取5个学生的姓名和3科成绩存放在二维字符数组和二维整型数组中然后计算每个人的总分和平均分最后输出排序后的名次。这个案例把“二维整型数组”、“二维字符数组”、“数组传参”、“字符串处理”全部串起来。#include stdio.h #include string.h #define STUDENTS 5 #define SUBJECTS 3 #define NAME_LEN 20 // 计算某个学生的总分参数是二维整型数组的行指针 int student_total(int scores[][SUBJECTS], int row) { int sum 0; for (int j 0; j SUBJECTS; j) { sum scores[row][j]; } return sum; } // 简单选择排序按总分降序同时调整姓名顺序 void sort_by_total(char names[][NAME_LEN], int scores[][SUBJECTS], int n) { for (int i 0; i n - 1; i) { int max_idx i; for (int j i 1; j n; j) { if (student_total(scores, j) student_total(scores, max_idx)) { max_idx j; } } if (max_idx ! i) { // 交换姓名 char tmp_name[NAME_LEN]; snprintf(tmp_name, sizeof(tmp_name), %s, names[i]); snprintf(names[i], NAME_LEN, %s, names[max_idx]); snprintf(names[max_idx], NAME_LEN, %s, tmp_name); // 交换成绩 for (int k 0; k SUBJECTS; k) { int tmp scores[i][k]; scores[i][k] scores[max_idx][k]; scores[max_idx][k] tmp; } } } } int main() { char names[STUDENTS][NAME_LEN] {0}; int scores[STUDENTS][SUBJECTS] {0}; for (int i 0; i STUDENTS; i) { printf(输入第%d个学生的姓名: , i 1); fgets(names[i], NAME_LEN, stdin); names[i][strcspn(names[i], \n)] 0; printf(输入%s的三科成绩空格分隔: , names[i]); scanf(%d %d %d, scores[i][0], scores[i][1], scores[i][2]); getchar(); // 清掉scanf后遗留的换行符否则影响下次fgets } sort_by_total(names, scores, STUDENTS); printf(\n 成绩排名 \n); for (int i 0; i STUDENTS; i) { int total student_total(scores, i); printf(第%d名: %s总分: %d平均分: %.1f\n, i 1, names[i], total, total / (float)SUBJECTS); } return 0; }这里的核心细节值得单独说第一scanf和fgets混用时要手动清换行。如果你写完成绩按回车那个换行符会留在输入缓冲区下一次fgets直接读到空字符串。这就是为什么我在scanf之后加了一个getchar()。这个坑在控制台程序里几乎是必踩的很多人的代码表现是“第一次能输入第二次姓名自动跳过”罪魁祸首就是这个。第二snprintf交换字符串比strcpy安全。虽然这里NAME_LEN是20字符串长度也都小于20用strcpy不会出问题但用snprintf能防止未来某天真出现超长字符串时发生缓冲区溢出。多写一个参数换一份安心。第三选择排序交换数据时姓名和成绩必须一起交换。很多人排序时只排成绩最后输出名次和姓名对应不上全乱套。数据一致性是这类统计程序最容易忽略的地方解决方案就是结构体封装但在纯数组练习里同步交换两套数据结构也是必须掌握的技能。这个程序的运行效果我这里用一组模拟数据说明输入第1个学生的姓名: Alice 输入Alice的三科成绩空格分隔: 85 90 78 输入第2个学生的姓名: Bob 输入Bob的三科成绩空格分隔: 92 88 95 输入第3个学生的姓名: Charlie 输入Charlie的三科成绩空格分隔: 70 75 80 输入第4个学生的姓名: Diana 输入Diana的三科成绩空格分隔: 60 88 92 输入第5个学生的姓名: Eve 输入Eve的三科成绩空格分隔: 98 100 97 成绩排名 第1名: Eve总分: 295平均分: 98.3 第2名: Bob总分: 275平均分: 91.7 第3名: Alice总分: 253平均分: 84.3 第4名: Diana总分: 240平均分: 80.0 第5名: Charlie总分: 225平均分: 75.08. 常用工具与调试技巧8.1 把数组内容快速打印出来调试数组问题时第一步永远是“看清楚里面到底存了什么”。C语言没有内置的数组打印函数写一个调试用的函数花不了几分钟void print_int_array(const int arr[], int n) { for (int i 0; i n; i) { printf(%d , arr[i]); } printf(\n); }打印字符数组直接用printf(%s\n, str)但如果怀疑字符串中可能有乱码或没正确以\0结尾改用按字符打印更靠谱for (int i 0; i 20; i) { printf(%02X , (unsigned char)str[i]); // 以十六进制打印每一个字节 } printf(\n);这样你能直接看到数据里有没有预期的\0十六进制的00有没有意外混入的ASCII码不会因为字符串函数在错误位置停下而误判数据。8.2 利用AddressSanitizer揪出越界如果你在Linux或macOS上做C/C开发强烈建议编译时加上-fsanitizeaddress。这是目前检测数组越界、缓冲区溢出最有效的工具之一能在程序越界访问的瞬间就报告出错的源码行和调用栈。gcc -g -fsanitizeaddress -o test test.c ./test一旦出现越界错误输出里会明确告诉你是“heap-buffer-overflow”还是“stack-buffer-overflow”并标出访问的地址位于哪个变量附近。我早期排查一个极其隐蔽的数组写越界bug靠的就是这个工具省了两天人工排查时间。如果你还在用纯gdb单步走查数组内容建议赶紧试一下这个方案体验完全是另一个世界。手机上装个Termux就能编译运行门槛没有想象中高。8.3 用调试器查看复杂二维数组在VS Code或Visual Studio里打断点调试二维数组直接看监视窗口可能显示得很乱。一个实用的技巧是在监视里添加表达式arr[0][0],10部分调试器会按“数组元素0到10”的方式显示但这依赖具体工具版本。更通用的做法是写一个临时的遍历循环把数组内容打印到控制台配合断点在循环后面一目了然。8.4 检查逻辑错误的“橡皮鸭法”如果你发现数组内容打印出来不对但又看不出哪儿错我建议你把代码逻辑一步步用中文描述给别人听“这里我把a[i][j]当成第i行第j列先遍历行再遍历列”说着说着通常自己就会发现某个循环边界写错了。这个方法听起来玄学但实际效果很好。原因很简单我们读自己代码时容易惯性思维说出口反而能跳出定势。9. 数组学习的后续进阶方向学完一维和二维数组后你已经掌握C语言数据存储的基石。接下来的路线我建议按这几个方向推进第一动态数组。用malloc和realloc在运行时创建数组理解堆内存和栈内存的区别。动态数组是日后使用C/C开发任何实际项目的基础几乎绕不过去。第二字符串处理函数族。strlen、strcpy、strcat、strcmp、strchr、strstr的原理和边界情况每个都值得亲手实现一遍。字符数组是微控制器嵌入式开发中最高频的数据结构字符串解析做得好很多问题都不再是问题。第三C的std::vector和std::string。如果你转C现代C项目已经很少直接使用裸数组和裸字符指针标准库容器帮你管理内存、提供越界检查。但理解裸数组的原理能让你在遇到性能瓶颈时知道问题出在哪也能明白为什么std::vector比裸数组更安全却不一定更快。第四数组与算法的黄金组合。排序冒泡、插入、快排、查找顺序、二分、前缀和、滑动窗口、树状数组这些经典算法几乎都以数组作为载体。热搜里的“树状数组模板”本身就是基于数组实现的一种高级数据结构如果你把数组的连续性和下标公式理解透了学树状数组会非常轻松。第五多维数组的更深入应用。三维数组在多通道图像中很常见比如char img[height][width][3]存RGB三通道二维数组本身又是矩阵运算的载体在机器学习、图形学中到处都是。理解“行主序”这个内存布局习惯能帮你和很多图像处理库对接时少踩半天的坑。10. 写在最后的实操心得数组表面上是语法问题本质上还是内存问题。我写了十来年代码回头看自己在教科书上划过的重点数组名、下标、越界、传参退化每一个知识点最后都能在真实项目的崩溃日志里找到对应案例。尤其是二维数组传参我在面试候选人和带新人的时候反复讲过无数次因为一旦工程里图像数据、矩阵数据都用二维数组承载传参写错一列各个模块之间交换数据的接口就全拧了。我的体会是学数组没有窍门需要的不是你背下多少种写法而是亲手把每一个示例敲一遍然后故意弄坏几个地方看看结果。比如把for (int i 0; i 5; i)的边界改成i 5观察程序是崩溃还是出现奇怪数据把字符串数组去掉\0看看strlen能输出多少把二维数组按列遍历看看效率是不是真的变差。这些问题自己亲手试过一次记忆深刻程度远超过看十遍教程。最后再分享一个小技巧写任何涉及数组的代码前先花十秒钟想一想“这个数组多大的数据会让它失效”。比如缓冲区定到20传19个字符的字符串时会不会溢出二维数组列数写死4传5列的数据会不会越界排序前和排序后的数据一致性是否存在断链。把这些边界条件养成肌肉记忆你在写的就已经不是“练习题”了而是真正可以交付的工程代码。 彻底搞懂C/C++数组：从内存布局到二维数组传参
数组这个主题说难不难说简单也绝不简单。我见过太多人出了学校就能写出数组的增删改查但一碰上“二维字符数组怎么传参”“为什么函数里sizeof数组是8不是20”这类问题时当场傻眼。也有不少人面试时被“数组和指针到底啥关系”问崩溃。这篇内容我想把一维数组和二维数组整型和字符型这些基础内容彻底说透不光讲“怎么用”更讲清“为什么是这样设计”的底层逻辑。如果你是刚学C/C的新手这篇可以当你的第二份教材如果你已经写了几年代码也可以对照着查漏补缺看看那些被你忽视的基础细节有多少其实一直在绊你。我尽量用实际写代码时遇到的场景来讲每个概念都配合可运行的示例必要的内存布局图用文字画清楚争议比较大的地方直接给出结论和取舍理由。1. 先搞懂数组的本质内存里的一块连续空间1.1 为什么数组下标从0开始而不是从1很多新手第一个困惑就是这个。数学里数组排第一个元素明明叫“第1个”编程里却非要从0开始这不反直觉吗要回答这个问题得先看数组在内存中到底是个什么结构。数组在C和C里的定义非常简单一组相同类型元素的集合在内存中连续存放。关键在“连续”这两个字。什么叫连续就是第一个元素占4个字节如果是int第二个元素紧跟其后再占4个字节中间不允许插入任何别人的数据。因此当你定义一个int arr[5]时编译器做的事情是分配一整块 5 * sizeof(int) 20 字节的空间并且记住这块空间的首地址。假设首地址是0x1000那么arr[0]就存放在0x1000~0x1003arr[1]存放在0x1004~0x1007依此类推。这里就引出了数组访问的核心公式arr[i] 的地址 数组首地址 i * 单个元素占用的字节数注意这里用的是偏移量i也就是从首地址往前移动几步。第一个元素不需要移动所以偏移量为0。这就是“下标从0开始”的真相数组下标本质上是偏移量不是编号。你在纸上写“第1个元素”那是人类的编号习惯机器执行时用偏移量天然就是0起算。如果下标从1开始那么公式就变成了arr[i] 的地址 数组首地址 (i - 1) * 单个元素占用的字节数每次访问都要多一次减法操作性能白白损失。老一代语言设计者极其在乎性能所以从0开始就顺理成章地成了C语言的规矩一直传到今天。理解了这个本质你就能明白为什么数组越界是“极其危险”的arr[10]你以为访问的是第11个元素但编译器不会管你它依然按照“首地址 10 * 元素大小”去内存里取数据。至于取出来的是什么完全取决于那块内存被哪个程序写入了什么。这比查表出错要严重得多后面我会单独展开。1.2 连续存放带来的两个优势和一个隐患连续存放是数组最大的特征所有与数组相关的特性几乎都从“连续空间”这4个字衍生出来。优势一随机访问效率极高。因为地址可以直接算出来数组访问的时间复杂度是O(1)。不管数组是10个元素还是1000万个元素arr[i]的耗时都一样。这一点链表做不到链表要找到第i个节点必须从头遍历O(n)。优势二缓存友好。现代CPU有缓存机制当你连续访问数组的前几个元素时CPU会把整块数据一次性加载到高速缓存里。后面再访问相邻元素直接从缓存拿速度极快。这也是为什么“数组遍历”往往比“链表遍历”快得多的原因之一——链表节点在内存里是分散的缓存命中率低。隐患插入和删除代价高。数组是连续空间往中间插一个元素你只能把后面的所有元素往后挪删除同理。平均时间复杂度O(n)。这是数组的硬伤但在基础阶段不用太在意等你学到链表、动态数组等结构后对这个对比会理解得更深。2. 一维数组整型与字符型的两副面孔2.1 整型一维数组的初始化、访问和常见错误整型一维数组是大家最先接触的数组类型我直接给出一段最标准的代码把各个细节标注在注释中#include stdio.h int main() { // 完全初始化5个元素全部指定 int a[5] {10, 20, 30, 40, 50}; // 部分初始化只给前3个剩下的自动补0 int b[5] {1, 2, 3}; // b[3] 0, b[4] 0 // 省略大小的初始化编译器自动推算长度 int c[] {1, 2, 3, 4}; // 相当于 int c[4] // 全0初始化最常用也最容易被忽略 int d[5] {0}; // 所有元素都是0 // 访问与修改 a[0] 99; // 修改第一个元素 printf(%d\n, a[2]); // 输出30 // 遍历 for (int i 0; i 5; i) { printf(a[%d] %d\n, i, a[i]); } return 0; }这里面有几个细节很多人写了很多年代码也没注意第一int d[5] {0}为什么能把所有元素置0标准规定初始化列表中如果提供的元素个数少于数组长度剩余的元素会被“值初始化”。对整型来说就是补0。所以{0}刚好是一个简洁的“全0初始化”写法。但反过来说如果你写int d[5] {1}期望所有元素都是1那就是大错特错了。d[1]到d[4]全都是0只有第一个元素是1。想全部设成1要么循环赋值要么用memset但memset对整型数组设置非0值有字节序陷阱新手慎用C里用std::fill或者std::vector更方便。第二int c[]省略长度的前提是你给出了完整的初始化列表。如果写int c[];不初始化编译器直接报错不知道数组大小。这个场景最常见于函数外部定义全局数组比如定时器表、配置表之类用初始化列表自动推导长度能避免你数错元素个数。第三数组的下标类型。C语言规定下标可以是任何整数类型甚至可以写成a[3.5]这样的浮点数——做了隐式转换等于a[3]。但实际项目中我强烈建议下标全部用int或者size_t。用char当下标也很危险因为char到底是有符号还是无符号取决于编译器和平台跑在ARM上可能出现负数下标访问到数组前面去了。再说一个我见过无数次的错误遍历时数组长度写死。很多人写了一个能跑的循环比如for (int i 0; i 10; i)后来数组长度改成20了循环忘改或者改成20了另一个循环忘改。这种代码一旦上线Bug非常隐蔽。更好的做法是用sizeof计算int arr[] {1, 2, 3, 4, 5, 6, 7, 8}; int n sizeof(arr) / sizeof(arr[0]); for (int i 0; i n; i) { // ... }这个写法的原理是sizeof(arr)返回整个数组占用的字节数sizeof(arr[0])返回一个元素占用的字节数两者相除得到元素个数。千万注意这个方法只能在数组的定义作用域内使用。一旦数组作为参数传进函数sizeof(arr)得到的就不是数组大小了而是指针大小这个坑我放到第4章详细讲。2.2 字符型一维数组字符数组和字符串只差一个\0字符型数组char str[20]是C语言里被讨论最多、出错最多的一种数组类型原因就在于C语言没有独立的字符串类型字符串就是用字符数组存储的但并不是所有字符数组都是字符串。两者的区别是什么字符串要求字符数组必须以\0ASCII码为0的空字符结尾。这个\0就是字符串的终止标志。看代码#include stdio.h #include string.h int main() { // 字符串方式初始化自动在后面补\0 char s1[] hello; // 实际存储为h,e,l,l,o,\0共6个字节 // 字符数组方式初始化不会自动补\0 char s2[] {h, e, l, l, o}; // 实际存储为5个字符没有\0这不是一个字符串 printf(s1的长度: %zu\n, strlen(s1)); // 输出5因为遇到\0停止 // printf(s2的长度: %zu\n, strlen(s2)); // 这是未定义行为s2没有\0strlen会一直向后扫描直到碰巧遇到0 return 0; }strlen(s2)为什么是未定义行为因为strlen的工作原理是“从给定的地址开始数一直数到第一个\0为止”。而s2里面根本没有\0于是函数就会越过s2的边界在内存里继续找。如果在某处凑巧遇到一个0字节就停下来输出一个随机长度如果一直找不到程序直接崩溃或更糟。这个错误极其隐蔽因为它在“越界扫描”而C语言完全不检查。我强烈建议的字符数组使用规范/ 声明时留足空间至少要能放下内容 \0 char str[64] {0}; // 先全部清0再拷贝 strcpy(str, Hello); // 建议使用更安全的 strncpy 或 snprintf // 或者用 snprintf它一定不会越界 snprintf(str, sizeof(str), %s, Hello);char str[64] {0}这行代码和int d[5] {0}同理把所有字节初始化为0。对字符数组来说0就是\0所以整个数组在逻辑上是一个“空字符串”。之后无论你用strcpy、snprintf还是strcat往里面写内容只要不超过61个字符留3字节给结尾的\0和可能的溢出余量都能保证字符串正确终止。写到这里必须提醒一个C语言经典的坑strcpy和strcat都不检查目标缓冲区大小。我从没见过哪个项目因为这个没踩过雷。所以推荐做法是拷贝固定格式内容用snprintf(str, size, ...)最安全拷贝已有字符串用strncpy但要手动保证最后一个字节是0拼接字符串用strncat它自带追加\03. 二维数组本质是一维数组的一维数组3.1 整型二维数组的内存布局与遍历二维数组这个概念很多教材解释得玄乎说“二维数组就是一个矩阵有行有列”。这个说法便于理解但如果你真以为内存里有一块“矩形”那就错了。二维数组在内存中依然是连续线性存储的C语言按“行主序”排列。int a[3][4]在内存中排列方式是先放第0行的4个int再放第1行的4个int最后放第2行的4个int一共12个int48字节完全连续没有缝隙。这带来一个很重要的结论二维数组本质上是元素为一维数组的一维数组。a[0]是一个包含4个int的一维数组a[1]是另一个a[2]是第三个。外层数组有3个元素每个元素的大小是16字节。访问公式也一样可以推导a[i][j] 的地址 数组首地址 (i * 列数 j) * 单个元素大小这个公式对性能优化有直接影响。比如你要遍历这个二维数组按行遍历外层循环i内层循环j和按列遍历外层循环j内层循环i理论上是同样多的访问次数但实际执行时间差异很大。按行遍历时访问a[0][0]、a[0][1]、a[0][2]…地址连续CPU缓存命中率高按列遍历时每访问一个元素都要跳到下一行去地址跳跨越越大缓存效率低。我自己实测过一个1024x1024的整型二维数组按行遍历用时大约几毫秒按列遍历可能要多出3-5倍的时间。在小数组上感觉不明显一旦数据量大这个差异就非常显著。3.2 二维字符数组多字符串的容器二维字符数组即char names[3][20]本质上是一个能存放3个字符串的数组每个字符串最大长度19个字符留1字节给\0。这在很多场景下非常实用比如存储学生名单、颜色表、配置项列表等。初始化方式有几种我直接列举#include stdio.h int main() { // 方式一用字符串列表初始化最直观 char names[3][20] { Alice, Bob, Charlie }; // 方式二省略第一维长度编译器自动算 char colors[][20] { red, green, blue }; // 相当于 char colors[3][20] // 方式三逐行字符串拷贝 char fruit[3][20]; snprintf(fruit[0], sizeof(fruit[0]), %s, apple); snprintf(fruit[1], sizeof(fruit[1]), %s, banana); snprintf(fruit[2], sizeof(fruit[2]), %s, cherry); // 遍历输出 for (int i 0; i 3; i) { printf(%s\n, names[i]); } return 0; }二维字符数组里names[i]是第i行的数组名类型是char[20]在表达式中会退化为char*指针可以直接传给printf(%s)、strlen、strcpy这些函数。但二维字符数组有个很明显的缺点内存浪费和容量限制并存。如果你存3个字符串长度分别是4、5、7却为每行都分配20个字节那么内存利用率不到40%。反过来如果你某一天要存一个超过19个字符的字符串snprintf会按20-119个字符截断数据丢失。虽然不会越界但结果可能不符合预期。所以二维字符数组适合“事先能确认每一行最大长度且各行长度差不多”的场景。如果字符串长短差异很大或者需要动态扩容更合理的选择是指针数组char *names[3]每个元素指向一片独立的内存。这个我在第4章讲指针数组时详细说明。3.3 二维数组作为函数参数的两个正确姿势二维数组传参是新手最容易卡住的地方。核心问题在于数组在函数参数中会退化为指针而二维数组退化的规则比较复杂。如果你直接写void print(int arr[3][4], int rows) { // 编译没问题但写死了列数 }这种方式能跑但不够灵活函数只能接受列数恰好为4的二维数组。更合理的方式有两种方式一指明列数void print(int arr[][4], int rows) { for (int i 0; i rows; i) { for (int j 0; j 4; j) { printf(%d , arr[i][j]); } printf(\n); } }这里第一维rows是参数第二维4必须写死。为什么因为编译器计算arr[i][j]的地址时必须知道“每一行有多少个元素”也就是上面提到的公式里的“列数”。列数不明确地址无法计算。调用方式int a[3][4] {0}; print(a, 3);方式二退化为指针手动计算偏移void print(int *arr, int rows, int cols) { for (int i 0; i rows; i) { for (int j 0; j cols; j) { printf(%d , *(arr i * cols j)); } printf(\n); } } int a[3][4] {0}; print(a[0][0], 3, 4); // 或 print((int*)a, 3, 4);这里把二维数组强制看成一段连续的int数组用一维的方式去遍历。地址计算公式完全等价。这种写法的优点是行列数都由参数传入函数通用性更好缺点是代码可读性稍差而且要确保调用者传入的首地址确实指向正确的连续内存块。我在实际项目里更推荐方式一因为可读性高编译器还能帮你检查类型。如果确实担心列数固定不好复用那就干脆换成动态二维数组或者一维数组模拟二维别硬在一个写法上纠结。关于二维数组和指针的更进一步有人问int arr[3][4]传参时int **行不行答案是不行。int (**)是指向指针的指针每一级都指向一个指针而arr在内存中是连续的一片int没有真正存储“行指针”。arr退化成指针后的类型是int (*)[4]指向“含4个int的数组”的指针而不是int **。这是面试高频考点也是很多人反复踩的坑。4. 数组与指针、指针数组与数组指针4.1 数组名是地址但不是指针变量数组名常常被误解为“指针”因为大多数情况下数组名在表达式中会自动转换为指向首元素的指针。但有一个关键区别数组名不是变量不能自增自减或重新赋值。int a[5] {1, 2, 3, 4, 5}; printf(%p\n, a); // 输出首地址 a; // 编译错误数组名不是可修改的左值但指针可以int *p a; p; // 合法现在指向a[1]那a和a有什么区别很多书说“a和a的值相同”这在地址数值上是对的但类型完全不同a的类型是int*指向首元素a的类型是int (*)[5]指向整个数组长度5两者的步长也不同。a1移动一个int即4字节a1移动整个数组即20字节。这个差异在指针算术中容易踩坑比如你写(a 1)得到的地址是越过整个数组的下一个位置这在某些数组边界场景会引发非常隐蔽的Bug。int a[5] {1, 2, 3, 4, 5}; int *p a; int (*parr)[5] a; printf(p1: %p\n, p 1); // 首地址 4 printf(parr1: %p\n, parr 1); // 首地址 20在函数内部数组传参退化为指针后sizeof就失效了这也是我前面承诺要详细讲的地方void func(int arr[]) { printf(%zu\n, sizeof(arr)); // 这里输出的是864位系统指针大小不是数组字节数 }为什么因为int arr[]在参数声明中完全等价于int *arr。编译器把参数当成指针来处理所以sizeof(arr)返回指针大小。这就是为什么你一定要在函数外面算好数组长度再传进去或者靠终止标志如字符串的\0来判断边界。4.2 指针数组、数组指针的区分方法这是入门阶段最绕的两兄弟我每次被问到都会先给一个口诀从变量名往右看先遇到什么就是什么。int *p[3]从左往右先看p右边是[3]左边是int*所以p是一个数组数组元素是指向int的指针。这就是指针数组。int (*p)[3]p先跟括号里的*结合再跟右边的[3]结合所以p是一个指针指向一个含3个int的数组。这叫数组指针。指针数组有什么用最常见的用途是实现字符串表const char *errors[] { No error, Not found, Permission denied, Unknown error }; for (int i 0; i 4; i) { printf(%s\n, errors[i]); }这里每个errors[i]是一个const char*指向一个字符串字面量。比起二维字符数组char errors[4][20]这种写法节省内存因为每个字符串占用的字节数各不相同缺点是这些字符串不允许修改只能读取。如果你需要修改字符串内容指针数组就没法直接用了要用二维字符数组或者为每个指针分配动态内存。数组指针int (*p)[3]最经典的用法是配合二维数组的函数参数void print_row(int (*p)[4], int rows) { for (int i 0; i rows; i) { for (int j 0; j 4; j) { printf(%d , p[i][j]); } printf(\n); } } int a[3][4] {0}; print_row(a, 3);p[i][j]的写法和a[i][j]完全一样因为p指向的就是“含4个int的数组”p1跳一行这个步长刚好匹配二维数组的“行”概念。实际上void print_row(int p[][4], int rows)和上面的写法是同一回事因为参数中的int p[][4]会被编译器调整为int (*p)[4]。两者完全等价。4.3 一维数组模拟二维另一种思路很多人在数据量大的时候会选择用一维数组模拟二维最常见的是图像处理、矩阵运算领域。因为动态分配二维数组时用malloc逐行分配容易造成内存碎片而一维数组可以一次性分配大块连续内存。不用真的去找第三方代码自己就能实现int rows 3, cols 4; int *mat (int*)malloc(rows * cols * sizeof(int)); // 访问 mat[i][j]用公式mat[i * cols j] for (int i 0; i rows; i) { for (int j 0; j cols; j) { mat[i * cols j] i * cols j; printf(%d , mat[i * cols j]); } printf(\n); } free(mat);这种写法的优势非常明显内存完全连续缓存友好只需一次malloc和一次free不容易内存泄漏行数列数可以是运行时变量比固定[3][4]灵活得多代价是代码中要随时计算偏移i * cols j写错公式就取错数据排查起来需要多花一点时间。在我实际的项目里凡是处理图像矩阵、棋盘游戏状态、大规模数值计算我基本都用这种模拟方式而不是原生二维数组。5. 数组相关的经典场景与高频排查5.1 用数组统计整型中位为1的个数热搜词里有个“统计整型中位是1的个数”这是典型的位运算加数组练手题。我写一个最直接的版本顺便把数组的遍历结合起来#include stdio.h // 统计一个整数的二进制表示中有多少个1 int count_bit_one(int n) { int count 0; while (n) { n n (n - 1); // 每次消除最低位的1 count; } return count; } int main() { int nums[] {5, 7, 15, 0, 255, -1}; int n sizeof(nums) / sizeof(nums[0]); for (int i 0; i n; i) { printf(%d 中位为1的个数: %d\n, nums[i], count_bit_one(nums[i])); } return 0; }原理是n (n - 1)能清除二进制中最低位的1。比如n 12二进制是1100n - 1 1011相与后变成1000一次就把最低位的1消掉了。循环几次就有几个1。这个算法时间复杂度O(k)k是1的个数性能很优秀。-1在补码表示下所有位全是132位系统是32个1所以输出32这个结果也值得注意。5.2 数组去重别急着用STL先想清楚需求“数组去重”是另一个高频热搜词在不同语言里做法完全不同。C语言里没有现成的去重函数常用的思路是双重循环标记法#include stdio.h int remove_duplicates(int arr[], int n) { if (n 1) return n; int new_len 0; for (int i 0; i n; i) { int duplicate 0; // 检查arr[i]是否已经在前面出现过 for (int j 0; j new_len; j) { if (arr[i] arr[j]) { duplicate 1; break; } } if (!duplicate) { arr[new_len] arr[i]; } } return new_len; } int main() { int a[] {3, 1, 4, 1, 5, 9, 2, 6, 5, 3}; int n sizeof(a) / sizeof(a[0]); n remove_duplicates(a, n); for (int i 0; i n; i) { printf(%d , a[i]); } printf(\n); return 0; }这个方案不需要额外开辟数组直接在原数组上覆盖返回去重后的长度。时间复杂度O(n²)对大规模数据不友好但胜在简单清晰适合算法入门。如果数据量大考虑先排序再去重排序后相邻元素相同则跳过时间复杂度O(nlogn)。如果数据范围小且为整数用哈希表C里unordered_set能到O(n)。在JavaScript和Python里就简单多了JS[...new Set(arr)]Pythonlist(dict.fromkeys(arr))这里我只提个醒去重前先想清楚是否需要保持原顺序。如果不需要保持顺序排序法最快如果需要保持哈希法最优如果数据量小就地覆盖法最省事。5.3 字符数组输入问题热搜里还有一个“如何输入char数组”这个问题看着基础但极容易在初学者代码里翻车。核心原因在于scanf(%s, str)遇到空格就停止不能输入带空格的字符串。最稳妥的方案是用fgets#include stdio.h #include string.h int main() { char buf[100] {0}; printf(请输入一行文字: ); fgets(buf, sizeof(buf), stdin); // fgets会保留末尾的换行符要去掉 buf[strcspn(buf, \n)] 0; printf(你输入的是: %s\n, buf); return 0; }fgets的第二个参数是缓冲区大小它最多读取size-1个字符然后自动补\0从根本上避免了缓冲区溢出。唯一要注意的是它会读入换行符所以用strcspn或者手动找\n的位置并置0让字符串恢复干净。scanf(%s, buf)不是不能用但你要清楚它的边界它不能读空格、制表符和换行而且如果不限定宽度比如scanf(%s, buf)用户输入超过99个字符时就会越界写入这是严重的安全漏洞。真要硬要用写成分隔符明确的格式配合%99s限制宽度或者用%[^\n]来读取整行scanf(%99[^\n], buf);这个格式的意思是“读取最多99个非换行字符”。但注意如果用户先输入了换行符这个格式会直接跳过导致buf为空。更严谨的做法是在前面加一个空格scanf( %99[^\n], buf)。这也是为什么我一直推荐fgets——它虽然要多两行代码但语义清楚不容易在边界情况下翻车。5.4 字符数组和指针数组的字符串谁不能修改这个问题我在项目里真的见过有人踩坑。看这一段char str1[] hello; char *str2 hello; str1[0] H; // 合法str1是本地数组可以修改 str2[0] H; // 未定义行为某些平台崩溃某些平台静默生效char *str2 hello指向的是一个字符串字面量这个字面量通常存放在只读数据段。修改它的结果是未定义行为在Linux上很可能段错误在某些嵌入式编译器上可能什么都不发生但这绝不代表安全。正确写法是const char *str2 hello一旦写了const编译器就会拦截你的修改操作把错误扼杀在编译期。这个问题的根子上还是“字符数组”和“字符指针”的区别str1是数组拥有一块可修改的内存str2是指针只保存了字面量的地址没有所有权。5.5 数组越界为什么是“最快崩但最隐蔽”的错误数组越界是C/C世界最经典的“未定义行为”。C语言设计之初为了性能决定不检查数组下标。运行时访问arr[-1]或者arr[n]直接按公式计算地址。如果那块地址恰好是别的变量比如数组后面定义了一个标志位你往arr[n]写了个0标志位就莫名其妙变了程序行为随之跑偏而且你根本没想到是数组写出去了。比如int flags 1; int arr[3] {0, 0, 0}; arr[3] 999; // 越界写覆盖了flags所在内存 printf(%d\n, flags); // 可能输出999而不是1这种Bug在真实项目中排查极其痛苦因为flags的变化和arr的赋值在代码里离得很远肉眼根本关联不上。排查手段只能靠内存查看、调试器watch内存、或者AddressSanitizer这类工具。所以我的经验法则是写数组访问时先把边界条件写在纸上再写代码。遍历范围、下标上限、输入缓冲长度这些都是开工前就要定的不是写完再测的。在C里能不用裸数组就尽量不用std::array和std::vector自带at()接口能帮你检查越界C语言下只能靠自律和工具如-fsanitizeaddress兜底。6. 不同语言中的数组实现差异热搜词里有Python切片、JavaScript数组方法、PHP二维数组改键值、VBA数组还有人问“C#里不同class可以组成数组吗”这些本质都是数组在不同语言中的形态差异。我挑几个有代表性的简单说一下帮你在语言切换时不至于踩坑。Python的数组其实叫列表。Python里最常用的list不是C意义上的数组它是动态数组可以存不同类型元素。切片arr[1:4]返回新列表步长arr[::2]取偶数下标的元素这是Python最爽的特性之一。但要注意Python的list缓存不友好大数据量数值计算更推荐array模块或NumPy的ndarray。JavaScript数组不是数组。在JS规范里数组是一种对象下标被转成字符串键名。所以JS数组可以随意越界访问——arr[999]返回undefined不会报错也可以混杂不同类型。它底层是哈希表所以性能不如真正的连续数组这也是为什么大数据计算很少用JS写。热搜词里的“数组方法”大概率是指map、filter、reduce这些它们和C数组的思路完全不同可以看作是函数式编程对容器的封装。C#的不同class可以组成数组吗可以。C#里如果你有一个基类Animal定义Animal[] zoo new Animal[3]那么你可以把Dog和Cat实例放进去因为子类可以隐式转换为基类引用。C#数组有协变特性但要注意运行时只能访问基类成员想用子类成员需要先做类型转换。另外C#推荐用ListT它和数组的关系类似于C的vector。PHP二维数组改键值。PHP的数组本质是有序哈希表二维数组就是数组套数组改键值直接$arr[key] value是很自然的操作。PHP数组和C数组差异最大它不需要声明长度键可以是字符串或整数底层不是连续内存。这些特性方便但内存开销大用在中小型Web应用没问题高性能场景就要考虑其他结构了。VBA数组的边界。VBA里Dim arr(1 To 10)可以自由设定上下界下标可以是1到10。这是VBA与C系语言差异最大的一点很多从VB转过来的朋友不习惯C下标从0开始。VBA数组适合处理Excel区域用Arr Range.Value取回的区域本来就是一个二维数组。7. 完整实践案例一个学生成绩统计程序讲再多理论最后还是动手最实在。我结合前面所有知识点写一个完整案例读取5个学生的姓名和3科成绩存放在二维字符数组和二维整型数组中然后计算每个人的总分和平均分最后输出排序后的名次。这个案例把“二维整型数组”、“二维字符数组”、“数组传参”、“字符串处理”全部串起来。#include stdio.h #include string.h #define STUDENTS 5 #define SUBJECTS 3 #define NAME_LEN 20 // 计算某个学生的总分参数是二维整型数组的行指针 int student_total(int scores[][SUBJECTS], int row) { int sum 0; for (int j 0; j SUBJECTS; j) { sum scores[row][j]; } return sum; } // 简单选择排序按总分降序同时调整姓名顺序 void sort_by_total(char names[][NAME_LEN], int scores[][SUBJECTS], int n) { for (int i 0; i n - 1; i) { int max_idx i; for (int j i 1; j n; j) { if (student_total(scores, j) student_total(scores, max_idx)) { max_idx j; } } if (max_idx ! i) { // 交换姓名 char tmp_name[NAME_LEN]; snprintf(tmp_name, sizeof(tmp_name), %s, names[i]); snprintf(names[i], NAME_LEN, %s, names[max_idx]); snprintf(names[max_idx], NAME_LEN, %s, tmp_name); // 交换成绩 for (int k 0; k SUBJECTS; k) { int tmp scores[i][k]; scores[i][k] scores[max_idx][k]; scores[max_idx][k] tmp; } } } } int main() { char names[STUDENTS][NAME_LEN] {0}; int scores[STUDENTS][SUBJECTS] {0}; for (int i 0; i STUDENTS; i) { printf(输入第%d个学生的姓名: , i 1); fgets(names[i], NAME_LEN, stdin); names[i][strcspn(names[i], \n)] 0; printf(输入%s的三科成绩空格分隔: , names[i]); scanf(%d %d %d, scores[i][0], scores[i][1], scores[i][2]); getchar(); // 清掉scanf后遗留的换行符否则影响下次fgets } sort_by_total(names, scores, STUDENTS); printf(\n 成绩排名 \n); for (int i 0; i STUDENTS; i) { int total student_total(scores, i); printf(第%d名: %s总分: %d平均分: %.1f\n, i 1, names[i], total, total / (float)SUBJECTS); } return 0; }这里的核心细节值得单独说第一scanf和fgets混用时要手动清换行。如果你写完成绩按回车那个换行符会留在输入缓冲区下一次fgets直接读到空字符串。这就是为什么我在scanf之后加了一个getchar()。这个坑在控制台程序里几乎是必踩的很多人的代码表现是“第一次能输入第二次姓名自动跳过”罪魁祸首就是这个。第二snprintf交换字符串比strcpy安全。虽然这里NAME_LEN是20字符串长度也都小于20用strcpy不会出问题但用snprintf能防止未来某天真出现超长字符串时发生缓冲区溢出。多写一个参数换一份安心。第三选择排序交换数据时姓名和成绩必须一起交换。很多人排序时只排成绩最后输出名次和姓名对应不上全乱套。数据一致性是这类统计程序最容易忽略的地方解决方案就是结构体封装但在纯数组练习里同步交换两套数据结构也是必须掌握的技能。这个程序的运行效果我这里用一组模拟数据说明输入第1个学生的姓名: Alice 输入Alice的三科成绩空格分隔: 85 90 78 输入第2个学生的姓名: Bob 输入Bob的三科成绩空格分隔: 92 88 95 输入第3个学生的姓名: Charlie 输入Charlie的三科成绩空格分隔: 70 75 80 输入第4个学生的姓名: Diana 输入Diana的三科成绩空格分隔: 60 88 92 输入第5个学生的姓名: Eve 输入Eve的三科成绩空格分隔: 98 100 97 成绩排名 第1名: Eve总分: 295平均分: 98.3 第2名: Bob总分: 275平均分: 91.7 第3名: Alice总分: 253平均分: 84.3 第4名: Diana总分: 240平均分: 80.0 第5名: Charlie总分: 225平均分: 75.08. 常用工具与调试技巧8.1 把数组内容快速打印出来调试数组问题时第一步永远是“看清楚里面到底存了什么”。C语言没有内置的数组打印函数写一个调试用的函数花不了几分钟void print_int_array(const int arr[], int n) { for (int i 0; i n; i) { printf(%d , arr[i]); } printf(\n); }打印字符数组直接用printf(%s\n, str)但如果怀疑字符串中可能有乱码或没正确以\0结尾改用按字符打印更靠谱for (int i 0; i 20; i) { printf(%02X , (unsigned char)str[i]); // 以十六进制打印每一个字节 } printf(\n);这样你能直接看到数据里有没有预期的\0十六进制的00有没有意外混入的ASCII码不会因为字符串函数在错误位置停下而误判数据。8.2 利用AddressSanitizer揪出越界如果你在Linux或macOS上做C/C开发强烈建议编译时加上-fsanitizeaddress。这是目前检测数组越界、缓冲区溢出最有效的工具之一能在程序越界访问的瞬间就报告出错的源码行和调用栈。gcc -g -fsanitizeaddress -o test test.c ./test一旦出现越界错误输出里会明确告诉你是“heap-buffer-overflow”还是“stack-buffer-overflow”并标出访问的地址位于哪个变量附近。我早期排查一个极其隐蔽的数组写越界bug靠的就是这个工具省了两天人工排查时间。如果你还在用纯gdb单步走查数组内容建议赶紧试一下这个方案体验完全是另一个世界。手机上装个Termux就能编译运行门槛没有想象中高。8.3 用调试器查看复杂二维数组在VS Code或Visual Studio里打断点调试二维数组直接看监视窗口可能显示得很乱。一个实用的技巧是在监视里添加表达式arr[0][0],10部分调试器会按“数组元素0到10”的方式显示但这依赖具体工具版本。更通用的做法是写一个临时的遍历循环把数组内容打印到控制台配合断点在循环后面一目了然。8.4 检查逻辑错误的“橡皮鸭法”如果你发现数组内容打印出来不对但又看不出哪儿错我建议你把代码逻辑一步步用中文描述给别人听“这里我把a[i][j]当成第i行第j列先遍历行再遍历列”说着说着通常自己就会发现某个循环边界写错了。这个方法听起来玄学但实际效果很好。原因很简单我们读自己代码时容易惯性思维说出口反而能跳出定势。9. 数组学习的后续进阶方向学完一维和二维数组后你已经掌握C语言数据存储的基石。接下来的路线我建议按这几个方向推进第一动态数组。用malloc和realloc在运行时创建数组理解堆内存和栈内存的区别。动态数组是日后使用C/C开发任何实际项目的基础几乎绕不过去。第二字符串处理函数族。strlen、strcpy、strcat、strcmp、strchr、strstr的原理和边界情况每个都值得亲手实现一遍。字符数组是微控制器嵌入式开发中最高频的数据结构字符串解析做得好很多问题都不再是问题。第三C的std::vector和std::string。如果你转C现代C项目已经很少直接使用裸数组和裸字符指针标准库容器帮你管理内存、提供越界检查。但理解裸数组的原理能让你在遇到性能瓶颈时知道问题出在哪也能明白为什么std::vector比裸数组更安全却不一定更快。第四数组与算法的黄金组合。排序冒泡、插入、快排、查找顺序、二分、前缀和、滑动窗口、树状数组这些经典算法几乎都以数组作为载体。热搜里的“树状数组模板”本身就是基于数组实现的一种高级数据结构如果你把数组的连续性和下标公式理解透了学树状数组会非常轻松。第五多维数组的更深入应用。三维数组在多通道图像中很常见比如char img[height][width][3]存RGB三通道二维数组本身又是矩阵运算的载体在机器学习、图形学中到处都是。理解“行主序”这个内存布局习惯能帮你和很多图像处理库对接时少踩半天的坑。10. 写在最后的实操心得数组表面上是语法问题本质上还是内存问题。我写了十来年代码回头看自己在教科书上划过的重点数组名、下标、越界、传参退化每一个知识点最后都能在真实项目的崩溃日志里找到对应案例。尤其是二维数组传参我在面试候选人和带新人的时候反复讲过无数次因为一旦工程里图像数据、矩阵数据都用二维数组承载传参写错一列各个模块之间交换数据的接口就全拧了。我的体会是学数组没有窍门需要的不是你背下多少种写法而是亲手把每一个示例敲一遍然后故意弄坏几个地方看看结果。比如把for (int i 0; i 5; i)的边界改成i 5观察程序是崩溃还是出现奇怪数据把字符串数组去掉\0看看strlen能输出多少把二维数组按列遍历看看效率是不是真的变差。这些问题自己亲手试过一次记忆深刻程度远超过看十遍教程。最后再分享一个小技巧写任何涉及数组的代码前先花十秒钟想一想“这个数组多大的数据会让它失效”。比如缓冲区定到20传19个字符的字符串时会不会溢出二维数组列数写死4传5列的数据会不会越界排序前和排序后的数据一致性是否存在断链。把这些边界条件养成肌肉记忆你在写的就已经不是“练习题”了而是真正可以交付的工程代码。