为什么下面的heapsort函数不生成

Question

我从Geeksforgeks那里获取了以下代码，以尝试理解堆排序

def heapify(arr, n, i): 
    largest = i 
    l = 2*i + 1     
    r = 2*i + 2    
    if l < n and arr[i] < arr[l]: 
        largest = l 
    if r < n and arr[largest] < arr[r]: 
        largest = r 
    if largest != i: 
        arr[i],arr[largest] = arr[largest],arr[i] 
        heapify(arr, n, largest) 

def heapSort(arr): 
    n = len(arr)
    for i in range(n, -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) 

arr = [7, 11, 13, 6, 5, 12] 
heapSort(arr) 

print ("Sorted array is", arr) 

在第一次迭代中， n=6，l=13 那么对于下面的代码行

if l < n and arr[i] < arr[l]

arr[l]指向一个不存在的索引

我不明白为什么它不标记“超出索引”之类的错误。即使它是一个“if”语句，它仍然肯定在检查arr[l]中的值。因为这不存在，它应该“中断”并标记错误

谢谢

Answer 1

if语句条件按定义顺序求值。它们也进行了优化

if l < n and arr[i] < arr[l]

将首先计算l < n。是False。由于and使用False进行任何运算都将是false，因此arr[i] < arr[l]永远不会被计算。因此，您永远不会得到IndexError