Java归并排序递归疑问：日志为何自动回溯到原数组范围

核心原因：递归调用栈的天然回溯机制 #

你看到的“无需额外方法调用就回溯”是Java递归调用栈的正常行为，本质是归并排序分治逻辑的必然流程，而非特殊机制：

1. 递归拆分的底层逻辑
   你的mergeSort方法核心结构如下（对应你提供的实现）：

public static void mergeSort(int[] arr, int left, int right) {
    if (left < right) {
        int mid = (left + right) / 2;
        // 1. 优先递归拆分左半区间
        mergeSort(arr, left, mid);
        // 2. 左半拆分完成后，递归拆分右半区间
        mergeSort(arr, mid + 1, right);
        // 3. 左右都拆分到最小单元后，执行合并操作
        merge(arr, left, mid, right);
    }
}

当递归到left == right（单个元素，无法再拆分）时，if条件不成立，方法直接返回。此时程序会自动回到上一层调用该方法的位置，继续执行后续未完成的代码——这就是你看到的“回溯”，是递归调用栈的天然特性，不需要额外触发。

2. 回溯的具体执行流程
   以长度为4的数组为例，完整流程如下：

• 初始调用mergeSort(0,3)，先执行左半拆分mergeSort(0,1)，右半拆分暂未启动
• mergeSort(0,1)先拆分左半mergeSort(0,0)，因left=right直接返回；回到mergeSort(0,1)后继续执行右半mergeSort(1,1)，同样返回
• 回到mergeSort(0,1)，执行merge(0,0,1)完成左半区间合并，随后返回上一层mergeSort(0,3)
• mergeSort(0,3)开始执行右半部分mergeSort(2,3)，重复上述拆分-合并流程
• 最后回到最顶层的mergeSort(0,3)，执行merge(0,1,3)完成整个数组的合并

你日志里看到的“回溯到整个数组范围”，就是最顶层调用执行最后合并步骤的结果，是递归栈逐层返回后的自然流程。

为什么添加Thread.sleep(5000)日志无变化 #

sleep仅会让当前线程暂停指定时长，不会改变递归调用栈的执行顺序和逻辑。它只会增加每个步骤的时间间隔，但不会影响日志的内容和输出顺序——如果日志是实时刷新的，你能看到输出延迟；如果是批量输出，则可能感知不到变化。

内容的提问来源于stack exchange，提问作者Vy Le