§ 7. Преобразование элементов массива

Пусть положительные элементы нужно удвоить, отрицательные увеличить на 5, а нули оставить. Используют if a[i] > 0 then … else if a[i] < 0 then … . Условия проверяются как взаимно исключающие ветви относительно исходного значения.

Если сначала прибавить 5 к отрицательному −3, получится 2. Независимая следующая проверка положительности может удвоить уже изменённое число и дать 4 вместо 2. Такой повторной обработки в условии задачи нет. Перед циклом полезно составить таблицу из отрицательного, нулевого и положительного примеров.

Для обмена a[i] и a[k] выполняют temp := a[i]; a[i] := a[k]; a[k] := temp. Первое значение сначала сохранено, поэтому обе записи не теряются. Два присваивания без temp сделали бы элементы одинаковыми. Если i=k, обмен допустим и ничего не меняет.

Чтобы поменять минимум с максимумом, сначала находят их индексы, затем выполняют обмен. При повторяющихся экстремумах нужно оговорить правило выбора — например, первые вхождения. Обмен меняет порядок, но сохраняет количество элементов и их набор.

temp := a[i];
a[i] := a[k];
a[k] := temp;

Позиция удаления k должна лежать в 1..n. Выполняют a[i] := a[i+1] для i от k до n−1, затем n := n−1. Движение слева направо сохраняет ещё не скопированные значения справа. Физическая вместимость статического массива не меняется, а оставшаяся хвостовая ячейка больше не входит в данные.

Если удаляют все элементы с некоторым свойством, после удаления проверяют тот же индекс снова: туда сдвинулся новый элемент. Безусловный переход к следующему индексу пропустит соседние совпадения. Для [5,10,3] при удалении кратных 5 должны исчезнуть и 5, и 10.

{ 1 <= k <= n }
for i := k to n-1 do a[i] := a[i+1];
n := n-1;

Для вставки перед позицией k допустимо 1 ≤ k ≤ n+1; k=n+1 означает добавление в конец. До записи проверяют n < вместимость. Для i от n вниз до k выполняют a[i+1] := a[i], затем a[k] := x и n := n+1.

Обратное направление сохраняет исходные значения: сначала освобождают место справа. Сдвиг слева направо многократно скопировал бы одно перезаписанное значение. В пустой используемый массив можно вставить на позицию 1, а удалить из него нечего. Тренажёр показывает используемые ячейки и свободный остаток отдельно.

{ 0 <= n < CAP; 1 <= k <= n+1 }
for i := n downto k do a[i+1] := a[i];
a[k] := x;
n := n+1;