python对象池

阅读数：37

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）里出现的值相同的常量，只会在常量池里出现一份。常量包括大整数，浮点数，字符串。

交互式解释器测试结果

1. 
   
2. >>> a = -6
3. >>> b = -6
4. >>> a is b
5. False
6. >>> a = -5
7. >>> b = -5
8. >>> a is b
9. True
10. >>> a = 256
11. >>> b = 256
12. >>> a is b
13. True
14. >>> a = 257
15. >>> b = 257
16. >>> a is b
17. False

执行源码文件结果

1. 
   
2. a = -5
3. b = -5
4. print(a is b) # True
5. a = -6
6. b = -6
7. print(a is b) # False
8. a = 256
9. b = 256
10. print(a is b) # True
11. a = 257
12. b = 257
13. print(a is b) # True

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

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

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

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

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

1. 
   
2. a = 1000
3. b = 1000
4. print(a is b) # True
5. def f1():
6. c = 1000
7. return c
8. def f2():
9. d = 1000
10. return d
11. print(f1() is f2()) # False