Python 中 id() 返回的值是否唯一?生命周期视角分析

id()返回对象生命周期内的内存地址,仅对同时存活的对象唯一;对象销毁后地址可被复用,故不可用于长期标识或缓存键。

Python 中 id() 返回的值在对象的生命周期内是唯一的,但**不保证跨生命周期唯一**。它的本质是对象在内存中的地址(CPython 实现下),而内存地址可被复用。

id() 的本质:内存地址的“快照”

在 CPython(最常用的 Python 解释器)中,id() 返回的是对象在内存中的地址(即 &PyObject)。这个地址只在对象存在期间有效;对象销毁后,该内存可能被新对象重用。

  • 同一对象多次调用 id(),结果一定相同
  • 两个存活的对象不会拥有相同的 id()(CPython 保证)
  • 一个对象被销毁后,新创建的对象可能恰好获得它曾用过的地址 → id() 值重复

生命周期决定唯一性边界

“唯一”仅对**同时存活的对象**成立。一旦对象离开作用域、引用计数归零、被垃圾回收,其 id() 就失去意义,对应内存可被分配给其他对象。

例如:

a = [1, 2, 3]
print(id(a))  # 比如 140234567890123
del a
b = [4, 5, 6]
print(id(b))  # 可能再次输出 140234567890123(尤其在简单脚本中常见)

这不是 bug,而是内存管理的自然结果——CPython 的内存分配器(如 pymalloc)会复用刚释放的小块内存。

不可依赖 id() 做长期标识或缓存键

id() 当作对象的“永久身份证”是危险的:

  • 对象被回收后,相同 id() 可能指向完全不同的新对象
  • 多线程中对象生命周期更难预测,复用风险更高
  • 其他 Python 实现(如 PyPy、Jython)不保证 id() 是地址,行为可能不同

若需稳定标识,应使用 uuid.uuid4()、自定义 ID 字段,或基于内容的哈希(如 hash(tuple(obj.__dict__.i

tems())),视需求而定)。

与 is 运算符的关系

obj1 is obj2 等价于 id(obj1) == id(obj2) —— 这正是 is 判断“是否同一对象”的底层依据。但要注意:is 也只在对象共存时可靠;它不能用于判断“曾经是否是同一个对象”。

比如:

x = []
y = x
print(x is y)  # True
del x, y
z = []
print(z is y)  # NameError: name 'y' is not defined(y 已不存在)

试图比较已销毁对象的 id() 或用 is 回溯历史,没有意义。