说到数组很多刚接触编程的朋友第一反应是这不就是“一排抽屉”吗放几个数、取几个数挺简单的。可真到了写代码的时候一维、二维、整型、字符型混在一起再加上指针、传参、初始化这些概念翻车概率一点都不低。我做了这么多年C/C相关的开发也带过不少新人发现数组这块看着基础坑却一个接一个越界、字符串结尾符丢失、二维数组传参退化、字符数组和字符串指针搞混。今天就专门把一维和二维数组、整型和字符型这四类组合一次性讲透配合实操代码和排查经验希望能帮你在考试、刷题、工作里少踩点坑。1. 数组的本质先理解内存布局再写代码1.1 数组不是“可以存多个值的变量”很多人把数组理解成“一个大变量里面装了好几个值”这个说法容易误导。数组的本质是一段连续的内存空间通过下标索引访问其中的元素。关键在于“连续”这两个字——这意味着数组的每个元素之间没有空隙地址是按顺序排列的。定义一个数组int a[5];这行代码做了两件事在栈上或全局区申请了5个int大小的连续空间并且把这段空间的起始地址和一个符号a绑定。在C/C中a本身不是变量它是一个地址常量表示第0个元素的地址。所以数组名不能像普通变量那样被赋值或自增。从这个角度看数组更像是一块固定大小的地皮地皮上画好了等宽的格子每个格子放一个元素。格子的宽度由元素类型决定格子的数量由数组大小决定。1.2 数组名、首地址和下标运算的关系a[i]这个表达式编译器会翻译成*(a i)。因为a是首地址i是偏移量指针算术运算时偏移量会自动乘以元素大小。也就是说a[2]取的是“从首地址往后数2个元素”的位置上的值而不是单纯往地址上加2个字节。在实际调试中这个区别直接影响你对内存地址的预判。比如int a[5] {10, 20, 30, 40, 50}; printf(%p\n, a); // 首地址假设是0x100 printf(%p\n, a[2]); // 0x10832位int占4字节 printf(%p\n, a 2); // 也是0x108所以a[i]和*(ai)等价。理解这一点后再看二维数组就不会被“矩阵”这个概念绑架。2. 一维数组整型与字符型的核心差异2.1 整型一维数组的定义与初始化整型数组是最常见的数组形式。定义时有几种初始化方式效果差异很大。int b[5] {1, 2, 3}; // 剩余元素补0 int c[5] {0}; // 全部初始化为0 int d[] {1, 2, 3, 4, 5}; // 由初始化列表自动推导大小 int e[5]; // 未初始化局部变量为随机值int b[5] {1, 2, 3}这种写法很多人以为只有前三个元素有值后面三个是“空”的。其实C语言没有“空”的概念剩余位置会被自动置为0。所以{1,2,3}等价于{1,2,3,0,0}。int e[5]如果不初始化局部数组里是上一次栈帧留下的残值直接使用会得到不确定结果。这是个非常隐蔽的bug来源——每次运行表现还不一样有时候碰巧是0有时候是垃圾值。业界建议能初始化就初始化哪怕只是{0}至少能保证可预测。2.2 字符型一维数组字符串的特殊性字符数组稍微特殊一点因为它经常和字符串混在一起。准确说字符串是字符数组的一种特例特例在于它必须以\0结尾。这个结尾符是判断字符串到哪里结束的唯一依据。char s1[6] {h, e, l, l, o, \0}; char s2[6] hello; // 等价于上面 char s3[] hello; // 自动推导为6个字节包含\0 char s4[5] hello; // 错误放不下结尾符注意char s4[5] hello数组长度是5但字符串“hello”实际需要6字节5个字符1个\0。编译器通常不会报错只是\0没地方放于是被丢掉。后续使用strlen(s4)可能会读到相邻内存甚至越界这是一个经典坑。统计字符数组长度时sizeof(s3)结果是6包含结尾符strlen(s3)结果是5不含结尾符。很多初学者混淆这两个值导致申请缓冲区时少了一个字节。正确的缓冲区大小应该是“字符串长度1”。2.3 字符数组与字符指针看起来一样本质不同char a[] hello和char *p hello在写法上很接近但内存位置完全不同。数组a是一块可修改的栈内存p指向的字符串常量位于只读区尝试p[0] H会导致运行时错误在某些平台上是段错误。我见过不少人把这两种混用尤其在函数传参时。数组作为函数参数会退化为指针但前提是你明确知道它指向的内存可写。如果传入的是字符串常量地址函数内部修改就会崩溃。建议定义时养成习惯需要修改内容务必用字符数组只是读取内容可以用字符指针。3. 二维数组行列概念与实际内存存储3.1 二维数组的定义与初始化二维数组在逻辑上是“表格”在内存里其实还是一段连续的一维空间。定义方式int matrix[3][4] { {1, 2, 3, 4}, {5, 6, 7, 8}, {9, 10, 11, 12} };这里的matrix[3][4]代表3行4列一共12个int元素。内存存储顺序是行优先先存第0行全部元素再存第1行以此类推。所以matrix[1][2]实际上是第6个元素0行4个1行前2个地址偏移是6个int大小。初始化时有个容易忽略的点如果使用连续初始化列表比如int m[3][4] {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12};这种写法完全等价于按行展开。对于大矩阵这种初始化可读性差容易数错元素我还是建议嵌套花括号。3.2 二维数组的地址与指针关系二维数组名matrix的类型是int (*)[4]指向含有4个int的数组的指针不是int*。所以printf(%p\n, matrix); // 首行首地址 printf(%p\n, matrix 1); // 第1行首地址偏移4个int大小 printf(%p\n, *(matrix 1)); // 第1行第0列的地址等同于matrix[1]matrix 1和*(matrix 1)在数值上可能相同都是第1行的起始地址但类型不同不能混用。这直接影响到二维数组传参。3.3 二维字符数组字符串数组的底层实现二维字符数组最典型的应用是存多个字符串比如词典、名单、错误消息列表。char names[3][10] { Alice, Bob, Charlie };这里names[3][10]表示3行每行最多能存9个字符加1个结尾符。问题是“Charlie”正好7个字符可以放下但如果某个字符串长度超过9就会被截断甚至导致结尾符丢失。二维字符数组在内存中占用的是固定大小3行×10字节30字节不管实际字符串多短都占满。优点是内存连续、访问快、修改方便缺点是浪费空间且字符串长度不统一时不好处理。3.4 指针数组与二维字符数组的对比热搜词里有“指针数组”这个和二维字符数组经常被拿出来对比。指针数组的定义是char *names[3] { Alice, Bob, Charlie };names是数组数组元素是char*指针每个指针指向一个字符串常量。内存占用上names本身只占3个指针大小24字节64位系统下字符串常量另存于只读区。优点是灵活不浪费空间缺点是字符串内容不可修改且每个指针指向的内存可能不连续。如果字符串内容需要运行时动态变化比如用户输入指针数组通常配合动态内存分配使用这就是后面要讲的动态数组的基础。4. 数组的进阶应用与常见操作4.1 数组去重整型数组的经典算法数组去重是面试和笔试常客。最简单的方法是新开一个临时数组遍历原数组判断当前元素在临时数组中是否已存在。int unique(int src[], int n, int dst[]) { int k 0; for (int i 0; i n; i) { int j; for (j 0; j k; j) { if (dst[j] src[i]) { break; } } if (j k) { dst[k] src[i]; } } return k; // 返回去重后的长度 }这种做法时间复杂度是O(n^2)适合数据量小、不要求排序的场景。如果数据量很大且有排序条件可以先排序再去重或者用哈希表把时间复杂度降到O(n)。针对竞赛或笔试场景我对新人的建议是先确定数据范围再去选择算法不要一上来就写哈希白白增加代码复杂度。4.2 数组切片Python与C/C的思路转换热搜词里有“python数组切片”这个在C/C里没有直接语法但理解需求很关键。Python中arr [1, 2, 3, 4, 5] slice arr[1:4] # [2, 3, 4]等价的C语言写法需要手动指定起始位置和长度int arr[5] {1, 2, 3, 4, 5}; int slice[3]; for (int i 0; i 3; i) { slice[i] arr[1 i]; }C语言里没有“切片对象”的概念只有“指针长度”的组合。在传参或操作时可以传递arr 1和长度3来代表切片。理解这个对应关系后游走于Python和C/C之间就不会觉得“切片”神秘。4.3 动态数组与可变数组突破固定大小的限制C语言原生的数组大小在编译期是固定的。要实现“可变长度”的数组必须用malloc/realloc动态管理内存。int capacity 8; int count 0; int *arr (int*)malloc(capacity * sizeof(int)); // 插入元素 void append(int *arr, int count, int capacity, int value) { if (count capacity) { capacity * 2; arr (int*)realloc(arr, capacity * sizeof(int)); } arr[count] value; }日常开发中这种“动态数组”其实就是C里std::vector的底层实现逻辑。每次扩容通常翻倍减少realloc的调用次数。因为realloc可能搬动内存地址所以原指针变量需要更新。动态数组最大的风险是内存泄漏和悬空指针。建议在确定不用后及时free并把指针置为NULL。C中直接用std::vector显然更安全但理解底层的扩容思想对排查内存问题有很大帮助。4.4 统计整型数字中位为1的个数热搜词里有一条“c 统计整型中位是1的个数”这其实是位运算与数组结合的常见题。如果给一个整数数组要统计每个元素二进制表示中1的个数可以用查表法int countOnes(int n) { int count 0; while (n) { n (n - 1); // 清除最低位的1 count; } return count; }对于整个数组循环调用即可。n (n-1)这个技巧比一位一位右移更高效因为循环次数等于1的个数整数中有多少个1就循环多少次。4.5 循环队列数组与数据结构408考题热搜词还有“假设以数组q[m]存放循环队列中的元素同时以rear和length分别指示环形队列中的队...”这是数据结构“循环队列”的经典考法。通过rear和length判断队空、队满、元素个数。#define M 10 int q[M]; int rear 0, length 0; int head_index (rear - length M) % M;关键在于利用取模运算实现“环形回绕”。这本质上是一维数组的循环复用。遇到这类型题我建议先画出数组的环形图再确定front(rear-lengthM)%M的关系而不是硬背公式。5. 常见问题与排查技巧实录5.1 数组越界最隐蔽也最致命的错误数组越界在编译阶段不报错运行时才可能崩溃或产生随机结果。比如int a[3] {1, 2, 3}; for (int i 0; i 3; i) { a[i] i; }当i3时写入位置已经超出数组可能覆盖相邻变量。这种bug的可怕之处在于它可能运行正常好几次直到某次恰好破坏了关键数据才爆发。排查越界问题我建议用两招一是编译时开启地址消毒器比如gcc -fsanitizeaddress能精确定位越界行二是在循环、递归中坚持“用小于号而不是小于等于号”写循环边界并且对动态高度警惕。5.2 字符数组结尾符丢失char buf[5] hello在编译时不报错但运行printf(%s, buf)时程序会一直往后读直到碰到一个\0为止可能打印出奇怪字符甚至崩溃。这也是很多新手在strcpy、sprintf、strcat时缓冲区溢出的根源。排查技巧定义字符数组时明确区分“缓冲区大小”和“字符串长度”。缓冲区大小 字符串最大长度 1。如果看到strcpy之后的printf输出乱码优先检查目标数组有没有为\0留位置。5.3 二维数组传参为什么函数内访问不到二维数组作为参数传递时第二维必须明确指定void printMatrix(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); } }很多人问为什么不写int m[3][4]因为第一维大小不影响地址计算第二维大小才是每行的步长。如果函数参数只写int m[][]编译器无法确定每行从哪里开始直接编译失败。还有更复杂的场景如果你想在函数内操作一个动态二维数组通过int**传入那和二维数组传参的类型并不兼容两者在内存布局上完全不一样。int**实际上是一个指针数组而不是连续矩阵。这个细节面试中经常被拿出来考。5.4 数组初始化的常见误区我总结过几个高频初始化错误写法问题正确做法int a[5]; a[5] {0};a[5]越界且不能给整个数组赋值int a[5] {0};char s[5]; s hello;数组名是地址常量不能整体赋值strcpy(s, hello)前提是空间足够int a[][] {...}二维数组至少需要指定第二维int a[][3] {...};char s[5] hello;结尾符无处存放char s[6] hello;int n; scanf(%d, n); int a[n];C标准C99才支持变长数组使用malloc动态分配5.5 数组与字符串转换时的编码陷阱热搜词里提到“数组转字符串”。在C语言中整型数组要转成拼接字符串通常用snprintfint nums[3] {12, 34, 56}; char result[64]; int pos 0; for (int i 0; i 3; i) { pos snprintf(result pos, sizeof(result) - pos, %d, nums[i]); }关键是要累加snprintf的返回值才能确保下次拼接从正确位置开始。如果不累加每次都会覆盖上次的内容。这种“指针偏移长度”的模式也是很多字符串拼接库函数的设计基础。6. 从数组到指针避不开的进阶路线6.1 指针数组和数组指针的区分热搜词里出现了“指针数组存放字符串”“c 多维数组 指针”这是无数人混淆的一组概念。指针数组int *p[5]先看p[5]是数组数组元素是int*。它存储的是5个指针。数组指针int (*p)[5]p是指针指向一个含有5个int的数组。它常用来指向二维数组的一行。怎么记看运算符优先级[]的优先级高于*。所以int *p[5]先结合[]是数组int (*p)[5]用括号强制先结合*是指针。用数组指针遍历二维数组的经典写法int matrix[2][3] {{1,2,3},{4,5,6}}; int (*row)[3] matrix; for (int i 0; i 2; i) { for (int j 0; j 3; j) { printf(%d , row[i][j]); } printf(\n); }这个写法和直接matrix[i][j]没有区别但理解了row的类型就能理解为什么二维数组传参要指定第二维。6.2 多维数组的存储规律行优先三维数组int a[2][3][4]在内存中也是线性的。下标变化规律是“最左边下标变化最慢最右边下标变化最快”。也就是说a[i][j][k]中k的地址连续变化占据了最紧密的空间。这个规律对缓存友好度有直接影响。遍历多维数组时如果按行优先顺序访问内层循环跑最后一维缓存命中率高得多。反之如果在内层循环跑最左下标性能可能差一个数量级。在用大数组做矩阵运算时这个性能差异非常明显。7. 数组练习判断两个数组是否同构热搜词里有“是否同构”题目描述这是最近常见的一道练习题。题目大体是有两个长度相同的数组A和B如果存在一个整数映射关系使得A中相同元素的对应位置在B中也保持相同关系则两个数组同构。简化一下就是“A中相等的位置B中也相等A中不等的位置B中也不等”。一个经典解法是用数组模拟映射关系bool isIsomorphic(int *a, int *b, int n) { int mapA[256] {0}; int mapB[256] {0}; for (int i 0; i n; i) { if (mapA[a[i]] 0 mapB[b[i]] 0) { mapA[a[i]] b[i]; mapB[b[i]] a[i]; } else if (mapA[a[i]] ! b[i] || mapB[b[i]] ! a[i]) { return false; } } return true; }注意这里a[i]和b[i]被当作“字符”或“小范围整数”使用数组下标本身利用了“一维数组的随机访问”特性。这种用数组下标建立映射的技巧在算法题里极其常见比如统计频率、哈希替代、桶排序等。8. 工具推荐与调试心得8.1 借助调试器观察数组内存遇到数组问题我第一反应不是加printf而是用调试器直接查看内存。在GDB或VS的调试器中可以查看数组的全部分量GDB中执行p *arr5可以查看从arr开始连续5个元素的值。对于字符数组x/s arr能以字符串形式查看内存内容。对于二维数组可以用p matrix直接打印整个矩阵前提是调试器能识别维度。这种“直接看内存”的方法比打印循环判断快得多尤其是排查越界和结尾符问题时能立刻发现相邻地址被改了。8.2 使用静态检查工具提前发现数组越界代码写完不急着运行先跑一遍静态分析工具比如cppcheck或启用了-Wall -Wextra的编译器警告。虽然不能抓到所有越界错误但能发现某些明显的候选问题比如数组大小不够、sprintf使用不当等。在我参与的项目里这些工具至少省掉了一半的调试时间。8.3 动态数组内存泄漏检测使用malloc动态分配数组时建议开启valgrindvalgrind --leak-checkfull ./programvalgrind能精确报告哪行申请的内存没有释放还能检测越界访问和非法读取。处理大规模数据的动态数组时这个工具几乎是标配。9. 实战中的个人体会写了这么多年数组相关代码我最深的体会是数组的核心不是语法而是内存思维。能画出每个变量在内存中的大致位置就能解释几乎所有数组问题。刚开始学的时候我也是死记“a[i]就是第几个元素”“二维数组就是表格”但真正让我开窍的是在一次排查缓冲区溢出时用调试器盯着内存看发现a[5]写入的那个位置竟然是一个完全无关的相邻变量。从那以后我写循环边界时会下意识计算偏移量看到字符数组时会先确认结尾符位置。还有一点建议多练多编译。数组这个知识点光看文章是不够的至少要手写一遍“整型一维数组去重”“二维字符数组排序”“动态数组扩容”这几个经典操作。代码是写出来的不是看出来的。遇到想不明白的地址关系就在纸上画一个矩形格子图从第0个元素开始编地址比强行抽象管用得多。// 最后留一道小测试下面代码的输出是什么 char str[10]; strcpy(str, Hello); printf(%zu\n, sizeof(str)); printf(%zu\n, strlen(str));如果你能立刻说出答案是10和5那这篇内容对你来说就走通了如果你犹豫了建议把第2节再看一遍。字符数组的结尾符真的值得多花十分钟。
说到数组很多刚接触编程的朋友第一反应是这不就是“一排抽屉”吗放几个数、取几个数挺简单的。可真到了写代码的时候一维、二维、整型、字符型混在一起再加上指针、传参、初始化这些概念翻车概率一点都不低。我做了这么多年C/C相关的开发也带过不少新人发现数组这块看着基础坑却一个接一个越界、字符串结尾符丢失、二维数组传参退化、字符数组和字符串指针搞混。今天就专门把一维和二维数组、整型和字符型这四类组合一次性讲透配合实操代码和排查经验希望能帮你在考试、刷题、工作里少踩点坑。1. 数组的本质先理解内存布局再写代码1.1 数组不是“可以存多个值的变量”很多人把数组理解成“一个大变量里面装了好几个值”这个说法容易误导。数组的本质是一段连续的内存空间通过下标索引访问其中的元素。关键在于“连续”这两个字——这意味着数组的每个元素之间没有空隙地址是按顺序排列的。定义一个数组int a[5];这行代码做了两件事在栈上或全局区申请了5个int大小的连续空间并且把这段空间的起始地址和一个符号a绑定。在C/C中a本身不是变量它是一个地址常量表示第0个元素的地址。所以数组名不能像普通变量那样被赋值或自增。从这个角度看数组更像是一块固定大小的地皮地皮上画好了等宽的格子每个格子放一个元素。格子的宽度由元素类型决定格子的数量由数组大小决定。1.2 数组名、首地址和下标运算的关系a[i]这个表达式编译器会翻译成*(a i)。因为a是首地址i是偏移量指针算术运算时偏移量会自动乘以元素大小。也就是说a[2]取的是“从首地址往后数2个元素”的位置上的值而不是单纯往地址上加2个字节。在实际调试中这个区别直接影响你对内存地址的预判。比如int a[5] {10, 20, 30, 40, 50}; printf(%p\n, a); // 首地址假设是0x100 printf(%p\n, a[2]); // 0x10832位int占4字节 printf(%p\n, a 2); // 也是0x108所以a[i]和*(ai)等价。理解这一点后再看二维数组就不会被“矩阵”这个概念绑架。2. 一维数组整型与字符型的核心差异2.1 整型一维数组的定义与初始化整型数组是最常见的数组形式。定义时有几种初始化方式效果差异很大。int b[5] {1, 2, 3}; // 剩余元素补0 int c[5] {0}; // 全部初始化为0 int d[] {1, 2, 3, 4, 5}; // 由初始化列表自动推导大小 int e[5]; // 未初始化局部变量为随机值int b[5] {1, 2, 3}这种写法很多人以为只有前三个元素有值后面三个是“空”的。其实C语言没有“空”的概念剩余位置会被自动置为0。所以{1,2,3}等价于{1,2,3,0,0}。int e[5]如果不初始化局部数组里是上一次栈帧留下的残值直接使用会得到不确定结果。这是个非常隐蔽的bug来源——每次运行表现还不一样有时候碰巧是0有时候是垃圾值。业界建议能初始化就初始化哪怕只是{0}至少能保证可预测。2.2 字符型一维数组字符串的特殊性字符数组稍微特殊一点因为它经常和字符串混在一起。准确说字符串是字符数组的一种特例特例在于它必须以\0结尾。这个结尾符是判断字符串到哪里结束的唯一依据。char s1[6] {h, e, l, l, o, \0}; char s2[6] hello; // 等价于上面 char s3[] hello; // 自动推导为6个字节包含\0 char s4[5] hello; // 错误放不下结尾符注意char s4[5] hello数组长度是5但字符串“hello”实际需要6字节5个字符1个\0。编译器通常不会报错只是\0没地方放于是被丢掉。后续使用strlen(s4)可能会读到相邻内存甚至越界这是一个经典坑。统计字符数组长度时sizeof(s3)结果是6包含结尾符strlen(s3)结果是5不含结尾符。很多初学者混淆这两个值导致申请缓冲区时少了一个字节。正确的缓冲区大小应该是“字符串长度1”。2.3 字符数组与字符指针看起来一样本质不同char a[] hello和char *p hello在写法上很接近但内存位置完全不同。数组a是一块可修改的栈内存p指向的字符串常量位于只读区尝试p[0] H会导致运行时错误在某些平台上是段错误。我见过不少人把这两种混用尤其在函数传参时。数组作为函数参数会退化为指针但前提是你明确知道它指向的内存可写。如果传入的是字符串常量地址函数内部修改就会崩溃。建议定义时养成习惯需要修改内容务必用字符数组只是读取内容可以用字符指针。3. 二维数组行列概念与实际内存存储3.1 二维数组的定义与初始化二维数组在逻辑上是“表格”在内存里其实还是一段连续的一维空间。定义方式int matrix[3][4] { {1, 2, 3, 4}, {5, 6, 7, 8}, {9, 10, 11, 12} };这里的matrix[3][4]代表3行4列一共12个int元素。内存存储顺序是行优先先存第0行全部元素再存第1行以此类推。所以matrix[1][2]实际上是第6个元素0行4个1行前2个地址偏移是6个int大小。初始化时有个容易忽略的点如果使用连续初始化列表比如int m[3][4] {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12};这种写法完全等价于按行展开。对于大矩阵这种初始化可读性差容易数错元素我还是建议嵌套花括号。3.2 二维数组的地址与指针关系二维数组名matrix的类型是int (*)[4]指向含有4个int的数组的指针不是int*。所以printf(%p\n, matrix); // 首行首地址 printf(%p\n, matrix 1); // 第1行首地址偏移4个int大小 printf(%p\n, *(matrix 1)); // 第1行第0列的地址等同于matrix[1]matrix 1和*(matrix 1)在数值上可能相同都是第1行的起始地址但类型不同不能混用。这直接影响到二维数组传参。3.3 二维字符数组字符串数组的底层实现二维字符数组最典型的应用是存多个字符串比如词典、名单、错误消息列表。char names[3][10] { Alice, Bob, Charlie };这里names[3][10]表示3行每行最多能存9个字符加1个结尾符。问题是“Charlie”正好7个字符可以放下但如果某个字符串长度超过9就会被截断甚至导致结尾符丢失。二维字符数组在内存中占用的是固定大小3行×10字节30字节不管实际字符串多短都占满。优点是内存连续、访问快、修改方便缺点是浪费空间且字符串长度不统一时不好处理。3.4 指针数组与二维字符数组的对比热搜词里有“指针数组”这个和二维字符数组经常被拿出来对比。指针数组的定义是char *names[3] { Alice, Bob, Charlie };names是数组数组元素是char*指针每个指针指向一个字符串常量。内存占用上names本身只占3个指针大小24字节64位系统下字符串常量另存于只读区。优点是灵活不浪费空间缺点是字符串内容不可修改且每个指针指向的内存可能不连续。如果字符串内容需要运行时动态变化比如用户输入指针数组通常配合动态内存分配使用这就是后面要讲的动态数组的基础。4. 数组的进阶应用与常见操作4.1 数组去重整型数组的经典算法数组去重是面试和笔试常客。最简单的方法是新开一个临时数组遍历原数组判断当前元素在临时数组中是否已存在。int unique(int src[], int n, int dst[]) { int k 0; for (int i 0; i n; i) { int j; for (j 0; j k; j) { if (dst[j] src[i]) { break; } } if (j k) { dst[k] src[i]; } } return k; // 返回去重后的长度 }这种做法时间复杂度是O(n^2)适合数据量小、不要求排序的场景。如果数据量很大且有排序条件可以先排序再去重或者用哈希表把时间复杂度降到O(n)。针对竞赛或笔试场景我对新人的建议是先确定数据范围再去选择算法不要一上来就写哈希白白增加代码复杂度。4.2 数组切片Python与C/C的思路转换热搜词里有“python数组切片”这个在C/C里没有直接语法但理解需求很关键。Python中arr [1, 2, 3, 4, 5] slice arr[1:4] # [2, 3, 4]等价的C语言写法需要手动指定起始位置和长度int arr[5] {1, 2, 3, 4, 5}; int slice[3]; for (int i 0; i 3; i) { slice[i] arr[1 i]; }C语言里没有“切片对象”的概念只有“指针长度”的组合。在传参或操作时可以传递arr 1和长度3来代表切片。理解这个对应关系后游走于Python和C/C之间就不会觉得“切片”神秘。4.3 动态数组与可变数组突破固定大小的限制C语言原生的数组大小在编译期是固定的。要实现“可变长度”的数组必须用malloc/realloc动态管理内存。int capacity 8; int count 0; int *arr (int*)malloc(capacity * sizeof(int)); // 插入元素 void append(int *arr, int count, int capacity, int value) { if (count capacity) { capacity * 2; arr (int*)realloc(arr, capacity * sizeof(int)); } arr[count] value; }日常开发中这种“动态数组”其实就是C里std::vector的底层实现逻辑。每次扩容通常翻倍减少realloc的调用次数。因为realloc可能搬动内存地址所以原指针变量需要更新。动态数组最大的风险是内存泄漏和悬空指针。建议在确定不用后及时free并把指针置为NULL。C中直接用std::vector显然更安全但理解底层的扩容思想对排查内存问题有很大帮助。4.4 统计整型数字中位为1的个数热搜词里有一条“c 统计整型中位是1的个数”这其实是位运算与数组结合的常见题。如果给一个整数数组要统计每个元素二进制表示中1的个数可以用查表法int countOnes(int n) { int count 0; while (n) { n (n - 1); // 清除最低位的1 count; } return count; }对于整个数组循环调用即可。n (n-1)这个技巧比一位一位右移更高效因为循环次数等于1的个数整数中有多少个1就循环多少次。4.5 循环队列数组与数据结构408考题热搜词还有“假设以数组q[m]存放循环队列中的元素同时以rear和length分别指示环形队列中的队...”这是数据结构“循环队列”的经典考法。通过rear和length判断队空、队满、元素个数。#define M 10 int q[M]; int rear 0, length 0; int head_index (rear - length M) % M;关键在于利用取模运算实现“环形回绕”。这本质上是一维数组的循环复用。遇到这类型题我建议先画出数组的环形图再确定front(rear-lengthM)%M的关系而不是硬背公式。5. 常见问题与排查技巧实录5.1 数组越界最隐蔽也最致命的错误数组越界在编译阶段不报错运行时才可能崩溃或产生随机结果。比如int a[3] {1, 2, 3}; for (int i 0; i 3; i) { a[i] i; }当i3时写入位置已经超出数组可能覆盖相邻变量。这种bug的可怕之处在于它可能运行正常好几次直到某次恰好破坏了关键数据才爆发。排查越界问题我建议用两招一是编译时开启地址消毒器比如gcc -fsanitizeaddress能精确定位越界行二是在循环、递归中坚持“用小于号而不是小于等于号”写循环边界并且对动态高度警惕。5.2 字符数组结尾符丢失char buf[5] hello在编译时不报错但运行printf(%s, buf)时程序会一直往后读直到碰到一个\0为止可能打印出奇怪字符甚至崩溃。这也是很多新手在strcpy、sprintf、strcat时缓冲区溢出的根源。排查技巧定义字符数组时明确区分“缓冲区大小”和“字符串长度”。缓冲区大小 字符串最大长度 1。如果看到strcpy之后的printf输出乱码优先检查目标数组有没有为\0留位置。5.3 二维数组传参为什么函数内访问不到二维数组作为参数传递时第二维必须明确指定void printMatrix(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); } }很多人问为什么不写int m[3][4]因为第一维大小不影响地址计算第二维大小才是每行的步长。如果函数参数只写int m[][]编译器无法确定每行从哪里开始直接编译失败。还有更复杂的场景如果你想在函数内操作一个动态二维数组通过int**传入那和二维数组传参的类型并不兼容两者在内存布局上完全不一样。int**实际上是一个指针数组而不是连续矩阵。这个细节面试中经常被拿出来考。5.4 数组初始化的常见误区我总结过几个高频初始化错误写法问题正确做法int a[5]; a[5] {0};a[5]越界且不能给整个数组赋值int a[5] {0};char s[5]; s hello;数组名是地址常量不能整体赋值strcpy(s, hello)前提是空间足够int a[][] {...}二维数组至少需要指定第二维int a[][3] {...};char s[5] hello;结尾符无处存放char s[6] hello;int n; scanf(%d, n); int a[n];C标准C99才支持变长数组使用malloc动态分配5.5 数组与字符串转换时的编码陷阱热搜词里提到“数组转字符串”。在C语言中整型数组要转成拼接字符串通常用snprintfint nums[3] {12, 34, 56}; char result[64]; int pos 0; for (int i 0; i 3; i) { pos snprintf(result pos, sizeof(result) - pos, %d, nums[i]); }关键是要累加snprintf的返回值才能确保下次拼接从正确位置开始。如果不累加每次都会覆盖上次的内容。这种“指针偏移长度”的模式也是很多字符串拼接库函数的设计基础。6. 从数组到指针避不开的进阶路线6.1 指针数组和数组指针的区分热搜词里出现了“指针数组存放字符串”“c 多维数组 指针”这是无数人混淆的一组概念。指针数组int *p[5]先看p[5]是数组数组元素是int*。它存储的是5个指针。数组指针int (*p)[5]p是指针指向一个含有5个int的数组。它常用来指向二维数组的一行。怎么记看运算符优先级[]的优先级高于*。所以int *p[5]先结合[]是数组int (*p)[5]用括号强制先结合*是指针。用数组指针遍历二维数组的经典写法int matrix[2][3] {{1,2,3},{4,5,6}}; int (*row)[3] matrix; for (int i 0; i 2; i) { for (int j 0; j 3; j) { printf(%d , row[i][j]); } printf(\n); }这个写法和直接matrix[i][j]没有区别但理解了row的类型就能理解为什么二维数组传参要指定第二维。6.2 多维数组的存储规律行优先三维数组int a[2][3][4]在内存中也是线性的。下标变化规律是“最左边下标变化最慢最右边下标变化最快”。也就是说a[i][j][k]中k的地址连续变化占据了最紧密的空间。这个规律对缓存友好度有直接影响。遍历多维数组时如果按行优先顺序访问内层循环跑最后一维缓存命中率高得多。反之如果在内层循环跑最左下标性能可能差一个数量级。在用大数组做矩阵运算时这个性能差异非常明显。7. 数组练习判断两个数组是否同构热搜词里有“是否同构”题目描述这是最近常见的一道练习题。题目大体是有两个长度相同的数组A和B如果存在一个整数映射关系使得A中相同元素的对应位置在B中也保持相同关系则两个数组同构。简化一下就是“A中相等的位置B中也相等A中不等的位置B中也不等”。一个经典解法是用数组模拟映射关系bool isIsomorphic(int *a, int *b, int n) { int mapA[256] {0}; int mapB[256] {0}; for (int i 0; i n; i) { if (mapA[a[i]] 0 mapB[b[i]] 0) { mapA[a[i]] b[i]; mapB[b[i]] a[i]; } else if (mapA[a[i]] ! b[i] || mapB[b[i]] ! a[i]) { return false; } } return true; }注意这里a[i]和b[i]被当作“字符”或“小范围整数”使用数组下标本身利用了“一维数组的随机访问”特性。这种用数组下标建立映射的技巧在算法题里极其常见比如统计频率、哈希替代、桶排序等。8. 工具推荐与调试心得8.1 借助调试器观察数组内存遇到数组问题我第一反应不是加printf而是用调试器直接查看内存。在GDB或VS的调试器中可以查看数组的全部分量GDB中执行p *arr5可以查看从arr开始连续5个元素的值。对于字符数组x/s arr能以字符串形式查看内存内容。对于二维数组可以用p matrix直接打印整个矩阵前提是调试器能识别维度。这种“直接看内存”的方法比打印循环判断快得多尤其是排查越界和结尾符问题时能立刻发现相邻地址被改了。8.2 使用静态检查工具提前发现数组越界代码写完不急着运行先跑一遍静态分析工具比如cppcheck或启用了-Wall -Wextra的编译器警告。虽然不能抓到所有越界错误但能发现某些明显的候选问题比如数组大小不够、sprintf使用不当等。在我参与的项目里这些工具至少省掉了一半的调试时间。8.3 动态数组内存泄漏检测使用malloc动态分配数组时建议开启valgrindvalgrind --leak-checkfull ./programvalgrind能精确报告哪行申请的内存没有释放还能检测越界访问和非法读取。处理大规模数据的动态数组时这个工具几乎是标配。9. 实战中的个人体会写了这么多年数组相关代码我最深的体会是数组的核心不是语法而是内存思维。能画出每个变量在内存中的大致位置就能解释几乎所有数组问题。刚开始学的时候我也是死记“a[i]就是第几个元素”“二维数组就是表格”但真正让我开窍的是在一次排查缓冲区溢出时用调试器盯着内存看发现a[5]写入的那个位置竟然是一个完全无关的相邻变量。从那以后我写循环边界时会下意识计算偏移量看到字符数组时会先确认结尾符位置。还有一点建议多练多编译。数组这个知识点光看文章是不够的至少要手写一遍“整型一维数组去重”“二维字符数组排序”“动态数组扩容”这几个经典操作。代码是写出来的不是看出来的。遇到想不明白的地址关系就在纸上画一个矩形格子图从第0个元素开始编地址比强行抽象管用得多。// 最后留一道小测试下面代码的输出是什么 char str[10]; strcpy(str, Hello); printf(%zu\n, sizeof(str)); printf(%zu\n, strlen(str));如果你能立刻说出答案是10和5那这篇内容对你来说就走通了如果你犹豫了建议把第2节再看一遍。字符数组的结尾符真的值得多花十分钟。
)
