Поддерживает ли Python короткое замыкание?

Поддерживает ли Python короткое замыкание в булевых выражениях?

Ответ 1

Yep, короткое замыкание операторов and и or - см. документы.

Ответ 2

Короткое замыкание в операторе `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:

        False    None    0    ""    ()    []     {}

Короткое замыкание в функции: `any()`, `all()`:

Python any() и all() функции также поддерживают короткое замыкание. Как показано в документах; они оценивают каждый элемент последовательности в порядке, пока не найдут результат, который позволяет получить ранний выход в оценке. Рассмотрим нижеприведенные примеры, чтобы понять их.

Функция any() проверяет, есть ли какой-либо элемент True. Он прекращает выполнение, как только появляется 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 оператор возвращает left most value, для которого bool(value) == True else right самое ложное значение (в соответствии с поведением короткого замыкания), примеры:

>>> 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 (а не пустая строка), ему присваивается имя (ничего не изменяется); в противном случае по умолчанию '<unknown>' присваивается name.

Ответ 3

Да. Попробуйте следующее в интерпретаторе python:

>>>False and 3/0
False
>>>True and 3/0
ZeroDivisionError: integer division or modulo by zero

или

>>>True or 3/0
True
>>>False or 3/0
ZeroDivisionError: integer division or modulo by zero