快慢指针能判断环形链表是因为当fast每次走2步、slow每次走1步且同起点时，若存在环则fast必在环内追上slow；需确保while条件为fast and fast.next and fast.next.next以防空指针异常。
快慢指针为什么能判断环形链表
因为只要存在环，走得慢的节点（slow）迟早会被走得快的节点（fast）在环内“套圈”——这不是概率问题，是数学必然。前提是 fast 每次走 2 步、slow 每次走 1 步，且两者从同一头节点出发。
常见错误现象：fast 走 3 步或更多，可能跳过 slow，导致漏判；或者没检查 fast 和 fast.next 是否为 None，直接触发 AttributeError: 'NoneType' object has no attribute 'next'。
- 必须保证
fast移动前先判断fast is not None and fast.next is not None -
slow每次只走 1 步，fast必须严格走 2 步（fast = fast.next.next），不可简化为fast = fast.next后再额外走一次 - 空链表或单节点链表不可能成环，可提前返回
False
如何写安全的 while 循环条件
循环终止条件不是“找到环就停”，而是“只要还能走，就继续走；一旦走不下去，说明没环”。关键在于把边界检查揉进 while 条件本身，而不是塞进循环体里靠 break 控制。
典型错误写法：while fast: 或 while fast and fast.next: 都不对——前者会在 fast.next 为 None 时，下一轮执行 fast.next.next 报错；后者虽避免了报错，但会少走一步，导致 fast 和 slow 在相遇前就退出循环。
立即学习“Python免费学习笔记（深入）”；
- 正确条件是：
while fast and fast.next and fast.next.next:—— 确保fast.next.next存在才允许赋值 - 更简洁稳妥的写法是把移动拆开：先判
if not fast or not fast.next:再break，但不如单条件清晰 - 实际工程中建议用第一种，逻辑直白，也方便后续扩展（比如找入环点）
Python 中 None 判断和链表节点定义的影响
Python 没有类型强制，但链表节点通常长这样：class ListNode: def __init__(self, x): self.val = x; self.next = None。这意味着所有“末尾”都指向 None，而 None 不支持 .next 访问——这是绝大多数运行时错误的根源。
容易被忽略的一点：如果你自己构造测试链表时，不小心让某个节点的 next 指向了自身（自环），slow == fast 会在第一步就成立，这属于合法环，算法依然正确；但若指向了未初始化的变量或字符串，就会抛出完全无关的异常，和算法无关，纯属数据构造错误。
- 务必确保每个
ListNode实例的next属性要么是另一个ListNode，要么是None - 不要用
is比较节点值，要用==；但判断是否相遇，必须用slow is fast（地址相等），不能用==（值相等） - Python 的
is在这里不是优化技巧，而是语义必需：两个不同节点即使val相同，也不代表成环
找到环后怎么定位入环节点（可选但常考）
快慢指针相遇只证明有环，不告诉你环从哪开始。要找入环点，得再跑一趟：把 slow 扔回头节点，fast 停在相遇点，然后两者都每次走 1 步，再次相遇的位置就是入环节点。
原理是数学推导出来的距离关系：设头到入环点为 a，入环点到相遇点为 b，环剩余部分为 c，则有 2(a + b) = a + b + n(b + c) → a = n(b + c) - b → 从头出发走 a 步，等于从相遇点出发走 n 圈再退 b 步，恰好落在入环点。
- 第二次循环的条件就是
slow != fast，不用再判None，因为已知有环 - 注意：第一次相遇后，
fast不需要重置，直接复用当前节点即可 - 如果题目只要求判断是否成环，这步完全跳过，别画蛇添足
真正卡人的从来不是“怎么写循环”，而是某次移动时忘了多看一眼 fast.next 是否存在——尤其在缩行或重构时，很容易把两行合并成一行，漏掉中间的判空。手写时宁可多写一行 if，也别赌运气。
