Условие и ветвление

Одна проверка — две дороги. Разбираемся, как программа перестаёт быть прямой

простоНужно знать: Как работает процессор, Присваивание и копирование

У jump четыре поля: куда прыгнуть, какое условие и два значения, которые сравниваются. Читается строка так: «если запас больше или равен десяти — перейти туда».

Если условие верно, следующей выполняется строка, на которую показывает стрелка. Если нет — обычная следующая, и программа идёт дальше как ни в чём не бывало.

Нажмите «шаг» четыре раза.

шагтик 0

Установить0

=

Прыжок -> 41

если >=

Установить2

=

Конец3

Установить4

=

@counter0number

запасnullnull

малоnullnull

В запас лежит семёрка, а условие спрашивает про десять: оно ложно, прыжка нет, и программа доходит до set мало 1. Ветка «запаса хватает» осталась в стороне — до неё выполнение не добралось.

Цель задают стрелкой, а не номером

В тексте программы цель перехода — номер строки, но в блоках номера не пишут: у строки jump слева есть стрелка, и её перетаскивают на нужную строку. Пока тянут, строки подсвечиваются.

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

Зачем ветке end

Третья строка примера — end, и без неё программа, попав в ветку «мало», свалилась бы в ветку «хватает» и выполнила обе.

Это главная ловушка ветвления: строки не знают, что они чья-то ветка. Выполнение не останавливается на границе — оно просто идёт дальше по списку. Значит, из ветки нужно уйти самому: либо end, либо ещё один переход.

Заметка

Здесь end нужен ровно как выход из ветки: он возвращает программу на первую строку. Чем он отличается от wait и stop — в уроке «End».

Какие бывают условия

Условий восемь. В списке они называются по-английски, а в самой строке видна не подпись, а знак — и это разные надписи, которые стоит знать обе:

Условие	В блоке	Когда прыгает
equal	==	значения равны
notEqual	not	не равны
lessThan	<	меньше
lessThanEq	<=	меньше или равно
greaterThan	>	больше
greaterThanEq	>=	больше или равно
strictEqual	===	равны и одного вида: отличает пустоту от нуля
always	always	всегда, поля сравнения пропадают

Скрытая ошибка

Кнопка условия показывает знак, а не имя: ===, а не strictEqual. Хуже того, «не равно» выглядит как not — без всякого знака равенства, — и это то же самое, что notEqual в справочниках и в тексте программы.

А при включённом переводе слова ещё и переводятся: not становится «не», always — «всегда». Символы не переводятся никогда.

Сравнивает jump ровно так же, как op: с той же поблажкой в шестом знаке после запятой и с теми же правилами для null. Подробности — в уроке «Сравнения и логика».

always: переход без условия

Условие always прыгает всегда, и поля сравнения при этом пропадают из строки — сравнивать нечего.

Нужен он в двух местах: замкнуть цикл с проверкой в начале и уйти из ветки туда, где продолжается общая часть программы. Второе встречается чаще, чем кажется: end начинает итерацию заново, а always позволяет продолжить с нужного места.

Заметка

Условия «не меньше» в списке нет, и искать его не надо: это greaterThanEq. Отрицания у jump тоже нет — «перейти, когда не равно» это notEqual, а не «equal наоборот».

Запомнить

• jump прыгает, если условие верно, и не делает ничего, если оно ложно.
• Цель перехода задают стрелкой: она держится за строку, а не за её номер.
• Выполнение не останавливается на границе ветки — уходить из неё нужно самому.
• end начинает итерацию заново и годится как выход из ветки.
• Условий восемь, и сравнивают они так же, как op.
• В блоке видно знак, а не имя: === вместо strictEqual, not вместо notEqual.
• always прыгает всегда и прячет поля сравнения.

Задание

Поменяйте в первой строке семёрку на 12 и пройдите пример заново. Теперь условие верно, прыжок случится, и мало станет нулём — вторая ветка выполнится, а первая нет.

Потом удалите строку end и снова поставьте 7. мало станет сначала единицей, а потом нулём: программа выполнит обе ветки подряд, потому что уходить из первой стало некуда.