程序中已构成如下图所示的不带头结点的单向链表结构，指针变量s、p、q均已正确定义，并用于指向链表结点，指针变量s总是作为指针指向链表的第一个结点。

若有以下程序段

q=s; s=s->next; p=s;

while(p->next) p=p->next;

p->next=q; q->next=NULL;

该程序段实现的功能是

• A.删除尾结点

• B.尾结点成为首结点

• C.删除首结点

• D.首结点成为尾结点