Интернирование строк Python

Хотя этот вопрос не имеет практического применения, мне любопытно, как Python выполняет интернирование строк. Я заметил следующее.

>>> "string" is "string"
True

Это как я и ожидал.

Вы тоже можете это сделать.

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

И это очень умно!

Но ты не можешь этого сделать.

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

Почему бы Python не оценить s1+"g"и не понять, что это то же самое, s2и не указать на тот же адрес? Что на самом деле происходит в этом последнем блоке, чтобы он вернулся False?

Это зависит от реализации, но ваш интерпретатор, вероятно, использует константы времени компиляции, но не результаты выражений времени выполнения.

Далее я использую CPython 2.7.3.

Во втором примере выражение "strin"+"g"вычисляется во время компиляции и заменяется на "string". Это заставляет первые два примера вести себя одинаково.

Если мы рассмотрим байт-коды, мы увидим, что они точно такие же:

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

Третий пример включает конкатенацию во время выполнения, результат которой не интернируется автоматически:

  # 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        

Если бы вы вручную получили intern()результат третьего выражения, вы бы получили тот же объект, что и раньше:

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

Случай 1

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

Случай 2

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

Теперь, ваш вопрос, почему же идентификатор в случае 1 , а не в случае 2.
В случае 1, вы назначили строковый литерал "123"к xи y.

Поскольку строки неизменяемы, интерпретатору имеет смысл сохранить строковый литерал только один раз и указать все переменные на один и тот же объект.
Следовательно, вы видите идентификатор как идентичный.

В случае 2 вы изменяете xс помощью конкатенации. Оба xи yимеют одинаковые ценности, но не идентичны.
Оба указывают на разные объекты в памяти. Следовательно, они разные, idи isоператор вернулсяFalse