Python万物皆引用，为何Python Tutor中列表内的整数、字符串不用指针绘制？

核心结论 #

Python中「万物皆引用」的规则完全成立，lst[0]存储的确实是int对象的引用，而非直接存储数值1，Python Tutor的绘制只是可视化简化的结果，并未违背Python的底层实现逻辑。

Python Tutor的绘制逻辑说明 #

这种差异化绘制是工具在可视化简洁性和实用性之间做的权衡：

• 对于int、str、float这类不可变类型，你拿到它的引用也无法修改对象本身，最多只能把变量/容器元素重新绑定到新的对象上，哪怕展示的时候直接写值，也不会影响对代码执行逻辑的判断；如果给所有这类不可变对象都画指向对象的箭头，反而会让可视化图表变得非常冗余混乱，尤其是Python本身有小整数池、字符串驻留这类优化，大量重复的小整数、短字符串本质是同一个对象，全部画箭头只会增加理解负担。
• 对于list、dict这类可变类型，你可以通过引用直接修改对象本身的内容，这种修改会影响所有指向该对象的引用，所以必须用箭头明确指向对应的实例，才能清晰展示后续修改带来的连锁效果，比如你执行lst[1].append(2)，所有指向这个子列表的引用的位置都会同步看到变化，这时候箭头的存在是必要的。

验证lst[0]存储的是引用 #

你可以用id()函数直接验证，id()返回的就是对象的内存地址，也就是引用指向的位置：

a = 1
lst = [1, [1]]
# 输出为True，说明lst[0]和a指向同一个int对象，存储的是引用而非直接存值
print(id(lst[0]) == id(a))

关于误导性的说明 #

对刚接触Python引用模型的初学者来说，这种绘制确实容易产生「不可变对象是直接存值」的误解，但只要明确这是可视化的简化处理即可。Python Tutor的核心目标是帮大家快速理解变量绑定、可变对象修改的传播逻辑，这种简化在绝大多数场景下利大于弊。

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