(标签-链表|关键词-头结点)

Question

对带头结点head的循环单链表尾结点（由p所指向）判非空的条件为 p->next = head。
p->next == head可以证明p是尾节点，但是不能代表链表为空吧，空的链表p==head，p-next也指向自己(也就是指向head)。

Answer 1

以下回复参考：皆我百晓生、券券喵儿等免费微信小程序作答:

您的描述是对的。关于带头结点的循环单链表，尾节点判断确实是一个需要注意的点。针对您的问题，我们来逐一分析：

首先，一个带头结点的循环单链表意味着其链表的头节点不是用于存储数据，而是用于存储关于整个链表的元信息。在这个链表结构中，所有节点的链接指向形成一个闭环，也就是说最后一个节点（尾节点）的下一个节点指向的是头节点。因此，当我们说 p->next == head 时，确实意味着当前节点 p 是尾节点。这是因为其下一个节点指向了链表的头结点。

但是，关于链表是否为空的问题，仅仅通过 p == head 或者 p->next == head 这样的判断是无法确认的。当我们判断链表是否为空时，其实我们应该考虑的是头结点是否指向一个有效的数据节点或者是否指向空。也就是说，如果链表为空，头结点的 next 属性应该是 nullptr 或者 NULL。而任何包含数据节点的节点都可能会有一个与之对应的下一个节点指向头节点（尾节点）。所以当我们在考虑是否是尾节点的时候不应该将其和链表是否为空混为一谈。要判断链表是否为空，应当检查头结点的 next 是否为 NULL 或 nullptr。

总结来说，对于给定的条件 p->next == head 而言，只能确认 p 是链表的尾节点（如果这个链表是一个循环链表）。但这不能用来确认链表是否为空，判断链表是否为空的正确方式应当是检查头节点的 next 是否为 NULL 或 nullptr。