【单选题】

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