python内存如何管理字符串对象？ [复制]

Question

for count in range(5):
    str1 = 'a' * count
    str2 = 'a' * count
    print(id(str1) == id(str2))

Output:
    True
    True
    False
    False
    False      

为什么我们会得到 False，因为

str1 = 'aaa'
str2 = 'aaa'
print(id(str1) == id(str2)) # True 

任何人解释一下这个 python 内存行为。

Answer 1

让我们首先调查id() 的作用：

返回对象的“身份”。这是一个整数，保证在其生命周期内对于该对象是唯一且恒定的。生命周期不重叠的两个对象可能具有相同的 id() 值。

CPython 实现细节：这是对象在内存中的地址。

好的，所以，一般来说，当两个名称指向完全相同的对象时，它们将具有相同的id()。

那我们为什么会有这个呢？

str1 = 'aaa'
str2 = 'aaa'
print(id(str1) == id(str2)) # True

这是因为，在CPython（Python 的 C 参考实现）中，字符串被缓存在哈希表中（出于性能原因），使用 str1 和 str2 指向同一内存更便宜. 请注意，这可以在没有太多意外行为的情况下完成，因为字符串在 Python 中是不可变的。 但是，此机制仅对 appear in full in the interpreter 的字符串触发，例如：

for i in range(5):
    a = eval('"' + 'a' * i + '"')
    b = eval('"' + 'a' * i + '"')
    print(id(a) == id(b), a, b)

True  
True a a
True aa aa
True aaa aaa
True aaaa aaaa

任何在解释器中动态创建str 的机制（即除了eval()）都在此缓存之外，例如您的示例，或者：

a = 'aaa'
b = a[1:]
c = 'aa'
print(id(b) == id(c))
# False
print(id(b) == id(a[1:]))
# False

为了进一步参考，Python 中字符串的内部表示在PEP 393 中有更详细的描述。