Переменная хранит текущее значение
Удобно представлять переменную как именованное место для данных. Если в x хранится три, это описывает состояние в данный момент выполнения. Следующая команда может изменить его. Само имя при этом остаётся прежним. Для учебного разбора заранее запишите начальные значения всех используемых переменных и выберите целый тип для целых чисел. Не рассчитывайте, что неизвестное исходное значение автоматически окажется нужным. Явное начало позволяет проверить дальнейшие действия и не смешивать предположения с результатом.
Сначала вычисляется правая часть
В Паскале присваивание обозначается сочетанием двоеточия и знака равенства: :=. Команда x := x + 1 означает вычислить правое выражение с текущим значением x, затем заменить значение слева полученным результатом. Если сначала x равно трём, после команды оно равно четырём. Это не алгебраическое равенство трёх и четырёх. Одиночный знак = используется для сравнения на равенство в выражениях, например при проверке условия, и сам по себе не выполняет присваивание.
Порядок команд имеет значение
Пусть сначала x равно трём, а y четырём. После команды x := x + y переменная x станет равна семи. Затем y := x * 2 использует уже новое значение x, поэтому y станет равна четырнадцати. Если переставить команды, сначала y станет равна шести, поскольку исходное x равно трём; затем x станет равна девяти. Программа не выполняет две записи одновременно и не сохраняет старые значения автоматически для последующих строк. Каждая следующая команда получает состояние после предыдущей.
Проверяйте состояние после каждого шага
Для ручной проверки достаточно колонок с номером действия, значением x и значением y. После каждой команды переносите неизменившиеся значения и обновляйте только то, что действительно записывается. Если нужно использовать прежнее значение позже, его сохраняют отдельно до изменения. Полезно сначала предсказать результат, затем проверить его по шагам. Такой способ помогает обнаружить логическую ошибку даже тогда, когда программа написана без синтаксических нарушений и успешно запускается. Правильная запись команд ещё не гарантирует нужной последовательности вычислений.
Попробуйте на практике
Выполните ручную проверку двух последовательностей присваиваний на бумаге без установки программы.
- Запишите начальное состояние: x равно трём, y равно четырём. Подготовьте место для записи значений после каждой команды.
- Для первого варианта выполните x := x + y. Запишите оба значения, включая неизменившееся y.
- Затем выполните y := x * 2, используя состояние после предыдущего шага. Отдельно отметьте, какое значение x участвовало в умножении.
- Вернитесь к исходным значениям и поменяйте порядок: сначала y := x * 2, затем x := x + y. Не продолжайте вычисления от результата первого варианта.
- Сравните итоговые пары и объясните различие через момент чтения переменной. Придумайте, где нужно сохранить старое значение, если оно потребуется позже.
Как проверить результат. В первом варианте получены x, равное семи, и y, равное четырнадцати; во втором x, равное девяти, и y, равное шести. Объяснение опирается на последовательное обновление, а не на одновременное решение уравнений.
Частые вопросы
Почему переменная встречается с обеих сторон присваивания?
Справа читается её текущее значение, слева указывается место для нового результата. Поэтому запись x := x + 1 корректно описывает увеличение значения на единицу.
Если программа запускается, можно не проверять расчёт?
Нет. Компилятор проверяет правила языка, но не знает, какой результат вы намеревались получить. Ручной разбор небольшого примера помогает проверить смысл алгоритма.
Самостоятельный разбор темы. Содержание конкретной обучающей программы здесь не представлено.