Python中整数的实现机制

Python中的一切东西皆为对象，那么每次给变量赋值是不是都需要新建一个对象呢？

实际编程过程中，像1、3、5这样的整数的使用频率比整数10000、11000使用更为频繁，对于低频整数每次都创建空间可能对于程序的性能影响并不大，但是对于较小的整数，由于其使用频率非常高，所以每次申请赋值都需要为其分配一个新的空间，无疑会大大降低程序的效率。

对于这个问题，Python明智地将整数分成了小整数和大整数两种类型，对于两种不同类型的数据分别采取了不同的方案：

• 小整数：将这部分有限的整数缓存于内存中，可共享。
• 大整数：将其放入使用单链表维护的对象池中，非共享，及每次创建都需要为其分配一块新的内存，即使内存中已经存在相同的整数。

可以通过如下例子验证：

    >>> a = 5
    >>> id(a)
    140472454528432
    >>> b = 5
    >>> id(b)
    140472454528432

上述内存的id可能不同机器会有所不同，但这不是重点，重点在于为变量a和b同时赋值一个小整数，其指向的是同一块内存

作为对比，再看另一个例子

    >>> a = 1000
    >>> id(a)
    140472454555800
    >>> b = 1000
    >>> id(b)
    140472454555704

同样，id值也不是重点，重点在于变量a和b虽然数值相同，却指向不同的内存块。

通过上述两个简单示例验证了大整数和小整数的处理策略，但是整数多小才称之为小整数？多大又是大整数？

对于这个问题可以在python源码中对于整数的实现找到答案。

在源码中小整数和大整数都定义了宏，如下：

    #ifndef NSMALLPOSINTS
    #define NSMALLPOSINTS		257
    #endif
    #ifndef NSMALLNEGINTS
    #define NSMALLNEGINTS		5
    #endif

实际的使用区间为[-5, 257)，这个范围可以自己手动修改，但需要重新编译才会生效。