python運營商，沒有運營商的「不在」

Question

這是一個可能愚蠢的問題，但看着the mapping of operators to functions我注意到，沒有功能來表示not in運營商。起初我以爲這可能是因爲解釋器重新排序爲not x in y，但有一個is not的功能，它看起來應該與not in完全一樣。我錯過了什麼，或者那個操作員真的不存在？

這裏是一個非常愚蠢的例子，你可能希望這樣的：

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) 

當然，我可以寫我自己的這個功能，但是你的效率，而運營商模塊付出的代價可能會出推動這個代碼的python，因此執行速度更快。

Answer 1

另一個功能在這裏沒有必要。 not in是in倒數，所以你有以下映射：

obj in seq => contains(seq, obj) 

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

你是對的，這是不是與is/is not一致的，因爲身份測試應該是對稱的。這可能是一個設計神器。

Answer 2

您可能會發現下面的函數和拆卸，爲了解運營商是有幫助的：

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

正如你所看到的，有在各個運營商的差異;和他們的代碼（按順序）是6,7,8和9.