Does Python support short-circuiting?

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

Да, оба оператора and и or имеют короткое замыкание - см. Документы.

Поведение при коротком замыкании в operator 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():

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

Функция 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() проверяет, что все элементы истинны, и прекращает выполнение, как только встречается значение 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

Редактировать:
Следует отметить еще один интересный момент :- Логические 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 else самое правое значение false (в соответствии с поведением при коротком замыкании), примеры:

>>> 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 '<Unknown>'
Enter Name: 

In [172]: name
Out[172]: '<Unknown>'

Другими словами, если возвращаемое значение из raw_input является true (не пустой строкой), оно присваивается name (ничего не меняется); в противном случае по умолчанию '<Unknown>' присваивается name.

ДА. Попробуйте следующее в вашем интерпретаторе 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