[python] “y가 아닌 x”또는 “y가 아닌 x”

그들은 항상 동일한 결과를 제공합니다.

사실, not 'ham' in 'spam and eggs'“in”연산이 아닌 단일 “not in”연산을 수행 한 다음 결과를 부정하는 특수한 경우 인 것처럼 보입니다.

>>> import dis

>>> def notin():
    'ham' not in 'spam and eggs'
>>> dis.dis(notin)
  2           0 LOAD_CONST               1 ('ham')
              3 LOAD_CONST               2 ('spam and eggs')
              6 COMPARE_OP               7 (not in)
              9 POP_TOP             
             10 LOAD_CONST               0 (None)
             13 RETURN_VALUE    

>>> def not_in():
    not 'ham' in 'spam and eggs'
>>> dis.dis(not_in)
  2           0 LOAD_CONST               1 ('ham')
              3 LOAD_CONST               2 ('spam and eggs')
              6 COMPARE_OP               7 (not in)
              9 POP_TOP             
             10 LOAD_CONST               0 (None)
             13 RETURN_VALUE    

>>> def not__in():
    not ('ham' in 'spam and eggs')
>>> dis.dis(not__in)
  2           0 LOAD_CONST               1 ('ham')
              3 LOAD_CONST               2 ('spam and eggs')
              6 COMPARE_OP               7 (not in)
              9 POP_TOP             
             10 LOAD_CONST               0 (None)
             13 RETURN_VALUE        

>>> def noteq():
    not 'ham' == 'spam and eggs'
>>> dis.dis(noteq)
  2           0 LOAD_CONST               1 ('ham')
              3 LOAD_CONST               2 ('spam and eggs')
              6 COMPARE_OP               2 (==)
              9 UNARY_NOT           
             10 POP_TOP             
             11 LOAD_CONST               0 (None)
             14 RETURN_VALUE      

처음에는 항상 동일한 결과를 제공한다고 생각했지만 not그 자체로는 a in b다른 부울 표현식처럼 쉽게 적용 할 수있는 낮은 우선 순위의 논리 부정 연산자 인 반면 not in편리함과 명확성을위한 별도의 연산자라고 생각했습니다. .

위의 분해가 드러났습니다! not분명히 논리 부정 연산자이지만 형식 not a in b은 실제로 일반 연산자를 사용하지 않도록 특수한 경우로 보입니다 . 이것은 단순히 동일한 값을 생성하는 표현식이 아니라 not a in b문자 그대로와 동일한 표현식을 만듭니다 a not in b.