为什么下面的heapsort函数不会产生错误

def heapsort(arr):
    n = len(arr)

    # 构建最大堆
    for i in range(n // 2 - 1, -1, -1):
        heapify(arr, n, i)

    # 逐个将最大值移到数组末尾
    for i in range(n - 1, 0, -1):
        arr[i], arr[0] = arr[0], arr[i]  # 交换根节点和最后一个节点
        heapify(arr, i, 0)

def heapify(arr, n, i):
    largest = i  # 初始化最大值为根节点
    left = 2 * i + 1
    right = 2 * i + 2

    # 如果左子节点存在且大于根节点，则更新最大值
    if left < n and arr[left] > arr[largest]:
        largest = left

    # 如果右子节点存在且大于根节点或左子节点，则更新最大值
    if right < n and arr[right] > arr[largest]:
        largest = right

    # 如果最大值不是根节点，则交换根节点和最大值，并递归调整堆
    if largest != i:
        arr[i], arr[largest] = arr[largest], arr[i]
        heapify(arr, n, largest)