Почему используется arr[pre+1] = curr, если замена уже размещает элемент правильно? ⇐ C++

[Anonymous]

Является ли в этой реализации сортировки вставкой строка arr[pre + 1] = curr; необязательной?

Поскольку мы уже обмениваем элементы внутри цикла while, не достигнет ли текущий элемент автоматически своей правильной позиции без явного присвоения ее в конце?»
void insertionSort(int* arr, int n) {
for (int i = 1; i < n; i++) {
int curr = arr;
int pre = i - 1;
while (pre >= 0 && arr[pre] > curr) {
swap(arr[pre], arr[pre + 1]);
pre--;
}
// arr[pre+1] = curr; is this line optional ?
}
}


Подробнее здесь: https://stackoverflow.com/questions/798 ... -correctly