快慢指针检测环的原理是：若链表有环，slow走1步、fast走2步必在环内相遇；若fast或fast->next为null则无环。终止条件必须判fast!=null&&fast->next!=null，否则空指针解引用会崩溃。
快慢指针检测环的原理和终止条件
快慢指针能检测环，本质是利用「相遇即存在环」的数学事实：如果链表有环，slow 每次走 1 步、fast 每次走 2 步，二者必在环内相遇；若 fast 先走到 nullptr，说明无环。
关键点在于判断条件必须写成 fast != nullptr && fast->next != nullptr，不能只判 fast->next != nullptr——否则当 fast 本身为 nullptr 时，访问 fast->next 会崩溃。
常见错误现象：runtime error: member access within null pointer 就常源于此漏判。
找到环入口节点的数学依据和步骤
设头节点到环入口距离为 a，环入口到相遇点距离为 b，环剩余长度为 c（即环总长 b + c）。当快慢指针第一次相遇时，有：2(a + b) = a + b + n(b + c)（n ≥ 1），化简得 a = (n - 1)(b + c) + c。这意味着：从头节点出发走 a 步，和从相遇点出发走 a 步，都会停在环入口。
所以找入口只需两步：
- 先用快慢指针确认有环，并记录相遇点
meet - 初始化
ptr1 = head，ptr2 = meet，两者每次各走 1 步，再次相遇处就是环入口
注意：这个推导依赖于快指针速度是慢指针的 2 倍；换成 3 倍或其他倍数，公式不成立，入口定位逻辑就失效。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
实际代码中容易忽略的边界情况
真实链表操作中，以下几点常被跳过但会导致失败：
- 空链表或单节点链表：必须在开头检查
head == nullptr || head->next == nullptr，否则fast->next访问越界 - 环起点就在头节点：此时
a = 0，第二阶段的两个指针一开始就相等，直接返回head，逻辑依然成立，无需特判 - 环非常小（如只有 2 个节点）：快慢指针可能在第一圈就相遇，不影响后续计算，但要注意
fast的移动顺序——必须先走一步再判空，否则可能跳过nullptr
示例片段中，fast = fast->next->next; 必须拆成两步并逐次判空，不能合并写。
为什么不能用哈希表代替快慢指针
哈希表确实能 O(n) 时间 + O(n) 空间检测环入口，但快慢指针的核心优势是 O(1) 额外空间。在嵌入式、内存受限或面试明确要求空间复杂度 O(1) 的场景下，哈希方案直接不符合要求。
另外，哈希方案无法自然给出「环长」「环上任意节点到入口距离」等衍生信息，而快慢指针在相遇后稍作延展（比如让一个指针原地绕圈计数）就能拿到这些值。
真正麻烦的是环入口定位那一步的数学转换——很多人记混了 a 和 c 的关系，导致第二阶段指针错开一步，结果返回错误节点。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
