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でしょうか？

これは実装固有ですが、インタプリタはおそらくコンパイル時定数をインターンしていますが、実行時式の結果はインターンしていません。

以下では、CPython2.7.3を使用します。

2番目の例では、式"strin"+"g"はコンパイル時に評価され、に置き換えられ"string"ます。これにより、最初の2つの例は同じように動作します。

バイトコードを調べると、まったく同じであることがわかります。

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

3番目の例には、実行時の連結が含まれ、その結果は自動的にインターンされません。

  # 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()3番目の式の結果を手動で取得すると、以前と同じオブジェクトが得られます。

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

ここで、質問は、IDがケース2
ではなくケース1で同じである理由です。ケース1では、文字列リテラル"123"をxとに割り当てましたy。

文字列は不変であるため、インタプリタが文字列リテラルを1回だけ格納し、すべての変数を同じオブジェクトにポイントすることは理にかなっています。
したがって、IDは同一であると見なされます。

ケース2では、x連結を使用して変更しています。xとyは両方とも同じ値を持ちますが、同じアイデンティティではありません。
どちらもメモリ内の異なるオブジェクトを指しています。したがって、それらは異なりid、is演算子が返されますFalse