Почему индекс j не выходит за границы массива в сортировке вставками?

@Соколиный глаз · Регистрация: 25.07.2014

Студворк — интернет-сервис помощи студентам

Pascal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
const N=255;
type array_type=array [1..N] of integer; 
 
procedure InsertSort(var x:array_type);
var i, j, buf:integer;
begin
    for i:=2 to N do
    begin
        buf:=x[i];
        j:=i-1;
        while (j>=1) and (x[j]>buf) do
        begin
            x[j+1]:=x[j];
            j:=j-1;
        end;
        x[j+1]:=buf;
    end;
end;

Не понимаю, почему индекс не выходит за границы массива при проверке условия while (j>=1) and (x[j]>buf) do в x[j]. Если предположить, что сортируем массив [3, 1, 2]. То сначала j = 1, затем станет равным 0. Но индексация же с 1. Можете объяснить?

@volvo · 28.03.2017, 14:55

Сообщение от Volobuev Ilya

затем станет равным 0

Ну, и что? Стал равным 0 - значит, следующей итерации не будет, первая часть условия в while не даст. Да заодно еще и сработает короткая схема вычисления логических выражений: если после вычисления первого операнда результат уже однозначно известен - то второй операнд даже не вычисляется. А при False and X результат будет равен False независимо от значения X.

@Соколиный глаз · 29.03.2017, 13:28 **[ТС]**

Спасибо, понятно.

Добавлено через 1 минуту
Как я понимаю сейчас эта схема практически во всех языках программирования?

@volvo · 29.03.2017, 13:39

Не везде. В некоторых языках/компиляторах можно выбирать, какую схему использовать. Скажем, во многих компиляторах Паскаля есть директива компилятора {$b+}, которая заставит выражения вычисляться полностью. Однако, в PascalABC.NET эта возможность убрана, тут только "короткая" схема.

@Соколиный глаз · 29.03.2017, 14:35 **[ТС]**

Pascal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
var
  a: array of integer;
  i, j, c: integer;
 
begin
  for i := 0 to 9 do
  begin
    SetLength(a, Length(a) + 1);
    Readln(a[i]);
    j := i;
    c:=a[i];
    try
    while a[j - 1] > a[j] do
    begin
      a[j] := a[j-1];
      Dec(j);
    end;
    except on Exception do end;
    a[j]:=c;
    Write('array: '); WriteLn(a);
  end;
end.

Работает

Хорошая вещь кстати эта

"короткая" схема

)

Новые блоги и статьи Все статьи Все блоги /
Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025

@Соколиный глаз Alvin Seville 343 / 273 / 134 Регистрация: 25.07.2014 Сообщений: 4,537 Записей в блоге: 22
	29.03.2017, 13:28 [ТС]
	Спасибо, понятно. Добавлено через 1 минуту Как я понимаю сейчас эта схема практически во всех языках программирования? 0

@volvo Супер-модератор 33185 / 21483 / 8231 Регистрация: 22.10.2011 Сообщений: 36,855 Записей в блоге: 12
	29.03.2017, 13:39
	Не везде. В некоторых языках/компиляторах можно выбирать, какую схему использовать. Скажем, во многих компиляторах Паскаля есть директива компилятора {$b+}, которая заставит выражения вычисляться полностью. Однако, в PascalABC.NET эта возможность убрана, тут только "короткая" схема. 0

Почему индекс j не выходит за границы массива в сортировке вставками?

Решение