python对象池
python中,一切皆为对象
id方法的返回值就是对象的内存地址。
is运算符,如果引用的是同一个对象则返回true,x is y类似 id(x) == id(y)
小整数对象池
整数在程序中的使用非常广泛,Python为了优化速度,使用了小整数对象池, 避免为整数频繁申请和销毁内存空间。
Python 对小整数的定义是 [-5,257),不包括257,属于半开半闭。这些整数对象是提前建立好的,不会被垃圾回收。
所有位于这个范围内的整数使用的都是同一个对象。同理,单个字母也是这样的。
小整数对象池源码:
Object/longobject.c中,有一个变量small_ins,保存小整数,这个控制小整数对象池的大笑,可以通过修改源码编译,自己控制小整数对象池。
static PyLongObject small_ints[NSMALLNEGINTS + NSMALLPOSINTS]; // NSMALLNEGINTS 是5 // NSMALLPOSINTS 是257
验证代码:
a = [1,2,3] b = [1,3] print a[1]==b[1] >>> True
字符串
字符串对象是不可变对象,python有个intern机制,简单说就是维护一个字典,这个字典维护已经创建字符串(key)和它的字符串对象的地址(value),每次创建字符串对象都会和这个字典比较,没有就创建,重复了就用指针进行引用就可以了。intern机制处理字符串长度小于等于20且仅由数字字母下划线构成的,只创建一次。
浮点型
float类型可以认为每个赋值都是创建一个对象,因为float值很多
元组
tuple它是不可变对象,可能是因为查找开销太大,没有实现intern机制,其实就是一个数组,这个数组和c里的数组一样,每次创建都会分配内存空间
常量池
在同一个编译单元(PyFunctionObject)里出现的值相同的常量,只会在常量池里出现一份。常量包括大整数,浮点数,字符串。