O Python suporta curto-circuito?

Respostas:

304

Sim, tanto os operadores andquanto o orcurto-circuito - consulte a documentação .

Alex Martelli
fonte
192

Comportamento de curto-circuito no operador and, or:

Vamos primeiro definir uma função útil para determinar se algo é executado ou não. Uma função simples que aceita um argumento, imprime uma mensagem e retorna a entrada inalterada.

>>> def fun(i):
...     print "executed"
...     return i
... 

Pode-se observar o comportamento de curto-circuito do Python de and, oroperadores no exemplo a seguir:

>>> 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

Nota: Os seguintes valores são considerados pelo intérprete como falsos:

        False    None    0    ""    ()    []     {}

Comportamento de curto-circuito na função: any(), all():

As funções any()e all()funções do Python também suportam curto-circuito. Como mostrado nos documentos; eles avaliam cada elemento de uma sequência em ordem, até encontrar um resultado que permita uma saída antecipada da avaliação. Considere os exemplos abaixo para entender os dois.

A função any()verifica se algum elemento é True. Ele para de executar assim que um True é encontrado e retorna 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

A função all()verifica se todos os elementos são True e para de executar assim que um False é encontrado:

>>> 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

Comportamento de curto-circuito na comparação encadeada:

Além disso, em Python

As comparações podem ser encadeadas arbitrariamente ; por exemplo, x < y <= zé equivalente a x < y and y <= z, exceto que yé avaliado apenas uma vez (mas em ambos os casos znão é avaliado quando x < yé considerado falso).

>>> 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:
Mais um ponto interessante notar : - Lógico and,or operadores em Python retorna de um operando valor em vez de um booleano ( Trueou False). Por exemplo:

A operação x and yfornece o resultadoif x is false, then x, else y

Diferente de outros idiomas &&, por exemplo , ||operadores em C que retornam 0 ou 1.

Exemplos:

>>> 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 

Da mesma forma, o oroperador retorna o valor mais à esquerda para o qual bool(value)== Trueelse mais valor mais à direita (de acordo com o comportamento de curto-circuito), exemplos:

>>> 2 or 5    # left most operand bool(2) == True
2    
>>> 0 or 5    # bool(0) == False and bool(5) == True
5
>>> 0 or ()
()

Então, como isso é útil? Um exemplo de uso dado em Practical Python por Magnus Lie Hetland:
Digamos que um usuário deve digitar seu nome, mas pode optar por não inserir nada; nesse caso, você deseja usar o valor padrão '<unknown>'. Você pode usar uma instrução if, mas também pode declarar as coisas de maneira muito sucinta:

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

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

Em outras palavras, se o valor de retorno de raw_input for verdadeiro (não uma sequência vazia), ele será atribuído ao nome (nada será alterado); caso contrário, o padrão '<unknown>'é atribuído a name.

Grijesh Chauhan
fonte
1
Qualificação menor: a lista explícita de valores falsos é um pouco enganadora. Qualquer tipo pode ter um ou mais valores falsos. Por convenção, todos os tipos numéricos com valor 0são Falsas (por isso não é apenas 0, é 0.0, 0j, decimal.Decimal(0), fractions.Fraction(0), etc.), assim como todas as coleções de comprimento 0(tão em cima do que você listou, b''[PY3], u''[Py2] e set()/ frozenset()são todos os built-ins que são avaliados como falsos), mas os tipos definidos pelo usuário / de terceiros podem definir seus próprios (com __bool__[Py3] / __nonzero__[Py2] direta ou indiretamente, definindo __len__).
ShadowRanger
@ShadowRanger aqui seu comentário completará minha resposta. obrigado por adicionar esta nota.
Grijesh Chauhan
Além disso, python duplas avalia curto condicionais circuito, se usado mais tarde como booleans ... a menos que eles estão em uma instrução if, que é privilegiada: gist.github.com/earonesty/08e9cbe083a5e0583feb8a34cc538010
Erik Aronesty
48

Sim. Tente o seguinte no seu intérprete python:

e

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

ou

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