python string Industring

Question

虽然这个问题在实践中没有任何真正的用途，但我很好奇python如何进行弦乐实践。我注意到以下内容。

>>> "string" is "string"
True

这是我所期望的。

您也可以这样做。

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

那很聪明！

但是你不能这样做。

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

为什么Python不评估s1+“ G”，并意识到它与s2相同，并将其指向同一地址？在最后一个块中实际发生了什么，以使其返回false？

Answer 1

这是特定于实现的，但是您的解释器可能是实时编译时间常数，而不是运行时表达式的结果。

在以下内容中，使用了Cpython 3.9.0+。

在第二个示例中，在编译时评估了表达式“ strin”+“ g”，并用“ string”替换。这使得前两个示例的行为相同。

如果我们检查字节码，我们会发现它们完全相同：

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

  # s2 = "strin" + "g"
  2           4 LOAD_CONST               0 ('string')
              6 STORE_NAME               1 (s2)

此字节是用（在上面的另外几行打印）：

import dis

source = 's1 = "string"\ns2 = "strin" + "g"'
code = compile(source, '', 'exec')
print(dis.dis(code))

第三个示例涉及一个运行时串联，其结果不是自动实施：

  # s3a = "strin"
  3           8 LOAD_CONST               1 ('strin')
             10 STORE_NAME               2 (s3a)

  # s3 = s3a + "g"
  4          12 LOAD_NAME                2 (s3a)
             14 LOAD_CONST               2 ('g')
             16 BINARY_ADD
             18 STORE_NAME               3 (s3)
             20 LOAD_CONST               3 (None)
             22 RETURN_VALUE

此字节码是用（在上述之前打印了几行），并且这些行与上面给出的第一个bytecodes的第一个块一样）：

import dis

source = (
    's1 = "string"\n'
    's2 = "strin" + "g"\n'
    's3a = "strin"\n'
    's3 = s3a + "g"')
code = compile(source, '', 'exec')
print(dis.dis(code))

如果您要手动

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

另外，Python 3.9在上面的最后两个语句中打印警告：

语法沃宁：“ is”具有字面意思。您的意思是“ ==”？

Answer 2

案例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在案例1中是相同的，而不是在情况2中。
在情况1中，您已将字符串文字“ 123”分配给x和y。

由于字符串是不变的，因此解释器仅存储字符串一次并将所有变量指向同一对象是有意义的。
因此，您认为ID是相同的。

在情况2中，您正在使用串联修改x。 x和y具有相同的值，但不是相同的身份。
这两个指向内存中的不同对象。因此，它们具有不同的ID和是运算符返回false