Інтернування рядка 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