一个具有m 个结点的二叉树，其二叉链表结点(左、右孩子指针分别用left 和right 表示)中的空指针总数必定为 (57) 个。为形成中序(先序、后序)线索二叉树，现对该二叉链表所有结点进行如下操作：若结点p 的左孩子指针为空，则将该左指针改为指向p 在中序(先序、后序) 遍历序列的前驱结点;若 p 的右孩子指针为空，则将该右指针改为指向p 在中序(先序、后序)遍历序列的后继结点。假设指针s 指向中序(先序、后序)线索二叉树中的某结点，则 (58)。
（58）处填（）。
A．s->right 指向的结点一定是s 所指结点的直接后继结点
B．s->left 指向的结点一定是s 所指结点的直接前驱结点
C．从s 所指结点出发的right 链可能构成环
D．s 所指结点的left 和right 指针一定指向不同的结点
