Для операций над логическими значениями в JavaScript есть ||
(ИЛИ), &&
(И) и !
(НЕ).
Хоть они и называются «логическими», но в JavaScript могут применяться к значениям любого типа и возвращают также значения любого типа.
Оператор ИЛИ выглядит как двойной символ вертикальной черты:
Логическое ИЛИ в классическом программировании работает следующим образом: "если хотя бы один из аргументов true
, то возвращает true
, иначе – false
". В JavaScript, как мы увидим далее, это не совсем так, но для начала рассмотрим только логические значения.
Получается следующая «таблица результатов»:
Если значение не логического типа – то оно к нему приводится в целях вычислений. Например, число 1
будет воспринято как true
, а 0
– как false
:
Обычно оператор ИЛИ используется в if
, чтобы проверить, выполняется ли хотя бы одно из условий, например:
Можно передать и больше условий:
JavaScript вычисляет несколько ИЛИ слева направо. При этом, чтобы экономить ресурсы, используется так называемый «короткий цикл вычисления».
Допустим, вычисляются несколько ИЛИ подряд: a || b || c || ...
. Если первый аргумент – true
, то результат заведомо будет true
(хотя бы одно из значений – true
), и остальные значения игнорируются.
Это особенно заметно, когда выражение, переданное в качестве второго аргумента, имеет сторонний эффект – например, присваивает переменную.
При запуске примера ниже присвоение x
не произойдёт:
…А в примере ниже первый аргумент – false
, так что ИЛИ попытается вычислить второй, запустив тем самым присваивание:
||
запинается на «правде»,
&&
запинается на «лжи».
Итак, как мы видим, оператор ИЛИ вычисляет ровно столько значений, сколько необходимо – до первого true
.
При этом оператор ИЛИ возвращает то значение, на котором остановились вычисления. Причём, не преобразованное к логическому типу.
Например:
Это используют, в частности, чтобы выбрать первое «истинное» значение из списка:
Если все значения «ложные», то ||
возвратит последнее из них:
Итак, оператор ||
вычисляет операнды слева направо до первого «истинного» и возвращает его, а если все ложные – то последнее значение.
Иначе можно сказать, что "||
запинается на правде".
Оператор И пишется как два амперсанда &&
:
В классическом программировании И возвращает true
, если оба аргумента истинны, а иначе – false
:
Пример с if
:
Как и в ИЛИ, в И допустимы любые значения:
К И применим тот же принцип «короткого цикла вычислений», но немного по-другому, чем к ИЛИ.
Если левый аргумент – false
, оператор И возвращает его и заканчивает вычисления. Иначе – вычисляет и возвращает правый аргумент.
Например:
Можно передать и несколько значений подряд, при этом возвратится первое «ложное» (на котором остановились вычисления), а если его нет – то последнее:
Итак, оператор &&
вычисляет операнды слева направо до первого «ложного» и возвращает его, а если все истинные – то последнее значение.
Иначе можно сказать, что "&&
запинается на лжи".
&&
больше, чем у ||
Приоритет оператора И &&
больше, чем ИЛИ ||
, так что он выполняется раньше.
Поэтому в следующем коде сначала будет вычислено правое И: 1 && 0 = 0
, а уже потом – ИЛИ.
&&
вместо if
Оператор &&
в простых случаях можно использовать вместо if
, например:
Действие в правой части &&
выполнится только в том случае, если до него дойдут вычисления. То есть, alert
сработает, если в левой части будет true
.
Получился аналог:
Однако, как правило, вариант с if
лучше читается и воспринимается. Он более очевиден, поэтому лучше использовать его. Это, впрочем, относится и к другим неочевидным применениям возможностей языка.
Оператор НЕ – самый простой. Он получает один аргумент. Синтаксис:
Действия !
:
true/false
.Например:
В частности, двойное НЕ используют для преобразования значений к логическому типу: