真实面经题目 · 原创解析
如何判断单链表是否成环？
如何判断单链表是否成环？这道腾讯牛客题的关键是围绕“链表判环与快慢指针”讲清概念、机制、取舍和边界。判断链表是否有环，常用 Floyd 快慢指针。慢指针每次走一步，快指针每次走两步；如果链表有环，快指针最终会在环内追上慢指针；如果无环，快指针会先走到 null。
出现于：腾讯 · C/C++
01
60 秒回答模板
可以这样回答：判断链表是否有环，常用 Floyd 快慢指针。慢指针每次走一步，快指针每次走两步；如果链表有环，快指针最终会在环内追上慢指针；如果无环，快指针会先走到 null。 初始化 slow 和 fast 指向头节点，循环条件通常是 fast 和 fast.next 都不为空。每轮 slow=slow.next，fast=fast.next.next；若 slow===fast，说明存在环；循环退出则无环。若追问环入口，可相遇后让一个指针回 head，两个指针同速前进，下一次相遇就是入口。 快慢指针时间 O(n)、空间 O(1)，适合不修改链表；哈希集合记录访问过的节点也能判环，逻辑直观但需要 O(n) 额外空间。面试中通常优先给 O(1) 空间方案，再补哈希方案作为对照。 要处理 head 为 null、只有一个节点、两节点成环、fast.next 为空这些边界。实现时循环条件写错很容易空指针，比较节点也必须比较引用而不是节点值。 验证时重点看：验证用例应覆盖空链表、无环链表、尾节点指回头节点、尾节点指向中间节点、单节点自环和长链表。
考点 考点边界
主线 核心机制
易错点 只说用快慢指针，没有说明循环条件和为什么会相遇。
02
深入解析
考点边界
这题是链表指针算法题，回答要落到快慢指针、终止条件、空链表/单节点边界、时间复杂度和空间复杂度，而不是泛泛讨论数据结构复杂度。 本题对应“链表判环与快慢指针”，核心前提是：判断链表是否有环，常用 Floyd 快慢指针。慢指针每次走一步，快指针每次走两步；如果链表有环，快指针最终会在环内追上慢指针；如果无环，快指针会先走到 null。
核心机制
初始化 slow 和 fast 指向头节点，循环条件通常是 fast 和 fast.next 都不为空。每轮 slow=slow.next，fast=fast.next.next；若 slow===fast，说明存在环；循环退出则无环。若追问环入口，可相遇后让一个指针回 head，两个指针同速前进，下一次相遇就是入口。 关键证据要落到状态转移、不变量、边界用例、复杂度来源，这样才能说明机制为什么能支撑题目结论。如果继续展开，要说清状态定义、不变量、边界更新、终止条件和复杂度来源，并用反例说明为什么相邻做法不成立。
关键取舍
快慢指针时间 O(n)、空间 O(1)，适合不修改链表；哈希集合记录访问过的节点也能判环，逻辑直观但需要 O(n) 额外空间。面试中通常优先给 O(1) 空间方案，再补哈希方案作为对照。 因此要用输入规模、额外空间、最坏复杂度和边界用例来决定方案，而不是只背一个平均复杂度。 这些取舍决定了方案在不同输入规模、延迟、内存、并发、泛化或一致性要求下是否仍然成立。
边界风险
要处理 head 为 null、只有一个节点、两节点成环、fast.next 为空这些边界。实现时循环条件写错很容易空指针，比较节点也必须比较引用而不是节点值。 排查时优先用空输入、重复值、极端有序数据、溢出、内存上限和复杂度退化样例验证。 需要特别关注极端输入、数据分布变化、资源不足、并发竞争或观测口径错误带来的退化。修复时要用最小反例复现错误，再检查边界条件、循环不变量、数据结构选择和复杂度退化点。
验证抓手
验证时要覆盖空输入、单元素、重复元素、边界溢出、极端有序或逆序数据，并明确时间复杂度和空间复杂度。能说出为什么这个复杂度成立，比只写伪代码更可靠。 针对本题，最有价值的验证信号是：验证用例应覆盖空链表、无环链表、尾节点指回头节点、尾节点指向中间节点、单节点自环和长链表。把验证抓手说出来，可以让答案从知识点延伸到算法正确性、复杂度和边界用例验证。
03
易错点
- 只说用快慢指针，没有说明循环条件和为什么会相遇。
- 比较节点值而不是节点引用，或没有处理 fast.next 为空导致空指针。
- 把相邻概念混用，没有明确说明这道题真正考察的边界。
- 没有给出验证方式，导致答案听起来完整但无法判断是否真的生效。
04
面试官追问
为什么快慢指针一定会在环内相遇？
进入环后，快指针每轮比慢指针多走一步，相当于在环上不断缩短两者距离。环长有限，最多环长轮后距离会变成 0，因此会相遇。 回答时还要补充适用前提、失败场景和验证信号，避免只给一个孤立结论。
如何找到环的入口节点？
快慢指针相遇后，让一个指针回到 head，另一个留在相遇点，两者每次都走一步。它们下一次相遇的位置就是环入口。 回答时还要补充适用前提、失败场景和验证信号，避免只给一个孤立结论。
“如何判断单链表是否成环”继续追问时最该补哪条边界？
应该围绕“链表判环与快慢指针”补适用前提、失败场景和验证证据。先说明哪些条件下这个机制成立，再说明哪些输入规模、并发状态、数据分布或资源限制会让答案需要调整。
“如何判断单链表是否成环”怎样回答才不是只背概念？
看它能否把“链表判环与快慢指针”的机制链路、关键取舍和可观测信号连起来。回答时应落到具体状态变化、数据路径、复杂度、指标或排查工具，而不是只复述定义。
“如何判断单链表是否成环”怎么判断算法选型？
先看是否有最优子结构、单调性、局部选择是否会影响全局最优，以及数据结构能否降低查找或更新成本。动态规划、贪心、二分、哈希、堆和树结构分别对应不同的不变量。
