Internowanie stringów w Pythonie

Chociaż to pytanie nie ma żadnego rzeczywistego zastosowania w praktyce, jestem ciekawy, jak Python dokonuje internowania ciągów. Zauważyłem, co następuje.

>>> "string" is "string"
True

To jest tak, jak się spodziewałem.

Ty też możesz to zrobić.

>>> "strin"+"g" is "string"
True

I to całkiem sprytne!

Ale nie możesz tego zrobić.

>>> s1 = "strin"
>>> s2 = "string"
>>> s1+"g" is s2
False

Dlaczego Python miałby nie ocenić s1+"g"i zdać sobie sprawę, że to to samo, co s2i skierować go pod ten sam adres? Co właściwie dzieje się w tym ostatnim bloku, że wraca False?

Jest to specyficzne dla implementacji, ale twój interpreter prawdopodobnie internalizuje stałe czasu kompilacji, ale nie wyniki wyrażeń czasu wykonywania.

W dalszej części używam CPythona 2.7.3.

W drugim przykładzie wyrażenie "strin"+"g"jest oceniane w czasie kompilacji i zastępowane przez "string". To sprawia, że ​​pierwsze dwa przykłady zachowują się tak samo.

Jeśli zbadamy kody bajtowe, zobaczymy, że są dokładnie takie same:

  # s1 = "string"
  2           0 LOAD_CONST               1 ('string')
              3 STORE_FAST               0 (s1)

  # s2 = "strin" + "g"
  3           6 LOAD_CONST               4 ('string')
              9 STORE_FAST               1 (s2)

Trzeci przykład obejmuje konkatenację w czasie wykonywania, której wynik nie jest automatycznie internowany:

  # s3a = "strin"
  # s3 = s3a + "g"
  4          12 LOAD_CONST               2 ('strin')
             15 STORE_FAST               2 (s3a)

  5          18 LOAD_FAST                2 (s3a)
             21 LOAD_CONST               3 ('g')
             24 BINARY_ADD          
             25 STORE_FAST               3 (s3)
             28 LOAD_CONST               0 (None)
             31 RETURN_VALUE        

Gdybyś miał ręcznie intern()wpisać wynik trzeciego wyrażenia, otrzymałeś ten sam obiekt co poprzednio:

>>> s3a = "strin"
>>> s3 = s3a + "g"
>>> s3 is "string"
False
>>> intern(s3) is "string"
True

Przypadek 1

>>> x = "123"  
>>> y = "123"  
>>> x == y  
True  
>>> x is y  
True  
>>> id(x)  
50986112  
>>> id(y)  
50986112  

Przypadek 2

>>> x = "12"
>>> y = "123"
>>> x = x + "3"
>>> x is y
False
>>> x == y
True

Teraz twoje pytanie brzmi, dlaczego identyfikator jest taki sam w przypadku 1, a nie w przypadku 2.
W przypadku 1, przypisałeś literał łańcuchowy "123"do xi y.

Ponieważ ciągi znaków są niezmienne, sensowne jest, aby interpreter przechował literał ciągu tylko raz i wskazywał wszystkie zmienne na ten sam obiekt.
Dlatego widzisz identyfikator jako identyczny.

W przypadku 2 modyfikujesz xza pomocą konkatenacji. Zarówno xi yma te same wartości, ale nie samą tożsamość.
Oba wskazują na różne obiekty w pamięci. Stąd mają inny idi iszwrócony operatorFalse