§ 19. Программирование ветвлений

Определения и обозначения

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

Условие — логическое выражение, результатом вычисления которого является истина или ложь. Например, выражение x > 0 истинно, если значение x положительное, и ложно в остальных случаях. Условие нужно, чтобы программа могла проверить ситуацию и решить, какой путь выбрать.

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

Составное условие — логическое выражение, образованное из нескольких условий с помощью операций И, ИЛИ и НЕ. Например, для проверки, что x находится между 0 и 10 включительно, можно объединить условия x ≥ 0 и x ≤ 10 операцией И. Составные условия помогают описывать сложный выбор без множества отдельных проверок.

Как это устроено

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

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

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

Если вариантов больше двух, условия обычно проверяют последовательно: сначала одно, затем следующее, если предыдущая проверка не подошла. При выполнении подходящей проверки программа выбирает соответствующую ветвь, поэтому порядок условий влияет на результат. Например, для диапазонов чисел сначала удобно проверить, не меньше ли значение нижней границы, а затем — не превышает ли верхнюю. Границы нужно задать так, чтобы каждый допустимый случай попадал ровно в нужный вариант.

Вложенное ветвление — это ветвление, помещённое внутрь другой ветви, поэтому второе условие проверяется только при выполнении первой проверки. Такой способ полезен, когда выбор зависит сразу от нескольких этапов, но при большом количестве уровней усложняет чтение программы. Составные условия позволяют объединить проверки операциями И, ИЛИ и НЕ. Скобки помогают явно задать, какие части выражения нужно рассматривать вместе, и избежать неверной интерпретации приоритета операций.

Варианты ветвления в программе

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

Разбор задач

Задача 1. Даны два числа. Вывести сообщение, если первое число положительное. Нужно проверить только одно условие: больше ли первое число нуля. Если да, выводим сообщение, а для нулевого или отрицательного значения отдельное действие не требуется. Значит, подойдёт неполное ветвление.

1. Обозначим первое введённое число через a, а затем запишем условие a > 0.
2. Если результат проверки истинен, выведем сообщение «Первое число положительное».
3. Если условие ложно, не выводим это сообщение и продолжаем программу.

Ответ: проверка a > 0 с неполным ветвлением решает задачу; второе число в условии не используется. Например, при a = 5 сообщение появится, а при a = 0 или a = −3 — нет.

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

1. Обозначим введённое число через n и вычислим остаток n mod 2.
2. Проверим условие n mod 2 = 0. Если оно истинно, выведем сообщение «Чётное».
3. Иначе выведем сообщение «Нечётное», поскольку у целого числа остаток при делении на 2 не равен нулю.

Ответ: используется полное ветвление с проверкой остатка. Например, для n = 8 остаток равен 0, а для n = 7 — 1, поэтому программа выдаст разные сообщения.

Задача 3. По температуре вывести одну из рекомендаций: ниже нуля, от нуля до двадцати включительно или выше двадцати. Возможны три диапазона, и каждый должен соответствовать ровно одной рекомендации. Чтобы не проверять одинаковые случаи повторно, сначала отделим значения ниже нуля, затем верхнюю границу среднего диапазона. Остаток после этих проверок будет означать температуру выше двадцати.

1. Обозначим температуру через t. Сначала проверим t < 0 и при истинном результате выведем рекомендацию для температуры ниже нуля.
2. Если первая проверка ложна, проверим t ≤ 20. Тогда остаётся диапазон 0 ≤ t ≤ 20, для которого выводится вторая рекомендация.
3. Если обе проверки ложны, получаем t > 20 и выводим третью рекомендацию.

Ответ: последовательность условий верно распределяет значения: −1 попадёт в первый диапазон, 0 и 20 — во второй, 21 — в третий. Проверка границ подтверждает, что температура ровно 0 не считается отрицательной, а ровно 20 не относится к верхнему диапазону.

Типичные ошибки

Подменять сравнение присваиванием. Сравнение выясняет, выполняется ли отношение между значениями, а присваивание меняет значение переменной. Путаница возникает из-за похожей записи этих операций в некоторых языках программирования. Проверь себя: в условии должна быть проверка вроде x = 0 или x > 0 в синтаксисе выбранного языка, а команда присваивания должна стоять отдельно.

Не учитывать случай, когда условие ложно. В неполном ветвлении команда внутри ветви при ложном условии не выполняется, но это легко забыть, ожидая, что программа автоматически сделает противоположное действие. Проверь, требуется ли реакция на оба результата. Если для каждого нужна своя команда, используй полное ветвление.

Неверно задавать границы диапазонов или порядок проверок. Тогда граничное значение может попасть не в ту ветвь либо не попасть ни в одну. Ошибка часто появляется, когда в условиях смешивают знаки < и ≤ или проверяют широкий диапазон раньше узкого. Подставь нижнюю и верхнюю границы, а также соседние с ними значения и проследи, куда направит каждое из них программа.

Ошибаться в составном условии или группировке проверок. Если неверно выбрать И вместо ИЛИ или не поставить нужные скобки, итоговое условие может оказаться истинным не для тех случаев. Это происходит, когда несколько проверок записывают в одну строку, не проверив смысл выражения целиком. Проверь каждую часть отдельно и вычисли условие на примерах; при сомнении расставь скобки явно.

Связь с другими темами

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

Что запомнить

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