Короткое замыкание в операторе and, or:
Давайте сначала определим полезную функцию, чтобы определить, выполняется что-то или нет. Простая функция, которая принимает аргумент, печатает сообщение и возвращает ввод без изменений.
>>> def fun(i):
... print "executed"
... return i
...
Можно наблюдать за действиями Python по короткому замыканию из and, or операторов в следующем примере:
>>> fun(1)
executed
1
>>> 1 or fun(1) # due to short-circuiting "executed" not printed
1
>>> 1 and fun(1) # fun(1) called and "executed" printed
executed
1
>>> 0 and fun(1) # due to short-circuiting "executed" not printed
0
Примечание: Следующие значения рассматриваются интерпретатором как ложные:
False None 0 "" () [] {}
Короткое замыкание в функции: any(), all():
Функции
Python any() и all() также поддерживают короткое замыкание. Как показано в документах; они оценивают каждый элемент последовательности по порядку, пока не найдут результат, позволяющий досрочно выйти из оценки. Рассмотрим примеры ниже, чтобы понять оба.
Функция any() проверяет, является ли какой-либо элемент истинным. Он прекращает выполнение, как только встречается True, и возвращает True.
>>> any(fun(i) for i in [1, 2, 3, 4]) # bool(1) = True
executed
True
>>> any(fun(i) for i in [0, 2, 3, 4])
executed # bool(0) = False
executed # bool(2) = True
True
>>> any(fun(i) for i in [0, 0, 3, 4])
executed
executed
executed
True
Функция all() проверяет, что все элементы имеют значение True, и прекращает выполнение при обнаружении False:
>>> all(fun(i) for i in [0, 0, 3, 4])
executed
False
>>> all(fun(i) for i in [1, 0, 3, 4])
executed
executed
False
Короткое замыкание в цепочечном сравнении:
Дополнительно в Python
Сравнения могут быть произвольно объединены ; например, x < y <= z эквивалентно x < y and y <= z, за исключением того, что y оценивается только один раз (но в обоих случаях z вообще не оценивается, когда x < y считается ложным).
>>> 5 > 6 > fun(3) # same as: 5 > 6 and 6 > fun(3)
False # 5 > 6 is False so fun() not called and "executed" NOT printed
>>> 5 < 6 > fun(3) # 5 < 6 is True
executed # fun(3) called and "executed" printed
True
>>> 4 <= 6 > fun(7) # 4 <= 6 is True
executed # fun(3) called and "executed" printed
False
>>> 5 < fun(6) < 3 # only prints "executed" once
executed
False
>>> 5 < fun(6) and fun(6) < 3 # prints "executed" twice, because the second part executes it again
executed
executed
False
Edit:
Еще один интересный момент: : - Логические операторы and, or в Python возвращает значение операнда вместо логического (True или False). Например:
Операция x and y дает результат if x is false, then x, else y
В отличие от других языков, например &&, || операторы в C, которые возвращают 0 или 1.
Примеры:
>>> 3 and 5 # Second operand evaluated and returned
5
>>> 3 and ()
()
>>> () and 5 # Second operand NOT evaluated as first operand () is false
() # so first operand returned
Аналогично, оператор or возвращает самое левое значение, для которого bool(value) == True остальное самое правое ложное значение (в зависимости от поведения короткого замыкания), примеры:
>>> 2 or 5 # left most operand bool(2) == True
2
>>> 0 or 5 # bool(0) == False and bool(5) == True
5
>>> 0 or ()
()
Итак, как это полезно? Один пример использования приведен в Практическом Python Магнус Ли Хетланд:
Допустим, пользователь должен ввести свое имя, но может не вводить ничего, в этом случае вы хотите использовать значение по умолчанию '<unknown>'. Вы можете использовать оператор if, но вы также можете сформулировать очень кратко:
In [171]: name = raw_input('Enter Name: ') or '<Unkown>'
Enter Name:
In [172]: name
Out[172]: '<Unkown>'
Другими словами, если возвращаемое значение из raw_input равно true (не пустая строка), оно присваивается name (ничего не меняется); в противном случае по умолчанию '<unknown>' назначено name.