PyPy整数实现机制解析：有限大小整数的优化探究

标记指针：小整数的无对象存储 #

PyPy对小整数的核心优化是标记指针（Tagged Pointers），这正是你提到的63位有符号整数优化的核心逻辑：

• 在64位平台上，PyPy利用指针的最低位作为标记位：若标记位为1，这个"指针"实际存储的是小整数的原始数值，而非指向对象的内存地址；若标记位为0，才是指向大整数对象的真实指针。
• 由于用1位做标记，剩余63位用来存储有符号整数，覆盖范围为 -2^62 到 2^62 - 1。这个区间内的整数无需创建完整对象，直接以原始数值形式存在，彻底避免了CPython中PyLongObject至少28字节的内存开销。

大整数的对象化处理 #

当整数超出上述63位有符号数范围时，PyPy才会创建类似CPython的大整数对象，但在存储结构上做了优化，比CPython的PyLongObject更紧凑，进一步降低内存开销。

与CPython小整数缓存的本质区别 #

CPython的小整数缓存是提前创建PyLongObject实例并复用，本质仍属于对象范畴；而PyPy的标记指针优化是直接将小整数作为原始数值存储，完全跳过对象创建环节，内存开销几乎为0，访问效率也更高。

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