Python如何保障内存安全？为何不会出现Rust判定的悬垂指针问题

你理解的Rust悬垂指针判定逻辑是对的，但Python中你写的ref = vec[0]从根本上就不是Rust里let r = &vec[0]的等价语义，自然不会触发同类问题，具体差异可以拆成两点说明：

• 你拿到的ref根本不指向列表vec的内部存储
  Python的列表本质是堆上动态扩容的指针数组，数组里每个槽位存的都是指向独立Python对象的指针。当你写ref = vec[0]时，解释器做的事是：找到vec[0]槽位里存的那个指向'1'字符串对象的指针，把这个指针拷贝一份给变量ref，同时给'1'的引用计数加1。整个过程里ref从始至终直接指向独立存在的字符串对象，根本没有指向列表自己那块用来存指针的内部堆内存。
  而Rust里let r = &vec[0]拿到的是Vec内部堆内存中存对应元素的槽位的借用，是直接指向Vec自己持有的那块内存位置的，这才是后续触发悬垂风险的前提。
• 列表扩容迁移内存完全不影响你手里的引用
  当Python列表执行append触发扩容时，它只会把自己内部存的那一堆对象指针，拷贝到新申请的更大的堆内存块里，再释放掉旧的内部数组内存。这个过程里，那些被指针指向的实际Python对象（比如例子里的'1'、'2'）根本不会移动位置，内存地址全程不变。你手里的ref本来就直接指向这些对象，和列表内部数组的合法性完全不绑定，自然不可能变成悬垂指针。

补充一个容易混淆的点：哪怕Rust的Vec里存的是堆分配的指针类型（比如Box<T>），只要你拿的是&vec[0]，借用的依然是Vec内部存Box的那个槽位，Vec扩容时槽位被迁移，这个借用依然会失效。除非你主动把内部的Box拷贝出来、拿到直接指向T的独立指针，才会达到和Python里ref = vec[0]类似的效果——这时候你再给Vec push元素，也不会影响这个独立指针的有效性。

说白了，Rust的借用检查防的就是“持有容器内部存储位置的引用时，容器重分配导致引用失效”的问题，但Python从语言设计层面就根本没给用户拿到“容器内部存储位置引用”的权限，你能拿到的所有变量引用，全是指向独立对象、受引用计数保护的，只要引用存在，对象就不会被释放、移动，自然不会出这类悬垂故障。

你问题中提到的示例代码如下：

vec = ['1', '2']
ref = vec[0]
vec.append('3')

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