Логический тип переменной

Что такое логический тип

Логический тип (его также называют булевским) — это тип переменной, которая может принимать всего два значения: истина или ложь. В разных языках программирования эти значения записывают по-разному, например true и false, но смысл всегда один: «да/нет», «выполнено/не выполнено». Такие переменные удобны, когда нужно запомнить результат проверки условия.

Откуда берутся логические значения

Логическое значение получается при сравнении или при использовании логических операций. Результат выражения a > b — это истина или ложь, и его можно сохранить в логическую переменную.

Использование в условиях

Логическую переменную можно прямо подставлять в условный оператор и в условие цикла. Это делает программу понятнее: вместо длинной проверки пишут осмысленное имя.

Разбор примера

Пусть переменная найдено логического типа (обозначим тип как лог) хранит, нашли ли мы нужный элемент:

лог найдено; найдено := ложь; если a[i] = x то найдено := истина

После цикла достаточно написать если найдено то вывод "есть". Не нужно повторно проверять весь массив — ответ уже хранится в переменной.

Частые ошибки. Пишут если найдено = истина, хотя достаточно просто если найдено. Забывают присвоить начальное значение (обычно ложь) до цикла. Путают логический тип с целым и хранят в нём числа 0 и 1 без необходимости.

Логические операции над переменными

Над логическими значениями определены операции «и», «или», «не». С их помощью из простых проверок строят сложные. Например, переменная годен может стать истинной только тогда, когда выполнены сразу два условия. Результат логической операции — снова логическое значение, его тоже можно сохранить в переменную.

Флаг как приём программирования

Логическую переменную, которая запоминает, случилось ли некоторое событие, называют флагом. Типичный сценарий: до цикла флаг устанавливают в «ложь», а внутри цикла, как только нужное условие выполнилось, переводят в «истина». После цикла по значению флага судят о результате, не просматривая данные заново. Это экономит действия и делает программу понятнее.

Логический тип делает программу выразительнее: вместо того чтобы хранить непонятные числа 0 и 1, программист работает с осмысленными значениями «истина» и «ложь». Это снижает число ошибок и помогает легче читать чужой код.

Кратко о главном

• Логический тип принимает два значения: истина и ложь.
• Результат сравнения — логическое значение, его можно сохранить.
• Логическую переменную подставляют прямо в условие.
• Перед циклом-поиском переменной задают начальное значение «ложь».
• Запись если найдено равносильна если найдено = истина.