Czy Python obsługuje zwarcie?

Odpowiedzi:

192

Zwarcie w zachowanie operatora and, or:

Najpierw zdefiniujmy przydatną funkcję do ustalenia, czy coś jest wykonywane, czy nie. Prosta funkcja, która przyjmuje argument, drukuje komunikat i zwraca dane wejściowe bez zmian.

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

Można zaobserwować na zwarcie zachowanie Pythona z and, oroperatorów w poniższym przykładzie:

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

Uwaga: Tłumacz uznaje następujące wartości za fałszywe:

        False    None    0    ""    ()    []     {}

Zwarcie w funkcji: any(), all():

Python any()i all()funkcje obsługują również zwarcie. Jak pokazano w dokumentach; oceniają każdy element sekwencji w kolejności, aż do znalezienia wyniku, który umożliwia wcześniejsze wyjście z oceny. Rozważ poniższe przykłady, aby zrozumieć oba.

Funkcja any()sprawdza, czy którykolwiek element ma wartość True. Przestaje działać, gdy tylko zostanie napotkana wartość True i zwraca wartość 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

Funkcja all()sprawdza, czy wszystkie elementy są Prawdą i przestaje działać, gdy tylko pojawi się Fałsz:

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

Zwarcie w porównaniu łańcuchowym:

Dodatkowo w Pythonie

Porównania mogą być łączone dowolnie ; na przykład x < y <= zjest równoważne x < y and y <= z, z wyjątkiem tego, że yjest oceniane tylko raz (ale w obu przypadkach zw ogóle nie jest oceniane, gdy x < yzostanie uznane za fałszywe).

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

Edycja:
Jeszcze jeden interesujący punkt do zapamiętania : - Logiczne and,or operatory w Pythonie zwracają wartość argumentu zamiast wartości logicznej ( Truelub False). Na przykład:

Operacja x and ydaje wynikif x is false, then x, else y

W przeciwieństwie do innych języków np &&, ||operatorów w C że powrót albo 0 albo 1.

Przykłady:

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

Podobnie oroperator zwraca wartość najbardziej lewą, dla której bool(value)== Trueinna wartość najbardziej prawidłowa (zgodnie z zachowaniem zwarciowym), przykłady:

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

Jak to się przydaje? Jedno przykładowe zastosowanie podane w Practical Python Autor: Magnus Lie Hetland:
Powiedzmy, że użytkownik powinien wpisać swoje imię, ale może zdecydować się na nic, w takim przypadku chcesz użyć wartości domyślnej '<unknown>'. Możesz użyć instrukcji if, ale możesz też bardzo zwięźle stwierdzić:

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

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

Innymi słowy, jeśli zwracana wartość z raw_input ma wartość true (nie jest pustym ciągiem), jest przypisywana do name (nic się nie zmienia); w przeciwnym razie wartość domyślna '<unknown>'jest przypisana do name.

Grijesh Chauhan
źródło
1
Drobne spory: wyraźna lista wartości fałszowania jest nieco myląca. Każdy typ może mieć jedną lub więcej wartości fałszowania. Zgodnie z przyjętą konwencją, wszystkie typy liczbowe o wartości 0są falsy (tak, to nie tylko 0, to 0.0, 0j, decimal.Decimal(0), fractions.Fraction(0), itd.), Podobnie jak wszystkie kolekcje o długości 0(tak na górze, co wymienione, b''[Py3] u''[PY2] i set()/ frozenset()są wszystkie wbudowane, które oceniają jako fałsz), ale typy zdefiniowane przez użytkownika / strony trzecie mogą definiować własne (za pomocą __bool__[Py3] / __nonzero__[Py2] bezpośrednio lub pośrednio poprzez zdefiniowanie __len__).
ShadowRanger
@ShadowRanger tutaj twój komentarz uzupełni moją odpowiedź. dzięki za dodanie tej notatki.
Grijesh Chauhan
Także python podwójnie ocenia warunkowe spięcia, jeśli później zostaną użyte jako booleany ... chyba że są w instrukcji if, która jest uprzywilejowana: gist.github.com/earonesty/08e9cbe083a5e0583feb8a34cc538010
Erik Aronesty
48

Tak. Spróbuj wykonać następujące czynności w interpreterie języka Python:

i

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

lub

>>>True or 3/0
True
>>>False or 3/0
ZeroDivisionError: integer division or modulo by zero
Caprooja
źródło