Почему следующая функция 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 что-либо с False будет в любом случае ложным, arr[i] < arr[l] никогда не оценивается.Следовательно, вы никогда не получите IndexError