Python集合解包过程的内存运行机制及映射逻辑疑问

你示例中的list1是列表类型，并非集合，集合为无序结构，不支持按固定位置解包。先给出你提供的代码的实际运行逻辑：

list1 = [4, 8, 12]
a, b, c = list1

实际运行的完整步骤 #

• 首先Python会处理字面量整数：在CPython解释器中，-5~256范围的小整数属于常驻对象，解释器启动时就已经创建完成，超过这个范围的整数才会在用到时动态创建。你示例中的4、8、12都属于小整数，直接复用已有int对象即可，不需要临时创建。
• 随后创建列表对象list1：列表本身是可变容器，内部存储的不是整数的数值，而是三个int对象的引用（即对应int对象的内存地址），分别指向存值为4、8、12的三个int对象。
• 最后执行解包赋值：依次取出list1内部存储的三个引用，分别绑定到变量a、b、c上。也就是说a最终直接绑定到存值为4的int对象，b绑定到存值为8的int对象，c绑定到存值为12的int对象，三个变量和list1的元素指向完全相同的对象，全程没有发生值复制的操作。

和新手常见手绘逻辑的差异 #

绝大多数初学者手绘的逻辑通常存在两类典型错误，你可以对照你的手绘图核对：

1. 把变量当成存值的容器：会画出a的内存空间里直接存数值4、b的内存空间直接存数值8这类逻辑，这和Python的变量本质不符——Python所有变量都是“名字标签”，只存绑定对象的内存地址，不会直接存储数值。
2. 认为变量绑定到列表的内部槽位：会画出a指向list1的第一个元素位置这类逻辑，这也是错误的。解包完成后a和list1没有任何绑定关系，修改list1的元素只会改变列表内部存储的引用，不会影响a的指向，可通过下方代码验证：

list1 = [4,8,12]
a,b,c = list1
list1[0] = 99
print(a) # 输出结果仍然为4

你也可以通过id()函数打印内存地址验证绑定关系：

list1 = [4,8,12]
print(id(list1[0]))
a,b,c = list1
print(id(a))
# 两次输出的内存地址完全一致，说明a和list1[0]指向同一个int对象

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