快慢指针能确定环存在是因为若环存在，快指针（每次2步）必在环内追上慢指针（每次1步），二者相对速度为1步/轮，距离整数递减终相遇；前提为fast与slow均进入环且初始化安全。
为什么快慢指针能检测环
环的存在意味着链表尾部没有 nullptr，而是连回前面某个节点。快慢指针本质是利用「相对速度」：如果存在环，走得快的指针终将追上走得慢的指针——就像操场跑圈，快者迟早套圈慢者。这不是概率问题，只要环存在且两个指针都进入环，就必然相遇（因为每次迭代，快指针比慢指针多走 1 步，距离以整数递减）。
注意：这个逻辑成立的前提是快指针每次走 2 步、慢指针每次走 1 步。若快指针走 3 步，慢指针走 1 步，仍会相遇，但步数关系变复杂；而走 2/1 是最简稳定组合，也是标准解法。
ListNode 结构和基础判空处理
标准链表节点通常定义为：
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) {}
};实际检测前必须先检查边界：
立即学习“C++免费学习笔记（深入）”；
- 若
head为nullptr，直接返回false - 若
head->next为nullptr，说明只有一个节点，无环，返回false - 快指针初始化时，必须确保
fast != nullptr && fast->next != nullptr才能安全执行fast = fast->next->next，否则会访问空指针
快慢指针的移动与终止条件
核心逻辑是用两个指针遍历，但终止判断有明确分工：
慢指针每次走 1 步：slow = slow->next
快指针每次走 2 步：fast = fast->next->next
循环继续的条件是：fast != nullptr && fast->next != nullptr
一旦不满足，说明已走到链表末尾，无环，返回 false
每次移动后立即比较：if (slow == fast) return true;
注意不是在循环开头或结尾比较，而是在移动后立刻判断——否则可能跳过相遇点（尤其环很小的时候）
常见错误写法：
// ❌ 错误：先移动再判断，但没检查 fast->next 是否为空 fast = fast->next->next; slow = slow->next; if (slow == fast) ...
环起点定位（额外但实用的延伸）
检测到环后，若还需找出环的入口节点（即第一个被重复访问的节点），可复用快慢指针结果：
- 保持慢指针在相遇点不动，将快指针重置到
head - 两个指针都改为每次走 1 步：
slow = slow->next，fast = fast->next - 再次相遇处就是环起点
原理是数学推导：设头到环起点距离为 a，环起点到相遇点距离为 b，环剩余长度为 c，则有 2(a+b) = a + b + n(b+c)，化简得 a = n(b+c) - b，即从头出发和从相遇点出发各走 a 步会同时抵达环起点。
这个步骤容易被忽略的是：重置快指针后，必须保证两个指针严格同速移动，且不再做任何“跳步”操作；另外，即使环长度为 1（自环），该方法依然成立。
