如果让我从算法题里挑一道最容易被新手忽略、却又能把基本功暴露得干干净净的题我一定会选“数组反转”。题目本身短得不能再短把数组里的元素颠倒存放比如 [1,2,3,4,5] 变成 [5,4,3,2,1]。很多人在学编程第一周就能写出这个逻辑但真要回答清楚“为什么这样做是高效的”“边界条件怎么处理”“在其他语言里有哪些坑”很多人又会卡住。这篇内容主要面向两个群体一是刚开始刷算法题、准备笔试面试的开发者二是正在学数组、指针、递归这类基础概念的学生。我会从最朴素的实现开始讲到双指针、递归再配合 C/C、Java、Python、JavaScript 的实际代码把“反转”这件事从里到外说透。1. 题面拆解反转存放到底在考什么1.1 “反转存放”与“逆序输出”的区别“算法1-3~4”这种编号常见于信息学竞赛入门教材或者算法习题集。题干往往只有一句话但话里有三个关键点算法、数组、反转。算法是手段数组是对象反转是目标。很多人的第一反应是写一个 for 循环从数组末尾往开头打印但这样做其实只是“逆序输出”数组本身并没有发生任何变化。题目要求的是“反转存放”也就是说内存中的数据顺序要真的反过来原来 a[0] 是 1a[4] 是 5完成反转后 a[0] 必须是 5a[4] 必须是 1数组内容彻底换了顺序。至于打印输出那只是检查结果的方式不是实现目标的方式。这个区别看起来很小却会在后面的题里埋下大坑。比如轮转数组、回文判断、字符串反转、链表反转本质上都能追溯到“是否真正修改了存储结构”这个问题上。如果一开始就习惯了“新建一个数组倒着装进去”那么遇到“原地修改、空间复杂度 O(1)”的题目时思路会非常别扭。1.2 这题为什么适合当算法第一课数组是所有编程语言里最基础的连续内存结构没有之一。索引怎么算、元素怎么访问、边界怎么控制、数据怎么交换这些底层能力全部能在一道反转题里得到练习。而且反转这道题解法丰富可以用辅助数组这是最贴近直觉的方案可以用双指针这是标准高效解还可以用递归这能帮助理解函数调用栈。一道题覆盖三个层次的解法这对新手建立“多方案选型”的意识特别有帮助。从更实际的角度看反转数组的身影会反复出现在各种场合。比如面试手写代码时面试官可能要求三分钟写出一个数组反转力扣等在线评测系统里反转相关的题目变体极多再比如考研专业课、信息学奥赛的初赛笔试也常拿这类代码填空来考下标计算。把这题吃透等于给后续一长串数组类问题打了地基。2. 动手前的思路选型三种解法背后的取舍2.1 辅助数组法最容易想到但不是最优辅助数组法是最符合直觉的方案步骤分成三步创建一个与原数组大小相同的临时数组 temp遍历原数组把 a[i] 放到 temp[n-1-i]把 temp 中的所有元素复制回原数组 a。代码如下void reverse_with_temp(int a[], int n) { int temp[n]; for (int i 0; i n; i) { temp[n - 1 - i] a[i]; } for (int i 0; i n; i) { a[i] temp[i]; } }这个方案最大的优点是直白不需要考虑交换两个变量的经典三步操作甚至不需要理解“原地”是什么意思。缺点也很明显它多开辟了一整块和原数组等大的内存而且最终要拷回去等于做了两轮循环。如果你在嵌入式环境或者内存受限的系统里处理一个很大的数组这种方案会带来不必要的内存压力。在线评测系统对内存有严格限制的题目这种写法很可能直接超出内存限额。2.2 原地双指针法标准答案双指针法是我在实际中最推荐的做法。思路是用两个下标一个指向数组开头一个指向数组末尾交换这两个位置的值然后左指针向右移动一位右指针向左移动一位直到两个指针相遇或交错。void reverse_inplace(int a[], int n) { int left 0; int right n - 1; while (left right) { int tmp a[left]; a[left] a[right]; a[right] tmp; left; right--; } }整个过程只用了几个临时变量没有额外数组空间复杂度是 O(1)。时间复杂度是 O(n)因为一共执行 n/2 次交换每次交换都是常数时间的操作。当数组长度为奇数时正中间的那个元素不需要动当数组长度为偶数时所有元素都会两两配对完成交换。这个方案无论在笔试还是实际开发中都是最稳的选择。2.3 递归法巧妙但别在生产环境用递归版本写出来很漂亮几行就能结束void reverse_recursive(int a[], int left, int right) { if (left right) { return; } int tmp a[left]; a[left] a[right]; a[right] tmp; reverse_recursive(a, left 1, right - 1); }递归的思路是把一个大问题拆成一个小问题和一次交换操作先交换首尾再反转剩下的子数组。但它的代价是递归深度会达到 n/2当数组很大时函数调用栈可能被撑爆导致栈溢出。而且每次递归都有函数调用开销实际执行效率反而不如循环。所以在工程代码里我不会用递归做这种简单的遍历操作但它适合用来理解“递归和循环是可以互相转换的”这一概念。2.4 为什么双指针方案更受青睐有人会问辅助数组版代码也简单运行结果也一样为什么非要学双指针核心原因有两个。第一是效率双指针不额外分配内存循环次数也只有辅助数组版的一半左右在超大数组场景下差别非常明显。第二是通用性双指针的收缩思想可以迁移到很多题目里比如有序数组的两数之和、链表找中间节点、回文判断等。面试官问数组反转很多时候想看的不是你能不能写出来而是你能不能讲清楚这个循环为什么这样写、边界为什么这样定、还能怎么扩展。双指针版本天然适合展开讲因为它的每一步都有明确的语义左指针管前半段右指针管后半段。3. 多语言实机操作从 C 到 JavaScript含数组初始化的坑3.1 C 语言实现数组下标、指针与长度传递C 语言版本中最容易出错的是数组长度。很多人会写出这样一个函数int get_len(int a[]) { return sizeof(a) / sizeof(a[0]); }这个方法在函数内部会得到错误结果。因为数组作为函数参数传递时会被“退化”成指向首元素的指针sizeof(a) 拿到的是指针大小而不是整个数组的字节数。所以在 C 语言里写反转函数必须把长度 n 作为一个参数传进去。这也是为什么我看热搜词里总有“c 数组”“指针数组”这类问题根子就在于对“数组名在传参时会丢失长度信息”这个特性不够熟。C 语言的数组初始化也值得多说一句int a[5] {1, 2, 3, 4, 5}; // 指定大小并初始化 int b[] {1, 2, 3, 4, 5}; // 编译器自动推断大小 int c[5] {0}; // 全部元素初始化为 0如果只写 int a[5]; 而不初始化局部数组里的值是随机值这在调试时经常让人困惑。如果用到指针数组比如 char *arr[] {hello, world}; 那反转的是 arr 中存的两个指针也就是让 arr[0] 指向 worldarr[1] 指向 hello字符串内容本身不变。把指针数组和二维字符数组区分清楚是很多人会忽略的细节。3.2 C 实现vector、std::reverse 与初始化细节C 里我更推荐用 std::vector 代替裸数组因为 vector 知道自己的长度又能自动管理内存反转代码写起来心里踏实很多#include vector #include algorithm using namespace std; void reverse_vector(vectorint nums) { int left 0; int right nums.size() - 1; while (left right) { swap(nums[left], nums[right]); left; right--; } }如果允许使用标准库甚至可以只写一行std::reverse(nums.begin(), nums.end());但我建议先能手写再去用现成的。因为很多面试或比赛环境虽然不禁止标准库但面试官为了考察基础可能会要求你“不要直接调用库函数”。另外vector 初始化也有讲究比如 vector v(5, 0); 表示创建 5 个元素全部初始化为 0vector v {1,2,3}; 则是用初始化列表赋值。很多新手会混淆 vector v(5); 和 vector v[5]; 前者是包含 5 个 int 的 vector后者是包含 5 个 vector 的数组完全是两个东西。3.3 Java 实现引用传递与 Arrays/CollectionsJava 的特点在于数组是引用类型。当你把 int[] 传给一个方法时方法内部修改数组元素原数组会被同步修改这是和 C 语言传值最大的区别。class Solution { public void reverseArray(int[] nums) { int left 0; int right nums.length - 1; while (left right) { int tmp nums[left]; nums[left] nums[right]; nums[right] tmp; left; right--; } } }Java 自带工具类里Collections.reverse() 只能作用于 List不能直接作用于 int[]。有人想通过 Arrays.asList(nums) 把数组转成 List但 asList 对基本类型数组的处理有坑int[] 会被当成一个整体对象而不是转换成 Integer 列表结果 operands 完全不是预期。所以最稳妥的还是手写双指针。如果你要复制数组注意 System.arraycopy、Arrays.copyOf 是深拷贝而 arr2 arr1 只是让两个引用指向同一块内存修改任何一个另一个也会变。这个道理放在反转题里非常重要因为在辅助数组实现中如果你在 Java 里只做了引用赋值原数组永远不会被改过来。3.4 Python/JavaScript/TypeScript 实现内置方法与手写原理Python 中反转有两种常见姿势a[::-1] 会生成一个新列表不改变原列表list.reverse() 是原地反转。如果你用切片负步长需要注意它返回的是浅拷贝对嵌套列表可能带来预期外的别名问题。JavaScript 和 TypeScript 里arr.reverse() 是原地反转并且会返回同一个数组引用这一点经常被忽略。let arr [1, 2, 3, 4, 5]; arr.reverse(); console.log(arr); // [5, 4, 3, 2, 1]如果想不改变原数组可以用 [...arr].reverse()。TypeScript 里逻辑相同只是类型标注更严格。虽然这些语言都有现成方法但我还是建议手写一遍双指针因为有些面试题明确规定“不能使用内置反转方法”这时手写能力就是救命稻草。你在这些高级语言里写双指针逻辑和 C 版本几乎一模一样只是语法更简洁这也是为什么我总说“原理通语言只是壳”。4. 复杂度与边界条件把每个细节算清楚4.1 时间复杂度为什么反转是 O(n)辅助数组版本第一次循环做了 n 次拷贝第二次循环又做了 n 次回填总操作次数是 2n大 O 级别写 O(n)。双指针版本循环执行 n/2 次每次交换包含三次赋值所以总赋值次数大约是 3n/2同样写 O(n)。从大 O 的角度看它们处于同一个量级但性能上确实有差异。尤其当数组很大时辅助数组版本不仅要多循环一轮还要申请和释放额外内存内存访问的局部性也更差整体表现会弱一些。这里有一个容易让新手迷惑的点为什么 2n 和 3n/2 最后都写成 O(n)因为大 O 复杂度描述的是“增长趋势”常数系数被忽略掉了。只要你明白了这个约定就不会对“明明循环次数不同却都叫 O(n)”感到费解。4.2 空间复杂度原地操作与辅助空间的差距空间复杂度是本题最值得抠的指标。辅助数组版本需要申请一个长度等于 n 的新数组空间复杂度 O(n)。双指针版本只用了几个固定变量空间复杂度 O(1)。递归版本即使没有显式申请数组每次递归调用也要在栈上保留状态深度 n/2 对应 O(n) 的栈空间。所以“原地修改”这个要求一出基本就只能选双指针。这也是很多算法题里的常见限制比如轮转数组的进阶要求就是空间复杂度 O(1)掌握反转数组的双指针写法等于提前拿到了解这类题的基础技能。4.3 容易踩的边界与极端输入边界条件是最容易让代码翻车的地方。先看空数组n0 时right 初始值是 -1如果直接写 while (left right) 判断条件不成立函数安全返回。但如果你在进入循环前就访问 a[right]就会发生越界。再看单元素数组n1 时left0right0while 条件不成立什么都不做结果天然正确。奇数长度和偶数长度也都安全因为循环条件是 left right中间元素在奇数长度下不会被交换。还有一个很隐蔽的坑是数组下标的计算。辅助数组版本里 temp[n-1-i] 的下标很容易被误写成 temp[n-i] 或 temp[n-1-i1]一旦越界调试起来非常烦人。建议在写这种“倒序映射”逻辑时先用手算一遍 i0、in-1 两个极值点确认下标范围在 [0, n-1] 内。这种顺手检查的习惯能帮你省下大量排查时间。5. 实战排查常见错误与速查表5.1 数组越界j 写成 n 是最常见的错我见过最多的反转代码错误就是把右指针初始值写成 n而不是 n-1。数组长度为 n 时最后一个元素的下标永远是 n-1如果从 n 开始取 a[right]第一次访问就越界。在 C 语言里这种越界不一定立刻崩溃因为你可能刚好读到数组后面的一块内存结果表现为结果乱掉、偶尔正确、偶尔错误非常难排查。所以遇到数组反转问题第一步就该检查 right 的初始化和循环里对数组的访问是否都在合法区间。5.2 空数组、单元素数组和奇数长度空数组和单元素数组是最容易忽略的两个输入。空数组 n0 时如果代码先声明 int right n - 1那么 right 为 -1但只要循环条件写成 left right 就不会进入循环代码不会崩。单元素数组 n1 时left0 且 right0循环同样不执行。有人专门在循环里加 if (n 1) return; 来提前退出这是一种防御式写法但即使不加只要坚持 left right 的判断条件结果也不会有问题。奇数长度的数组反转后最中间的元素保持原位这是题目的数学性质不是 bug。5.3 数组初始化与赋值新手最容易搞混的三件事第一件事C 语言中数组名是常量指针int a[5], b[5]; 不能直接写 a b; 要复制内容只能逐元素循环或用 memcpy。第二件事C 里 std::vector 可以直接 v1 v2; 这是深拷贝两个 vector 会互相独立。第三件事Java 里 arr1 arr2; 只是把引用复制一份两个变量指向同一个数组对象修改 arr1 等于修改 arr2。这三个差异在反转题里都有实际影响尤其是辅助数组实现时如果复制方式搞错会出现“看起来新数组改了原数组却还是老样子”的经典 bug。常见错误现象可能原因解决思路反转后结果随机或部分正确right 初始值写成 n 导致越界改为 n-1先用两个极端下标验证边界数组不变只做了引用赋值或返回值被忽略Java 检查是否真正修改元素C 检查是否传指针内存超限使用了辅助数组且数组很大改用双指针原地反转栈溢出递归实现递归深度过大换成循环实现函数内 sizeof(a) 不对数组形参退化成指针把长度作为参数传进去5.4 快速定位问题的调试技巧如果反转后看不到预期结果先别急着改逻辑。第一步打印 left、right、a[left]、a[right] 这几个中间值第二步检查循环结束条件把 left right 改成 left right或者反过来错误往往就出现在这里第三步确认你操作的数组是原数组的副本还是原数组本身。这个方法听起来简单但我实测排查效率极高。很多新人一上来就在代码里到处加日志反而把问题搞复杂。6. 反转的延伸从数组到字符串、链表与轮转数组6.1 反转字符串与回文判断字符数组的反转和整型数组反转在逻辑上完全一致无非是元素类型从 int 变成了 char。字符串反转后如果和原字符串相同这个字符串就是回文。常见写法是先反转再逐个字符比较或者只比较首尾字符。我在面试中见过不少候选人用栈或者借用额外字符串来判断回文其实双指针扫一遍就能解决空间复杂度更低。掌握了数组反转的双指针写法这个题几乎没有额外的学习成本因为核心还是那对 left 和 right 指针。6.2 局部反转法解轮转数组轮转数组是一道经典题。给定一个数组比如 [1,2,3,4,5,6,7]要求向右轮转 k3 步。最优雅的做法就是三次反转反转整个数组得到 [7,6,5,4,3,2,1]反转前 k 个元素得到 [5,6,7,4,3,2,1]反转剩余元素得到 [5,6,7,1,2,3,4]。整个过程空间复杂度 O(1)时间复杂度 O(n)。这里用的反转并不是对全数组操作一次而是分段反转。能把这种技巧看懂的人往往已经从“背代码”进入了“理解下标变换”的阶段。它的底层能力就来自数组反转的基本功。6.3 把反转思维迁移到更多算法场景反转这个操作看似简单但它培养的是两种底层意识一是“下标对称变换”二是“双指针收缩”。这两个意识会在很多算法里反复出现。比如快速排序的 partition 过程就是在数组内部做双向扫描和位置交换二分查找同样依赖 left、right 边界的不断收缩链表反转则把双指针思想搬到了不同数据结构上。很多看起来复杂的问题底层其实就是今天聊的这点基本功。如果你准备参加信息学竞赛或者算法笔试我会建议你把反转数组当作一个“热身动作”每换一种语言就写一遍。写完之后立刻做两件延伸练习第一把双指针版改成递归版再改回来第二用三次反转法试做轮转数组。这两个练习能帮你在最短时间内把“数组、指针、边界、复杂度”四件事串联起来。最后说一点我个人的体会。我最早做反转数组时也是先开一个新数组傻傻地把数据倒进去交上去也能通过但后来遇到“原地修改”的要求才意识到自己根本没有真正理解数组的内存模型。从那以后我每次复习算法都会把反转数组重新写一遍不为了刷题量而是为了熟悉语言底层的数组行为。这道题不深但它像一面镜子能照出你对索引、边界和内存的理解程度到底扎不扎实。
