Python多重赋值场景下的被赋值字符串数据是否真的丢失？

代码运行逻辑拆解 #

首先给出示例代码：

a = a[0] = [['Is this information lost?']]
print(a)

上述代码的执行逻辑如下：

• Python链式赋值的执行规则为：先计算最右侧的表达式得到待赋值对象，再按从左到右的顺序依次给左侧的赋值目标赋值。
• 第一步：创建最右侧的列表对象，我们暂且叫它X，初始状态下X = [内层列表]，其中内层列表存储了目标字符串'Is this information lost?'。
• 第二步：执行第一个赋值a = X，此时变量a指向对象X。
• 第三步：执行第二个赋值a[0] = X，也就是把X的第0位元素修改为X本身，形成循环引用。
• 执行完成后，原本存在X[0]位的内层列表就失去了所有外部引用，再也没有办法通过任何变量访问到这个列表，更拿不到里面存储的字符串。运行print(a)会输出[[...]]，其中省略号就代表此处是循环引用。

该字符串确实无法再被获取。

对应内存的处理逻辑 #

Python采用「引用计数为主、分代垃圾回收为辅」的自动内存管理机制，这部分不可达内存的处理流程如下：

• 当内层列表和存储的字符串失去所有引用后，它们的引用计数会直接降到0，引用计数机制会立刻回收这部分内存空间。
• 回收后的内存首先会进入Python的私有内存池，用于后续其他小对象的内存分配复用，减少向操作系统申请/释放内存的开销；如果闲置内存块足够大，也可能会被释放还给操作系统。
• 就算存在特殊的循环引用场景导致引用计数无法降到0，Python的分代垃圾回收器也会定期扫描不可达对象，完成内存回收，不会出现内存泄漏。

内容的提问来源于stack exchange，提问作者Raumschifffan