用C++程序设计语言，设计一个算法，判断一个链表是否有环存在。

在C++中，可以使用快慢指针（Floyd's Tortoise and Hare Algorithm 或者叫 Slow and Fast Pointer）的方法来检测链表是否包含环。这种方法的基本思想是同时遍历链表，一个节点每次移动一步，另一个节点每次移动两步。如果链表中存在环，那么快指针最终会追上慢指针；如果没有环，则快指针会先到达链表的终点。

以下是算法的伪代码：

// 定义链表节点结构体
struct ListNode {
    int val;
    ListNode *next;
    ListNode(int x) : val(x), next(NULL) {}
};

ListNode* hasCycle(ListNode* head) {
    if (head == nullptr || head->next == nullptr) {
        return head; // 如果头节点为空或者只有一个节点，不存在环
    }
    
    ListNode slow(*head);
    ListNode fast(*head);
    
    while (fast != nullptr && fast->next != nullptr) {
        slow = slow.next;
        fast = fast.next->next;

        if (slow == fast) { // 如果快慢指针相遇，说明有环
            return slow; // 返回相遇点，即环的入口
        }
    }

    return nullptr; // 没有环，返回nullptr
}