Dans la page Wikipedia décrivant l'évaluation des courts-circuits , &
et |
sont répertoriés comme des opérateurs désireux en Python. Qu'est-ce que cela signifie et quand sont-ils utilisés dans la langue?
La page wikipedia est fausse, je l'ai corrigée. |
et &
ne sont pas des opérateurs booléens, même s'ils sont des opérateurs enthousiastes, ce qui signifie simplement qu'ils ne sont pas des opérateurs de court-circuit. Comme vous le savez probablement, voici comment fonctionnent les opérateurs python and
et 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
Pour autant que je sache, python n'a pas d'opérateurs booléens enthousiastes, ils devraient être explicitement codés, par exemple comme ceci:
>>> def eager_or(a, b):
... return a or b
...
>>> eager_or(talk(1 == 1), talk(2 == 1))
Evaluating: True
Evaluating: False
True
Maintenant, a
et b
sont automatiquement évalués lorsque la fonction est appelée, même si or
est toujours en court-circuit.
Quant à l'utilisation de |
et &
, lorsqu'ils sont utilisés avec des nombres, ce sont des opérateurs binaires:
>>> bin(0b11110000 & 0b10101010)
'0b10100000'
>>> bin(0b11110000 | 0b10101010)
'0b11111010'
Vous êtes le plus susceptible d'utiliser |
de cette façon avec les liaisons python aux bibliothèques qui utilisent des indicateurs, comme 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'
Lorsqu'ils sont utilisés avec des ensembles, ils effectuent respectivement les opérations intersection et nion:
>>> set("abcd") & set("cdef")
set(['c', 'd'])
>>> set("abcd") | set("cdef")
set(['a', 'c', 'b', 'e', 'd', 'f'])
Cela signifie que l'opérande gauche et l'opérande droit sont toujours évalués. &
est l'opérateur ET au niveau du bit et |
est l'opérateur au niveau du bit OR.
& ----> Utilisé pour ET au niveau du bit, c'est-à-dire bit par bit
de même,
| ---> utilisé pour OR au niveau du bit
Chaque fois que vous rencontrez un problème python, essayez d'utiliser python.org, son utile
Il manque quelque chose dans les autres réponses ici: &
et |
n'ont pas de sens universel en Python; leur signification dépend des types d'opérandes, en utilisant la magie __and__
et __or__
méthodes. Puisqu'il s'agit de méthodes, les opérandes sont tous deux évalués (c'est-à-dire sans court-circuit) avant d'être passés en arguments.
Sur les valeurs bool
, elles sont logiques "et" et logiques "ou":
>>> True & False
False
>>> True | False
True
>>> bool.__and__(True, False)
False
>>> bool.__or__(True, False)
True
Sur les valeurs int
, elles sont au niveau du bit "et" et au niveau du bit "ou":
>>> bin(0b1100 & 0b1010)
'0b1000'
>>> bin(0b1100 | 0b1010)
'0b1110'
>>> bin(int.__and__(0b1100, 0b1010))
'0b1000'
>>> bin(int.__or__(0b1100, 0b1010))
'0b1110'
Sur les décors, ils sont intersection et union:
>>> {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}
Quelques notes supplémentaires:
__and__
et __or__
les méthodes sont toujours recherchées sur la classe, pas sur l'instance. Donc, si vous attribuez obj.__and__ = lambda x, y: ...
alors c'est toujours obj.__class__.__and__
qui est invoqué.__Rand__
et __ror__
les méthodes de la classe seront prioritaires si elles sont définies.Voir Référence du langage Python pour plus de détails.