单链表有环，是指单链表的最后一个结点的指针指向了链表中的某个结点( 通常单链表的最后一个结点的指针域是空的)。试编写算法判断单链表是否存在环。

判断单链表是否存在环的常用方法是使用快慢指针法（Floyd's Cycle Detection Algorithm）。

快慢指针法的基本思想是让两个指针，一个快指针和一个慢指针，同时从链表的头部出发，快指针每次向后移动两个节点，慢指针每次向后移动一个节点。如果链表存在环，那么快指针最终会追上慢指针，两个指针会相遇；如果链表不存在环，那么快指针会先到达链表的末尾（指针为空），此时可以判断链表不含环。

#include <iostream>

struct ListNode
{
    int val;
    ListNode* next;
    ListNode(int x) : val(x), next(nullptr) {}
};

bool hasCycle(ListNode* head)
{
    if (head == nullptr || head->next == nullptr)
        return false;

    ListNode* slow = head;
    ListNode* fast = head;

    while (fast != nullptr && fast->next != nullptr)
    {
        slow = slow->next;
        fast = fast->next->next;

        if (slow == fast)
            return true;
    }

    return false;
}

int main()
{
    // 创建一个有环的链表
    ListNode* head = new ListNode(1);
    head->next = new ListNode(2);
    head->next->next = new ListNode(3);
    head->next->next->next = new ListNode(4);
    head->next->next->next->next = head->next; // 最后一个节点指向链表中的某个结点，形成环

    // 判断链表是否有环
    bool result = hasCycle(head);
    std::cout << "Has Cycle: " << result << std::endl; // 输出: Has Cycle: 1 (true)

    // 释放链表内存
    ListNode* curr = head;
    while (curr != nullptr)
    {
        ListNode* next = curr->next;
        delete curr;
        curr = next;
    }

    return 0;
}

在上面的示例中，我们首先创建了一个有环的链表，其中最后一个节点指向链表中的第二个节点，形成环。

然后，我们使用hasCycle函数来判断链表是否有环。函数中，我们定义了两个指针slow和fast，初始时都指向链表的头部。在每次循环中，slow指针每次移动一个节点，而fast指针每次移动两个节点。如果链表存在环，那么fast指针最终会追上slow指针，两个指针会相遇，此时返回true；如果链表不存在环，那么fast指针会先到达链表的末尾（指针为空），此时返回false。

最后，我们输出判断结果并释放链表的内存。