单选题
程序中已构成如下图所示的不带头结点的单向链表结构，指针变量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
删除尾结点