短絡評価を説明するウィキペディアのページ 、&
および|
は、Pythonでは熱心な演算子としてリストされています。これは何を意味し、いつ言語で使用されますか?
ウィキペディアのページが間違っているので修正しました。 |
および&
はブール演算子ではありませんが、are熱心な演算子です。つまり、短絡演算子ではないということです。ご存知かもしれませんが、python and
およびor
演算子の機能は次のとおりです。
>>> def talk(x):
... print "Evaluating: ", bool(x)
... return x
...
>>> talk(1 == 1) or talk(2 == 1) # 2 == 1 is not evaluated
Evaluating: True
True
>>> talk(1 == 1) and talk(2 == 1)
Evaluating: True
Evaluating: False
False
>>> talk(1 == 2) and talk(1 == 3) # 1 == 3 is not evaluated
Evaluating: False
False
私が知る限り、pythonには熱心なブール演算子がありません。たとえば、次のように明示的にコーディングする必要があります。
>>> def eager_or(a, b):
... return a or b
...
>>> eager_or(talk(1 == 1), talk(2 == 1))
Evaluating: True
Evaluating: False
True
a
がまだ短絡している場合でも、関数が呼び出されるとb
およびor
が自動的に評価されるようになりました。
|
と&
の使用法については、数値とともに使用する場合、これらは2項演算子です。
>>> bin(0b11110000 & 0b10101010)
'0b10100000'
>>> bin(0b11110000 | 0b10101010)
'0b11111010'
このように|
をpython wxWidgetsのようなフラグを使用するライブラリへのバインディングと組み合わせて使用する可能性が高いです。
>>> frame = wx.Frame(title="My Frame", style=wx.MAXIMIZE | wx.STAY_ON_TOP)
>>> bin(wx.MAXIMIZE)
'0b10000000000000'
>>> bin(wx.STAY_ON_TOP)
'0b1000000000000000'
>>> bin(wx.MAXIMIZE | wx.STAY_ON_TOP)
'0b1010000000000000'
セットで使用すると、それぞれintersectionおよびnion演算を実行します。
>>> set("abcd") & set("cdef")
set(['c', 'd'])
>>> set("abcd") | set("cdef")
set(['a', 'c', 'b', 'e', 'd', 'f'])
これは、左のオペランドと右のオペランドが常に評価されることを意味します。 &
はビットごとのAND演算子であり、|
はビット単位のOR演算子です。
&---->ビットごとに、つまりビットごとにANDするために使用されます
同様に
| ---> ORビットごとに使用
python問題が見つかったら、python.orgを使用してみてください。
ここで他の回答に欠けているのは、&
および|
がPythonで普遍的な意味を持たないことです。それらの意味は、マジック__and__
および__or__
メソッドを使用して、オペランドのタイプに依存します。これらはメソッドであるため、引数として渡される前に、オペランドは両方とも評価されます(つまり、ショートサーキットなし)。
bool
値では、これらは論理「and」および論理「or」です。
>>> True & False
False
>>> True | False
True
>>> bool.__and__(True, False)
False
>>> bool.__or__(True, False)
True
int
値では、ビット単位の「and」およびビット単位の「or」です。
>>> bin(0b1100 & 0b1010)
'0b1000'
>>> bin(0b1100 | 0b1010)
'0b1110'
>>> bin(int.__and__(0b1100, 0b1010))
'0b1000'
>>> bin(int.__or__(0b1100, 0b1010))
'0b1110'
セットでは、それらは交差と和集合です。
>>> {1, 2} & {1, 3}
{1}
>>> {1, 2} | {1, 3}
{1, 2, 3}
>>> set.__and__({1, 2}, {1, 3})
{1}
>>> set.__or__({1, 2}, {1, 3})
{1, 2, 3}
追加のメモのカップル:
__and__
および__or__
メソッドは、インスタンスではなくクラスで常に検索されます。したがって、obj.__and__ = lambda x, y: ...
を割り当てても、呼び出されるのはobj.__class__.__and__
のままです。__Rand__
および__ror__
メソッドが定義されている場合は、それらが優先されます。詳細は Python言語リファレンス を参照してください。