Потому что в противном случае алгоритм может попытаться индексировать вне границ массива.Например,
a = [1, 2, 3, 999999, 4, 5]
b = [6, 7, 8, 9, 10, 11]
После того, как указатель a
достигнет 999999, указатель b
будет увеличиваться до тех пор, пока не выйдет за пределы диапазона, и произойдет сбой программы
a = [1, 2, 3, 999999, 4, 5, ∞]
b = [6, 7, 8, 9, 10, 11, ∞]
, что предотвратиттакое поведение