本文详解归并排序实现中因误用空列表赋值导致的 IndexError: list assignment index out of range 问题，并提供可运行的修正方案，涵盖辅助列表初始化、结果回写机制及完整调用流程。
本文详解归并排序实现中因误用空列表赋值导致的 `indexerror: list assignment index out of range` 问题，并提供可运行的修正方案，涵盖辅助列表初始化、结果回写机制及完整调用流程。
归并排序是一种经典的分治（Divide and Conquer）排序算法，其核心在于将数组递归二分、分别排序后合并。然而，在 Python 中实现时，一个常见且隐蔽的错误是：在 merge 函数中直接对空列表 b = [] 执行索引赋值（如 b[k] = ...）。由于空列表没有预分配内存空间，任何形如 b[0] = x 的操作都会触发 IndexError —— 这正是原代码崩溃的根本原因。
要解决该问题，关键在于正确管理临时存储结构。推荐做法是改用 list.append() 动态扩展辅助列表，而非依赖预定义长度的索引访问。同时，必须确保排序结果能正确回写到原数组中，否则递归过程产生的有序片段将被丢弃。
以下是修正后的完整实现（含注释说明）：
macOS UI 自动化技能包 —— 用 Python 控制你的 Mac
下载
让 macOS 自动化像说话一样简单 —— 用代码控制你的 Mac，无需学习 AppleScript 系统要求 macOS 14+ (Sonoma) Python 3.9+ 需要开启：辅助功能 + 屏幕录制权限
def merge(a, lower, middle, upper, b):
i = lower
j = middle + 1
# 移除 k 变量：不再通过索引赋值，改用 append()
while i <p>⚠️ <strong>注意事项与最佳实践</strong>：</p>
-
不要复用全局或外部列表作为
b：每次merge应创建独立的空列表（如temp = []），避免跨层污染； -
务必执行结果回写：
a[lower:upper+1] = merged是就地排序的关键，缺失此步将导致函数“无副作用”； -
边界检查需严谨：
upper必须为有效索引（即），主调用应使用len(a)-1而非硬编码数值； - 若需返回新列表而非就地修改，可将
mergesort改为返回副本，但当前设计更符合典型归并排序的空间优化逻辑。
该实现时间复杂度稳定为 $O(n \log n)$，空间复杂度为 $O(n)$（用于临时合并数组），完全规避了索引越界风险，并具备良好的可读性与工程可用性。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
