Pythonはショートサーキットをサポートしていますか?


回答:



192

演算子and、の短絡動作or

まず、何かが実行されたかどうかを判断するための便利な関数を定義しましょう。引数を受け取り、メッセージを出力して、入力を変更せずに返す単純な関数。

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

次の例では、Pythonのandor演算子の短絡動作を観察できます。

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

Pythonの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 <= zy1回しか評価されない点が異なります(ただし、がfalseであることが判明した場合、どちらの場合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

編集:
ノートへのもう一つの興味深いポイント: -論理andor Pythonで演算子は、オペランドの返す値を代わりにブール(のTrueFalse)。例えば:

操作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以外の場合は(短絡動作に従って)最も誤った値を返します。例:

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

それで、これはどのように役立ちますか?Magnus Lie Hetland によるPractical Pythonでの使用例の1つ:
ユーザーが自分の名前を入力することになっているが、何も入力しないことを選択したとします'<unknown>'。この場合、デフォルト値を使用します。ifステートメントを使用できますが、物事を非常に簡潔に述べることもできます。

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

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

つまり、raw_inputからの戻り値がtrue(空の文字列ではない)の場合は、nameに割り当てられます(何も変更されません)。それ以外の場合は、デフォルト'<unknown>'がに割り当てられnameます。


1
軽微な誤解:偽の値の明示的なリストは少し誤解を招きます。どのタイプでも、1つ以上の偽の値を持つことができます。慣例により、値を持つすべての数値型は、0(それだけではありませんのでfalsyあり0、それはだ0.00jdecimal.Decimal(0)fractions.Fraction(0)などすべてのコレクションは、長さである、など、) 0(あなたがリストされているものの上に、b''[PY3]、u''[PY2]およびset()/ frozenset()あります偽として評価されるすべての組み込み)ですが、ユーザー定義/サードパーティのタイプは独自に定義できます(__bool__[Py3] / __nonzero__[Py2]で直接、またはを定義して間接的に__len__)。
ShadowRanger

@ShadowRangerここにあなたのコメントが私の答えを完成させます。このメモを追加していただきありがとうございます。
Grijesh Chauhan

また、Pythonは、ブール値として後で使用される場合、短絡された条件を二重評価します...それらが特権付きのifステートメントに含まれていない限り:gist.github.com/earonesty/08e9cbe083a5e0583feb8a34cc538010
Erik Aronesty

48

はい。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
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.