toán tử python, không có toán tử nào cho "not in"

Question

Đây có thể là một câu hỏi ngớ ngẩn, nhưng nhìn vào the mapping of operators to functions Tôi nhận thấy rằng không có hàm nào để biểu thị toán tử not in. Lúc đầu, tôi nghĩ rằng điều này có lẽ là do thông dịch viên chỉ cần biên tập lại là not x in y, nhưng có một chức năng cho is not mà có vẻ như nó sẽ hoạt động chính xác giống như not in. Tôi có thiếu cái gì đó, hay liệu toán tử đó thực sự không tồn tại?

Dưới đây là một ví dụ thực sự ngu ngốc, nơi bạn có thể muốn điều này:

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) 

Dĩ nhiên tôi có thể viết chức năng riêng của tôi cho điều này, nhưng sau đó bạn phải trả giá trong hiệu quả trong khi các mô-đun điều hành có thể đẩy mã này ra của python và do đó thực thi nhanh hơn.

Answer 1

Một chức năng khác không cần thiết ở đây. not in là nghịch đảo của in, vì vậy bạn phải ánh xạ sau:

obj in seq => contains(seq, obj) 

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

Bạn đang quyền này là không phù hợp với is/is not, kể từ khi kiểm tra danh tính nên đối xứng. Đây có thể là một tạo tác thiết kế.

Answer 2

Bạn có thể tìm thấy các chức năng và tháo dỡ sau để thể hữu ích trong việc tìm hiểu các nhà khai thác:

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

Như bạn có thể thấy, có một sự khác biệt trong mỗi nhà khai thác; và mã số của chúng (theo thứ tự) là 6, 7, 8 và 9.