在Python语言中利用原空间实现带头节点有序表合成有序表

在Python中，原地（in-place）合并两个带头节点的有序链表通常是通过双指针法来实现的，这种方法不需要额外的空间。假设我们有两个头结点`head1`和`head2`分别代表两个已排序的链表。

1. 首先，创建一个新的空链表，它将成为合并后的有序链表的头结点，我们暂命名为`new_head`，并初始化为None。

2. 定义两个指针`p1 = head1`和`p2 = head2`，分别指向`head1`和`head2`。

3. 比较两个指针所指向的节点值，将较小的那个节点添加到新链表`new_head`之后，并移动相应的指针。如果`p1`的节点值小于等于`p2`，就将`p1`的下一个节点加入新链表并更新`p1`；反之，将`p2`的节点加入新链表并更新`p2`。

4. 当其中一个链表遍历完（即`p1`或`p2`变为None），则将另一个链表剩余的部分依次添加到`new_head`之后。

5. 最后，`new_head.next`就是合并后的有序链表的头结点。

以下是简化版的Python代码实现：

def merge_sorted_lists(head1, head2):
    if not head1:
        return head2
    if not head2:
        return head1

    new_head = None
    if head1.val <= head2.val:
        new_head = head1
        new_head.next = merge_sorted_lists(head1.next, head2)
    else:
        new_head = head2
        new_head.next = merge_sorted_lists(head1, head2.next)

    return new_head