Python函数中列表参数的原地修改：理解变量重赋值与引用

def merge_problematic(nums1: list[int], m: int, nums2: list[int], n: int) -> None:
    """
    此函数试图原地修改 nums1，但因重赋值导致失败。
    """
    if m + n == m: # 等价于 if n == 0:
        nums1 = nums2 if m == 0 else nums1
    else:
        # 问题根源：以下两行代码创建了一个新的列表对象，并让局部变量 nums1 指向它。
        # 此时，函数内部的 nums1 和外部传入的原始 nums1 已经不是同一个对象了。
        nums1 = nums1[:m] # 1. 创建 nums1 前 m 个元素的新列表，并让局部 nums1 指向它
        nums1.extend(nums2) # 2. 在这个新的局部列表上执行 extend 操作

    print(f"函数内部（重赋值/扩展后） nums1: {nums1}")
    nums1.sort() # 排序的是这个新的局部列表
    print(f"函数内部（排序后） nums1: {nums1}")

# 示例演示问题
nums1_problem_demo = [1, 2, 3, 0, 0, 0]
m_problem_demo = 3
nums2_problem_demo = [2, 5, 6]
n_problem_demo = 3 

print(f"调用前 nums1: {nums1_problem_demo}")
merge_problematic(nums1_problem_demo, m_problem_demo, nums2_problem_demo, n_problem_demo)
print(f"调用后 nums1 (外部): {nums1_problem_demo}") # 仍然是原始值 [1, 2, 3, 0, 0, 0]

def merge_in_place_correct(nums1: list[int], m: int, nums2: list[int], n: int) -> None:
    """
    将 nums2 合并到 nums1 中，并对 nums1 进行原地排序。
    假设 nums1 具有足够的空间 (m + n 个元素，其中后 n 个通常为 0)。
    此函数不返回任何值，直接修改 nums1。
    """
    # 1. 将 nums2 的元素复制到 nums1 的尾部（从索引 m 开始）
    #    例如：nums1 = [1,2,3,0,0,0], m=3, nums2 = [2,5,6], n=3
    #    循环后 nums1 变为 [1,2,3,2,5,6]
    for i in range(n):
        nums1[m + i] = nums2[i]

    # 2. 对 nums1 的所有元素进行原地排序
    #    list.sort() 方法会直接修改列表本身，不返回新列表。
    nums1.sort()

# 示例用法
print("\n--- 示例：正确原地合并与排序 ---")
nums1_example = [1, 2, 3, 0, 0, 0]
m_example = 3
nums2_example = [2, 5, 6]
n_example = 3

print(f"合并前 nums1: {nums1_example}, m: {m_example}")
print(f"合并前 nums2: {nums2_example}, n: {n_example