Co robi operator "jest" w Pythonie?

Question

Byłem (może niesłusznie) myśląc, że operator is robi porównanie id().

>>> x = 10 
>>> y = 10 
>>> id(x) 
1815480092 
>>> id(y) 
1815480092 
>>> x is y 
True 

Jednak z val is not None, wydaje się, że to nie jest takie proste.

>>> id(not None) 
2001680 
>>> id(None) 
2053536 
>>> val = 10 
>>> id(val) 
1815480092 
>>> val is not None 
True 

Co robi operator "jest"? Czy to tylko porównanie id obiektów? Jeśli tak, to val is not None jest interpretowane w języku Python jako not (val is None)?

Answer 1

Tęskniłeś, że is not to operator też.

bez is, regularne operatora not zwraca wartość logiczną:

>>> not None 
True 

not None jest więc odwrotnością logiczna 'wartości' None. W kontekście logicznym None jest fałszywe:

>>> bool(None) 
False 

tak not None jest logiczna True.

Zarówno None i True są obiektami też, i obie mają adres pamięci (wartość id() powroty dla realizacji CPython Pythona):

>>> id(True) 
4440103488 
>>> id(not None) 
4440103488 
>>> id(None) 
4440184448 

is testy jeśli dwie referencje są skierowane do samego obiektu; jeśli coś jest tym samym obiektem, to samo będzie miało ten sam id(). is zwraca wartość logiczną, True lub False.

is not jest odwrotnością operatora is. Jest to odpowiednik not (op1 is op2), w jednym operatorze. Należy nie być odczytywane jako op1 is (not op2) tutaj:

>>> 1 is not None  # is 1 a different object from None? 
True 
>>> 1 is (not None) # is 1 the same object as True? 
False 

Answer 2

Jako uzupełnienie Martijn Pieters odpowiedź, None, True i False są samotnymi. Jest tylko jedno wystąpienie każdej z tych wartości, dlatego jest bezpieczny w użyciu is je przetestować ..

>>> id(True) 
8851952 
>>> id(False) 
8851920 
>>> id(None) 
8559264 
>>> id(not None) 
8851952 
>>> id(1 == 0) 
8851920 
>>> id(1 == 1) 
8851952 

Answer 3

Python próbuje emulować składnię języka angielskiego, aby uczynić go bardziej czytelny dla człowieka, ale w tym przypadku operatora pierwszeństwo jest nieco mylące.

>>> val is not None 
True 

W języku angielskim, pytamy czy val nie posiada wartość, która jest reprezentowana przez tego samego obiektu jako None. W powyższym przykładzie val=10, więc odpowiedź brzmi (poprawnie) True.

Jednak z logicznego, składniowej punktu widzenia masz podziale rachunku słowo w słowo i zakłada się, że jest to:

>>> val is (not None) 
False 

który po załączeniu w odpowiednich patentheses, zwraca swój oczekiwany rezultat (False).

Jako @Martijn Pieters zwraca uwagę, is notis an operator in its own right, i to jedyny operator w pracy tutaj.

Jeśli chciałeś napisać to jako nie dwuznaczny rachunku przy użyciu tylko podmiotom, które nie zawierają spacji, można napisać:

>>> not (val is None) 
True 

Ale to nie jest, jak byś „powiedzieć” zamierzonego komunikatu w języku angielskim, lub nawet napisać to w pseudokodzie.