Поддерживает ли Python короткое замыкание?
Поддерживает ли Python короткое замыкание в логических выражениях?
Переведено автоматически
Ответ 1
Да, оба оператора and
и or
имеют короткое замыкание - см. Документы.
Ответ 2
Поведение при коротком замыкании в 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
.
Ответ 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