选择题
程序中已构成如下图所示的不带头结点的单向链表结构，指针变量s、p、q均已正确定义，并用于指向链表结点，指针变量s总是作为指针指向链表的第一个结点。
【正确答案】
D
【答案解析】本题考查链表的操作。题目中说明了s指向链表的第一个结点，程序段中首先使s指向了它的下个结点，然后while循环找到链表的最后一个元素，然后最后一个元素指向了之前链表的头结点，之前头结点指向了空结点，所以本题实现的效果是使首结点成为尾结点。选项D正确。