非空循环单链表的头指针为head,则其尾指针p满足()。