力扣hot100刷到链表部分”K个一组翻转链表“是绝对绕不开的一道分水岭。单链表反转大家都知道怎么写pre、cur、next三个指针轮换几下就完事了但前面加上”每K个一组“这个条件难度直接跳了一档。我第一次自己写这道题的时候前面几组都对到了最后不足K个的尾巴上直接断链整个链表从中间裂成两截调试了半天才意识到问题出在哪。这道题在力扣上的编号是25在hot100热题100里排第31位。题目描述很简短给你链表的头节点head每K个节点一组进行翻转返回修改后的链表。K是一个正整数如果节点总数不是K的整数倍最后剩余的节点保持原有顺序。比如1-2-3-4-5K2就变成2-1-4-3-5K3就变成3-2-1-4-5。为什么这道题能进hot100因为它几乎把所有链表基础考点都串起来了指针引用、边界判断、递归思想、迭代写法和空间复杂度取舍。它不是一道”背下来就能过“的题而是真正考察你脑子里有没有清晰的链表指针模型。这篇文章我按自己的刷题过程来拆从题目考点到两种解法对比再到逐行注释和踩坑复盘最后聊几个延伸变体希望能帮你一次吃透。1. 这道题的考点拆解为什么”K个一组“让难度直接跳档很多人觉得链表反转简单确实简单。但反转一个完整链表和”每K个一组反转“本质上考的是完全不同的能力。1.1 单链表反转是基础操作分组反转才是边界意识先回忆一下单链表的原地反转核心代码就三行ListNode* next cur-next; // 先保住后一个节点 cur-next prev; // 当前节点指向前一个 prev cur; // 前一个指针前移 cur next; // 当前指针后移这三行循环走完链表就反过来了。原理很简单链表是单向的你只能从head往后走一旦把当前节点的next指向前一个节点后面那段链表就暂时”丢失“了所以必须先用next把它攥在手里。而K个一组翻转难点在于反转完一组之后旧的头变成了尾它得指向下一组的头上一组的尾也就是上一组未反转前的头得指向这一组的新头最后一组不足K个时不能反转要保持原样返回。这个描述听起来不复杂但把这三条落进代码就要求你对”反转前、反转中、反转后“三个阶段的指针关系有清晰的画面。很多人最终写错不是不会反转而是不知道怎么把反转后的片段和前后重新接起来。1.2 高频面试题考的就是”讲得清楚思路“的能力据我刷题和面经的观察这道题在字节、美团、快手的后端和算法岗出现率都不低。面试官通常不直接让你写而是先问一句”讲讲思路“你要是回答”每K个反转一次不足K个不变“听起来没问题但面试官下一步就会追问”反转完怎么衔接“”递归和迭代哪个好“”空间复杂度呢“——每一个追问都卡在指针边界上。所以我说这道题是分水岭不是说它难到写不出来而是它能把”背答案“和”真懂“区分开。你在本地跑通过不算完得能把指针变换的过程用语言讲清楚才算是真正过关了。2. 两种主流解法递归优先迭代兜底这道题的解法分两大流派递归和迭代。两种我都实际写过各有各的舒服和不舒服。2.1 递归版本思路清晰代码最短递归的写法非常直观。先看代码再解释class Solution { public: ListNode* reverseKGroup(ListNode* head, int k) { // 找到第k个节点也就是本组的尾节点 ListNode* node head; int count 0; while (count k) { if (node nullptr) return head; // 不够k个直接返回 node node-next; count; } // 反转前k个节点node此时是下一组的头 ListNode* prev nullptr; ListNode* cur head; while (count 0) { ListNode* next cur-next; cur-next prev; prev cur; cur next; count--; } // head变成了本组的尾节点让它指向下一组的递归结果 head-next reverseKGroup(cur, k); return prev; } };这段代码的核心思想是每一层递归只处理”当前这一组“的反转然后把旧的head现在变成尾部的next指向”后面所有组递归处理完之后的结果“。我第一次看这个写法的时候有一个困惑第二个while循环里用的是count 0但count在第一个循环结束时已经是k了这不就是把k个节点反转一遍吗对就是这么设计的。第一个循环数到k第二个循环反转k次两个循环共用同一个count虽然巧妙但也容易看晕。后面我会单独拆这个细节。递归版本代码量小、逻辑直观适合面试时先讲思路再用它落地。但它有个天然的短板递归深度是n/k如果链表特别长比如百万级节点每一层递归都要压栈有栈溢出的风险。工程上一般不这么写但算法题场景下完全够用。2.2 迭代版本空间O(1)但指针衔接要格外小心迭代版本用dummy节点解决头节点可能变化的麻烦整体思路是每次找到本组的头和尾反转再接回主链然后移动pre和head指针继续下一组。class Solution { public: ListNode* reverseKGroup(ListNode* head, int k) { ListNode* dummy new ListNode(0); dummy-next head; ListNode* pre dummy; ListNode* tail dummy; while (head) { // 先让tail走到本组的尾 for (int i 0; i k; i) { tail tail-next; if (tail nullptr) { return dummy-next; // 不足k个直接返回 } } ListNode* nextGroup tail-next; // 先记录下一组的头 // 反转head到tail之间的节点 ListNode* prev nullptr; ListNode* cur head; while (cur ! nextGroup) { ListNode* next cur-next; cur-next prev; prev cur; cur next; } // 此时prev是本组的新头head是本组的新尾 pre-next prev; head-next nextGroup; // 移动pre和head准备处理下一组 pre head; head nextGroup; } return dummy-next; } };迭代的关键在于维护pre这个”上一组的尾“。每组反转完成后pre-next要指向本组的新头本组的新尾也就是旧的head的next要指向下一组的头nextGroup。这两个连接动作做完这一组才算真正嫁接到主链上。这里有个特别容易踩的坑反转内部的while循环条件是cur ! nextGroup不是cur ! nullptr。因为你要反转的是”从head开始到nextGroup之前“这么一段而不是把整条链表都反转。我第一次写就是顺手写了cur ! nullptr结果把后面还没处理的组也给反了。两种方案的对比我整理了一个简单的表维度递归迭代时间复杂度O(n)每个节点访问一次O(n)每个节点访问一次空间复杂度O(n/k)递归栈深度O(1)只用常数个指针代码可读性高逻辑集中中低变量较多容错性边界判断集中在入口需要前后衔接易漏连接工程适用不适合超长链表推荐面试时我一般先写递归讲思路被追问空间复杂度之后再补一句”如果想做到O(1)空间可以改成迭代“。这本身就展示了你对两种方案的权衡有认识。3. 递归解法逐行注释与指针状态追踪递归版本虽然代码短但很多初学者看不懂核心在于不知道每一层的head、prev、cur、node这几个指针到底指向谁。这一节我用一个具体例子一步步追踪指针状态。3.1 完整代码与逐行注释先给出带注释的完整版本语言用C热词里出现了一大堆C/C链表关键词说明大部分刷这题的人用的都是C#include iostream struct ListNode { int val; ListNode *next; ListNode() : val(0), next(nullptr) {} ListNode(int x) : val(x), next(nullptr) {} ListNode(int x, ListNode *next) : val(x), next(next) {} }; class Solution { public: ListNode* reverseKGroup(ListNode* head, int k) { // 第一段循环尝试找到从head开始的第k个节点 ListNode* node head; int count 0; while (count k) { if (node nullptr) { // 走到链表末端还没数够k个说明剩余不足k个不用翻转 return head; } node node-next; count; } // 从这里往下node指向的是第k1个节点也就是下一组的头 // count k // 第二段循环反转从head开始的k个节点 ListNode* prev nullptr; ListNode* cur head; while (count 0) { ListNode* next cur-next; // 先保存下一个节点 cur-next prev; // 当前节点指向前一个 prev cur; // prev前移 cur next; // cur后移 count--; // 计数器递减控制只反转k个 } // 循环结束后 // prev是这一组的新头原本是这一组的最后一个节点 // cur是下一组的头也就是node但这里直接用cur // head还是这一组的第一个节点但它现在变成了这一组的尾 // 关键连接把这一组的新尾head连到下一组递归处理的结果 head-next reverseKGroup(cur, k); // 返回这一组的新头 return prev; } };这段代码有两个细节值得记住第一个细节是count变量被两个循环共用。第一个循环把它从0加到k第二个循环把它从k减到0。其实第二个循环完全可以用for (int i 0; i k; i)但那样需要重新定义一个i代码不会更短。现在这样共用一个count视觉上更紧凑但也更容易让读代码的人困惑”哎count怎么突然就从k变成了循环次数“实际效果就是反转k个节点不多不少。第二个细节是递归返回值prev。每层递归都返回”本组翻转后的新头“上一层拿到它之后把它当作自己next的一部分接在后面。这个链式关系可以一直回溯到最外层。3.2 用1-2-3-4-5-6k3走一遍我用一个具体的链表来追踪指针状态这样比纯讲代码直观得多。初始链表1-2-3-4-5-6k3。第一次调用reverseKGroup(head1, k3)第一段循环node从1开始走3次到达4也就是下一组的头count变成3。第二段循环开始反转1、2、3处理节点1next记下21-next指向nullptrprev初始是nullptrprev变成1cur变成2处理节点2next记下32-next指向1prev变成2cur变成3处理节点3next记下43-next指向2prev变成3cur变成4循环结束此时prev 3它是这一组的新头cur 4它是下一组的头head 1它是这一组的新尾接下来执行head-next reverseKGroup(cur4, k3)。这里发生递归调用。第二次调用reverseKGroup(head4, k3)第一段循环node从4开始走3次到达nullptr因为链表只有6个节点4、5、6走完就没了。第二段循环反转4、5、6处理节点4next记下54-next指向nullptrprev变成4cur变成5处理节点5next记下65-next指向4prev变成5cur变成6处理节点6next记下nullptr6-next指向5prev变成6cur变成nullptr循环结束prev 6新头cur nullptrhead 4新尾执行head-next reverseKGroup(curnullptr, k3)。第三次调用reverseKGroup(headnullptr, k3)第一段循环node nullptr第一个循环条件判断count k为true进入循环体发现node nullptr直接return head也就是返回nullptr。回到第二次调用head节点4的next被设置为nullptr。返回prev节点6。回到第一次调用head节点1的next被设置为”第二次调用返回的结果“也就是节点6。等一下这里要仔细看第二次调用返回的是prev6节点6-next指向5节点4-next是nullptr不对我上面写的时候漏了一个细节在第二次调用里head-next reverseKGroup(cur, k)实际上发生在反转之后。让我重新把这个过程梳理一遍避免误导在第二次调用里反转完成后prev 6新头cur nullptrhead 4新尾然后执行head-next reverseKGroup(cur, k)也就是节点4的next指向第三次调用的结果nullptr。返回prev6。6-next是55-next是44-next是nullptr。所以返回的这一段链表是6-5-4-nullptr。回到第一次调用执行head-next 第二次调用的返回值也就是节点1的next指向6。此时第一次调用返回prev3。整条链变成3-2-1-6-5-4-nullptr。这就对了每组内部是反转的组与组之间的顺序不变。1-2-3组变成3-2-14-5-6组变成6-5-4两组连接起来就是3-2-1-6-5-4。和预期完全一致。这个逐步追踪的过程我建议大家自己在纸上画一遍。链表题最怕的就是只在脑子里想画出来之后很多东西会一下变清楚。3.3 递归里最容易忽略的返回条件递归版本的边界条件看似只有一行”if (node nullptr) return head“但这个判断的位置非常讲究。它必须放在第一段循环的循环体里面而不是放在递归函数的开头。有一版常见错误写法是这样的// 错误写法示意 ListNode* reverseKGroup(ListNode* head, int k) { if (head nullptr) return nullptr; ListNode* node head; int count 0; while (count k) { node node-next; count; } // ... }这种写法对”链表长度恰好是k的整数倍“的用例没问题但只要最后一组不足k个node就会在循环里变成nullptr然后继续访问node-next直接空指针崩溃。所以正确的边界判断必须写成”尝试走k步每一步都检查是否遇到nullptr“而不是先检查head是否为nullptr就一劳永逸。这也是链表边界题的通病你以为判了空其实没判到位。4. 最容易翻车的四个细节我踩过的坑都在这里这一节聊聊我实际刷这道题和教别人刷这道题时反复遇到的高频错误。每一个我都自己翻过车或者看别人翻过车。4.1 坑一反转内部的循环条件写成了cur ! nullptr这个坑我在前面提过但要单独拎出来讲因为它的后果特别隐蔽。如果你写的是while (cur ! nullptr) { ListNode* next cur-next; cur-next prev; prev cur; cur next; }那在K3、链表长度为6的例子里第一组反转会把整个链表都反转掉变成3-2-1-6-5-4然后递归处理后面的时候发现已经没有节点了。你得到的结果表面上是反的但只有一组后面那组没被单独处理跟题目要求完全不同。正确的条件有两种写法第一种while (count 0)利用count控制反转次数第二种while (cur ! nextGroup)利用下一组的头做终点标记。我个人推荐第二种因为它在迭代解法里必须用统一思路能减少记忆负担。递归解法里两种都能用但count 0写起来更短。4.2 坑二反转链表时把next指针跟丢了这是所有链表反转题的第一大坑我个人认为可以封为”链表新手村必踩陷阱“。还是那三行ListNode* next cur-next; // 这行必须在cur-next被改写之前执行 cur-next prev; prev cur; cur next;如果顺序写反比如先写cur-next prev再写ListNode* next cur-next那你拿到的next其实已经是prev了后面的链表就再也找不回来了。链表和数组最大的不同就在这里数组可以随机访问任意下标链表一旦断了引用后面那一串就彻底丢了。我在调试的时候有个习惯只要遇到指针丢失就在纸上画一条横向的链表标出cur、prev、next三个指针的位置然后逐行模拟。百分之九十九的指针问题都能靠这个方法定位。4.3 坑三递归入口只判断了head为空没判断中途为空这个坑其实在3.3节已经详细说过了但我想从症状反推一下。如果你写完代码跑测试用例发现报错是”member access within null pointer of type ListNode“而且每次都在链表长度不是k的整数倍时才触发那大概率就是边界判断没写在循环里面。正确的边界判断逻辑是这样的先尝试走k步走到第i步发现节点是nullptr说明这一组凑不满k个不符合反转条件直接把当前的head原样返回。注意是”当前的head“不是nullptr也不是上一层的什么节点。因为这一组要保持原顺序返回它的头还是head。4.4 坑四迭代解法忘记用dummy节点很多人在单链表反转时习惯直接操作head不需要额外的头节点。但K个一组翻转不同链表翻转完后头节点可能变成尾节点整个链表的头变了。如果没有dummy节点你最后想返回新链表的头就只能往左找但单向链表没有prev指针找不回来。dummy节点的作用就是一个”假的头“它的next指向真正的头节点。无论链表怎么反转你都能通过dummy-next拿到新链表的头。这是一个非常经典的技巧在许多链表题里都用得上比如删除链表的倒数第N个节点、合并K个有序链表都可以用dummy来规避边界判断。4.5 自查技巧几组必须会跑的测试用例写完代码别急着提交先跑这几组用例能帮你拦截掉大部分错误链表为空返回空即可链表只有一个节点K1任何链表K1都不变链表长度恰好等于K相当于整体反转链表长度等于2K正好两组检验两组衔接是否正确链表长度是K的倍数加1检验最后一组不足K个时是否保持原样K大于链表长度全部保持原样我刷题这几年总结出一个经验链表题的Bug命中率跟测试用例的选择高度相关。你只要凑齐”恰好分组“”不足一组“”空链表“这三种形态大部分隐藏的问题都会现出原形。5. 从这题延伸出去链表翻转的一整个题族K个一组翻转链表不是一道孤立的题它跟很多链表题共享底层思路。刷完这题之后我建议你顺着这个脉络把相关的题刷一遍会形成很强的迁移能力。5.1 K2的降级版本两两交换链表中的节点力扣第24题”两两交换链表中的节点“其实就是K2的特例。不过它的常规解法比套用本题模板更快直接改指针两两交换class Solution { public: ListNode* swapPairs(ListNode* head) { ListNode* dummy new ListNode(0); dummy-next head; ListNode* pre dummy; while (pre-next pre-next-next) { ListNode* first pre-next; ListNode* second pre-next-next; first-next second-next; second-next first; pre-next second; pre first; } return dummy-next; } };这道题可以当作K个一组翻转的”热身题“先把指针交换的手感练出来。我个人建议先做24题再做25题难度曲线更平滑。5.2 反转链表II只反转中间一段区间力扣第92题”反转链表II“要求把链表中从第m个节点到第n个节点之间的部分翻转其他保持不变。它和K个一组翻转的区别在于K个一组是”每组都翻“反转链表II是”只翻一段“。但核心动作一样需要记录待反转区间前一个节点相当于dummy/prev反转之后再和前后接上。如果你把K个一组翻转里的”逐组推进“想明白了反转链表II其实就是只推进一次。反过来你要是先写会了反转链表II再回来看K个一组翻转也会觉得清晰很多。5.3 判断回文链表快慢指针加反转力扣第234题”回文链表“要求判断链表是否前后对称。最常见的做法是快慢指针找到链表中点把后半段反转再逐节点比较。这道题的考点依然是反转但多了一个定位中点的问题。它和K个一组翻转没有直接的代码复用关系但思维模式是共通的”先在链表上定位一个特殊位置然后在不破坏整条链的前提下翻转局部“。我把这类题统称为”链表的局部手术“它们比单纯的整表反转多一步保护现场、精确操作、恢复连接。5.4 面试的进阶追问如果链表很长递归会怎样如果面试官在你写完递归解法后追问”这个解法空间复杂度是多少如果链表有100万个节点会怎样“你要能接住递归深度是n/k空间复杂度O(n/k)100万节点、K1时意味着递归深度接近100万栈会爆。这时候应该改写成迭代解法把空间压到O(1)。这段追问背后的潜台词是面试官在考察你有没有工程意识——算法题不是跑通就完事还要考虑实际运行环境下的资源约束。我在面试中遇到过类似的追问当时的处理方式是先承认递归的空间缺陷然后主动说”我可以改成迭代写法用dummy节点维护前驱“然后演示一遍。这一步如果能顺畅做下来面试官对指针基础的印象会非常深刻。5.5 一道容易被忽视的变体不足K个也要翻转有些面试官会在原题基础上加一句”如果最后不足K个也要翻转。“这个改动其实影响很大。原题的边界判断是”剩余不足K个就保持原样返回“改了之后变成”无论剩余多少个都要反转“。做法有两种第一种先遍历一遍链表算出总长度用总长度除以K算出完整组数然后只处理前groupCount组最后一组可能不足K个单独反转。第二种把递归的边界条件改掉允许不足K个也反转。但这会改变递归终止条件需要额外处理nullptr。这个变体的意义在于考察你是否真的理解了原题边界条件的含义而不是死记硬背。我只是稍微提一下真遇到了再具体展开也不迟。我在刷题早期养成了一个习惯一道题Accepted之后不急着换下一题先把这道题的三个变体想一遍——K变化会怎样、边界条件变化会怎样、数据结构换成双向链表会怎样。这个习惯帮我建立了不错的迁移能力K个一组翻转链表在这其中扮演了很好的跳板角色。如果你跟我一样靠刷题保持手感建议也试试这个方法。