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

Question

我从GeeksforGeeks中获取了以下代码，以尝试了解堆排序

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以1ng任何False将是假的反正arr[i] < arr[l]是从来没有进行评价。 因此，您永远不会得到IndexError