為什么下面的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