【单选题】

一个具有m个结点的二叉树，其二叉链表结点(左、右孩子指针分别用left和right表示)中的空指针总数必定为 (57) 个。为形成中序(先序、后序)线索二叉树，现对该二叉链表所有结点进行如下操作：若结点p的左孩子指针为空，则将该左指针改为指向p在中序(先序、后序)遍历序列的前驱结点；若p的右孩子指针为空，则将该右指针改为指向p在中序(先序、后序)遍历序列的后继结点。假设指针s指向中序(先序、后序)线索二叉树中的某结点，则 (58) 。

A．s→right指向的结点一定是s所指结点的直接后继结点
B．s→left指向的结点一定是s所指结点的直接前驱结点
C．从s所指结点出发的right链可能构成环
D．s所指结点的left和right指针一定指向不同的结点