CPython中内置id()函数的具体实现机制是怎样的？

id()是CPython解释器层面实现的内置全局函数，不属于单个Python对象的绑定方法，所以你通过dir(x)遍历对象方法列表找不到相关实现是正常现象。

核心实现逻辑 #

CPython中所有Python对象在底层C代码中都会被抽象为PyObject类型的指针，id(x)的核心逻辑就是直接把这个指针的数值转换为Python整数返回，这个数值恰好就是对象在当前进程虚拟内存空间中的首地址，和官方文档的描述完全一致。

你可以参考CPython源码中Python/bltinmodule.c文件里的对应实现：

static PyObject *
builtin_id(PyObject *self, PyObject *v)
{
    // 直接将指向对象的C指针转换为Python整数返回
    return PyLong_FromVoidPtr(v);
}

补充说明 #

• 这个实现过程不会调用目标对象的任何自定义方法，完全由解释器直接处理，所以和对象本身绑定的方法没有关联。
• 只要两个Python对象的生命周期存在重叠，它们的id值就一定是唯一的；如果两个变量指向同一个内存中的PyObject实例，那么它们的id值就会相等，我们常用id(a) == id(b)来判断两个变量是否指向同一个对象。

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