Python if x is not None
или if not x is None
?
TLDR: компилятор байт-кода анализирует их как x is not None
- поэтому для удобства чтения используйте if x is not None
.
читаемость
Мы используем Python, потому что мы ценим такие вещи, как удобочитаемость, удобство использования и правильность различных парадигм программирования, а не производительность.
Python оптимизирован для удобства чтения, особенно в этом контексте.
Разбор и компиляция байт-кода
not
связывается слабее , чем is
, поэтому здесь нет логической разницы. См. документацию :
Операторы is
и is not
проверяют идентичность объекта: x is y
имеет значение true
тогда и только тогда, когда x и y - один и тот же объект. x is not y
дает
значение обратной истинности.
is not
специально предусмотрен в Python грамматика как улучшение читаемости для языка:
comp_op: '<'|'>'|'=='|'>='|'<='|'<>'|'!='|'in'|'not' 'in'|'is'|'is' 'not'
И поэтому это тоже унитарный элемент грамматики.
Конечно, он не анализируется одинаково:
>>> import ast
>>> ast.dump(ast.parse('x is not None').body[0].value)
"Compare(left=Name(id='x', ctx=Load()), ops=[IsNot()], comparators=[Name(id='None', ctx=Load())])"
>>> ast.dump(ast.parse('not x is None').body[0].value)
"UnaryOp(op=Not(), operand=Compare(left=Name(id='x', ctx=Load()), ops=[Is()], comparators=[Name(id='None', ctx=Load())]))"
Но тогда байтовый компилятор фактически переведет not ... is
в is not
:
>>> import dis
>>> dis.dis(lambda x, y: x is not y)
1 0 LOAD_FAST 0 (x)
3 LOAD_FAST 1 (y)
6 COMPARE_OP 9 (is not)
9 RETURN_VALUE
>>> dis.dis(lambda x, y: not x is y)
1 0 LOAD_FAST 0 (x)
3 LOAD_FAST 1 (y)
6 COMPARE_OP 9 (is not)
9 RETURN_VALUE
Поэтому для удобства чтения и использования языка в том виде, как он был задуман, используйте is not
.
Не использовать его не является мудрым.