operador de python, no hay operador para "no entrar"

Question

Esta es una pregunta posiblemente tonta, pero al mirar the mapping of operators to functions noté que no hay una función para expresar el operador not in. Al principio pensé que esto era probablemente porque el intérprete simplemente reordena esto para que sea not x in y, pero hay una función para is not que parece que debería comportarse exactamente igual que not in. ¿Me estoy perdiendo algo, o ese operador realmente no existe?

Aquí hay un ejemplo muy estúpida en la que podría querer esto:

def compare_iter(a,b,func): 
    return [func(aa,bb) for aa,bb in zip(a,b)] 

my_compare=compare_iter(xx,yy,lambda x,y:x not in y) #lambda -- yuck 
my_compare=map(operator.not_,compare_iter(xx,yy,operator.contains) #extra map? grr... 
#it would be nice to do: my_compare=compare_iter(xx,yy,operator.not_contains) 

Por supuesto que podría escribir mi propia función para esto, pero entonces pagar un precio en la eficiencia mientras que el módulo operador podría empujar este código a cabo de python y, por lo tanto, ejecutar más rápido.

Answer 1

Aquí no es necesaria otra función. not in es la inversa de in, por lo que tiene las siguientes asignaciones:

obj in seq => contains(seq, obj) 

obj not in seq => not contains(seq, obj) 

tienes razón esto no es consistente con is/is not, ya que las pruebas de identidad debe ser simétrica. Esto podría ser un artefacto de diseño.

Answer 2

Usted puede encontrar la siguiente función y desmontaje de ser útil para la comprensión de los operadores:

>>> def test(): 
     if 0 in(): pass 
     if 0 not in(): pass 
     if 0 is(): pass 
     if 0 is not(): pass 
     return None 

>>> dis.dis(test) 
    2   0 LOAD_CONST    1 (0) 
       3 LOAD_CONST    2 (()) 
       6 COMPARE_OP    6 (in) 
       9 POP_JUMP_IF_FALSE  15 
      12 JUMP_FORWARD    0 (to 15) 

    3  >> 15 LOAD_CONST    1 (0) 
      18 LOAD_CONST    3 (()) 
      21 COMPARE_OP    7 (not in) 
      24 POP_JUMP_IF_FALSE  30 
      27 JUMP_FORWARD    0 (to 30) 

    4  >> 30 LOAD_CONST    1 (0) 
      33 LOAD_CONST    4 (()) 
      36 COMPARE_OP    8 (is) 
      39 POP_JUMP_IF_FALSE  45 
      42 JUMP_FORWARD    0 (to 45) 

    5  >> 45 LOAD_CONST    1 (0) 
      48 LOAD_CONST    5 (()) 
      51 COMPARE_OP    9 (is not) 
      54 POP_JUMP_IF_FALSE  60 
      57 JUMP_FORWARD    0 (to 60) 

    6  >> 60 LOAD_CONST    0 (None) 
      63 RETURN_VALUE   
>>> 

Como se puede ver, hay una diferencia en cada operador; y sus códigos (en orden) son 6, 7, 8 y 9.