§ 6. Основные алгоритмические конструкции и типы данных

Присваивание заменяет значение переменной. В x := x + 1 справа используется старое x, затем результат записывается слева. Команды выполняются последовательно, если конструкция управления не задаёт другой порядок. Для обмена значениями двух переменных нужна временная переменная либо специальная операция обмена.

В if условие имеет тип boolean. При true выполняется ветвь then, при false — else, если она есть. Несколько команд одной ветви объединяют begin и end. Перед else точку с запятой не ставят. Проверяйте равенство границе отдельно: x > 0 не включает нуль.

var x, y, t: integer;
begin
  x := 3; y := 8;
  t := x;
  x := y;
  y := t;
  writeln(x, ' ', y);  // 8 3
end.

Цикл while сначала проверяет условие, поэтому его тело может не выполниться ни разу. В теле должно происходить изменение, которое позволяет условию когда-нибудь стать ложным. Цикл for удобен для заранее известного числа повторений: for i := 1 to n do выполняет тело n раз при положительном n.

Трассировка — последовательная запись значений после команд. Для s := 0; затем for i := 1 to 4 do s := s + i значения суммы: 1, 3, 6, 10. Начальное значение тоже важно: случайное старое значение s испортит результат.

Целые числа нужны для счётчиков и количества предметов, вещественные — для дробных величин, boolean — для логических значений, char — для одного кодового элемента символа. В PascalABC.NET byte хранит целые от 0 до 255, integer — 32-битные знаковые целые. Результат за пределами типа нельзя считать правильным без проверки переполнения.

Оператор / выполняет обычное деление и при целых операндах. Операторы div и mod применяют к целым: 17 div 5 = 3, 17 mod 5 = 2. Делитель не должен быть нулём. Для положительных целых a = (a div b) · b + a mod b. Вещественные вычисления могут содержать погрешность округления; явное преобразование trunc отбрасывает дробную часть.

Функция возвращает значение, которое можно использовать в выражении. Процедура выполняет действие и не возвращает значение таким способом. Параметры позволяют применять одну подпрограмму к разным данным. Локальные переменные относятся к конкретному вызову; одинаковое имя в разных областях видимости не означает одну ячейку памяти.

function Square(x: real): real;
begin
  Result := x * x;
end;

Вызов Square(3) возвращает 9. Проверять нужно не только обычный случай, но и нуль, отрицательное значение, границы допустимых данных. У случайного выбора из двух вариантов равные вероятности не означают строго равные количества результатов в небольшом опыте.