python对象池

python对象池

python中，一切皆为对象

id方法的返回值就是对象的内存地址。

is运算符，如果引用的是同一个对象则返回true，x is y类似 id(x) == id(y) 

小整数对象池

[-5, 256] 这些小整数被定义在了一个整数对象池里，当引用小整数时会自动引用整数对象池里的对象，所以这些小整数不会重复创建，当多个变量指向同一个小整数时，实质上它们指向的是同一个对象。

字符串

字符串对象是不可变对象，python有个intern机制，简单说就是维护一个字典，这个字典维护已经创建字符串(key)和它的字符串对象的地址(value)，每次创建字符串对象都会和这个字典比较，没有就创建，重复了就用指针进行引用就可以了。intern机制处理字符串长度小于等于20且仅由数字字母下划线构成的，只创建一次。

浮点型

float类型可以认为每个赋值都是创建一个对象，因为float值很多

元组

tuple它是不可变对象，可能是因为查找开销太大，没有实现intern机制，其实就是一个数组，这个数组和c里的数组一样，每次创建都会分配内存空间

常量池

在同一个编译单元（PyFunctionObject）里出现的值相同的常量，只会在常量池里出现一份。常量包括大整数，浮点数，字符串。

 

交互式解释器测试结果

>>> a = -6
>>> b = -6
>>> a is b
False
>>> a = -5
>>> b = -5
>>> a is b
True
>>> a = 256
>>> b = 256
>>> a is b
True
>>> a = 257
>>> b = 257
>>> a is b
False

 

执行源码文件结果

a = -5
b = -5
print(a is b)  # True
a = -6
b = -6
print(a is b)  # False
a = 256
b = 256
print(a is b)  # True
a = 257
b = 257
print(a is b)  # True

 

逐行解释与整体解释的差异

为什么上述两段相同的代码会有不一样的执行结果，这要考虑到编译单元的问题。

CPython的代码的“编译单元”是函数——每个函数单独编译，得到的结果是一个PyFunctionObject对象，其中带有字节码、常量池等各种信息。Python的顶层代码也被看作一个函数。

在CPython的交互式解释器里，每输入一行可以立即执行的代码，Python就会把它当作一个编译单元来编译到字节码并解释执行；如果输入的代码尚未构成一个完整的单元，例如函数声明或者类声明，则等到获得了完整单元的输入后再当作一个编译单元来处理。

处于一个代码块的大整数是同一个对象。以下代码中，a和b处于一个代码块，而c和d分别有自己的代码块，所以不相等。

a = 1000
b = 1000
print(a is b)  # True
def f1():
    c = 1000
    return c
def f2():
    d = 1000
    return d
print(f1() is f2())  # False