Python-String-Internierung

Obwohl diese Frage in der Praxis keinen wirklichen Nutzen hat, bin ich gespannt, wie Python das String-Interning durchführt. Ich habe folgendes bemerkt.

>>> "string" is "string"
True

Das ist wie ich erwartet hatte.

Sie können dies auch tun.

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

Und das ist ziemlich klug!

Aber das kannst du nicht machen.

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

Warum sollte Python nicht bewerten s1+"g"und erkennen, dass es dasselbe ist s2und auf dieselbe Adresse verweisen? Was ist eigentlich in diesem letzten Block los, damit es zurückkommt False?

Dies ist implementierungsspezifisch, aber Ihr Interpreter interniert wahrscheinlich Konstanten zur Kompilierungszeit, jedoch nicht die Ergebnisse von Laufzeitausdrücken.

Im Folgenden verwende ich CPython 2.7.3.

Im zweiten Beispiel wird der Ausdruck "strin"+"g"zur Kompilierungszeit ausgewertet und durch ersetzt "string". Dadurch verhalten sich die ersten beiden Beispiele gleich.

Wenn wir die Bytecodes untersuchen, werden wir feststellen, dass sie genau gleich sind:

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

Das dritte Beispiel beinhaltet eine Laufzeitverkettung, deren Ergebnis nicht automatisch interniert wird:

  # 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        

Wenn Sie intern()das Ergebnis des dritten Ausdrucks manuell erstellen würden, würden Sie dasselbe Objekt wie zuvor erhalten:

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

Fall 1

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

Fall 2

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

Jetzt ist Ihre Frage , warum die ID gliche in Fall 1 und nicht in Fall 2.
Im Fall 1 haben Sie einen Stringliteral zugewiesen "123"zu xund y.

Da Zeichenfolgen unveränderlich sind, ist es für den Interpreter sinnvoll, das Zeichenfolgenliteral nur einmal zu speichern und alle Variablen auf dasselbe Objekt zu verweisen.
Daher sehen Sie die ID als identisch.

In Fall 2 ändern Sie xmithilfe der Verkettung. Beide xund yhat die gleichen Werte, aber nicht die gleiche Identität.
Beide zeigen auf unterschiedliche Objekte im Speicher. Daher haben sie unterschiedliche idund isOperator zurückgegebenFalse