python - Как ускорить булевую оценку выражения [duplicate]

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

Короткое замыкание в операторе 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    ""    ()    []     {}

Python's Функции 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

Изменить: еще один интересный момент: - Логические 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 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 by Magnus Lie Hetland: Предположим, что пользователь должен ввести свое имя, но может отказаться вводить ничего, и в этом случае вы хотите использовать значение по умолчанию '<unknown>'. Вы могли бы использовать оператор if, но вы могли бы также сформулировать вещи очень кратко:

In [171]: name = raw_input('Enter Name: ') or '<Unkown>'
Enter Name: 

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

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