algorithm - 如何就地编写合并？

Question

我们中的许多人都知道来自mergesort 的merge 子例程。在这里，在 python 中：

def merge(left, right):
    result = []
    i ,j = 0, 0
    while i < len(left) and j < len(right):
        if left[i] <= right[j]:
            result.append(left[i])
            i += 1
        else:
            result.append(right[j])
            j += 1

有没有一种方法可以在没有额外数组的情况下编写合并（result在这种情况下没有）？我尝试利用字符串 $s = xy = (y^Rx^R)^R$ （其中 R 表示反向）无济于事的事实。

这种就地版本的合并将假设两个输入子数组是相邻的。（对于 3 个输入索引 i、j 和 k，第一个数组可能来自 [i, j)，第二个可能来自 [j, k)。）

顺便说一句，我愿意使用 Python 以外的语言，例如 C++ 或 Java。