非空的单循环链表由头指针head指示，则其尾结点（由指针p所指）满足（）。