首先跟着笔者的思路读以下的代码 片段 <一> >>> a = 10.1>>> b = 10.1 >>> a is b False 返回false说明a和b不是指向了同一个对象,可以查看id进行判断 >>> id(a) 140475784803760 >>> id(b) 140475784803736 片段 <二>二> 一>
接着看以下这一段的代码 >>> (10.1) is (10.1) True >>> def foo(): ... a = 10.1 ... b = 10.1 ... return a is b ... >>> foo() True
片段 <三>三>
趣者可以尝试着用的CPython环境里执行下面的代码:
def foo(): a = 10.1 b = 10.1 return a is b print(foo())
而结果总是True。
片段 <四>四>
In [45]: def demo1():
...: return 10.2 ...:In [46]: def demo2():
...: return 10.2 ...:In [47]:
In [47]: print(demo1() is demo2())
FalseIn [48]:
而结果总是False。
《帮助理解文档介绍》
背景知识
CPython的代码的“编译单元”是函数——每个函数单独编译,得到的结果是一个PyFunctionObject对象,其中带有字节码、常量池等各种信息。Python的顶层代码也被看作一个函数。函数之间有嵌套时,外层函数的代码并不包含内层函数的代码,而只是包含创建出内层函数的函数对象(PyFunctionObject)的逻辑。(这里的编译单元跟之前提到过的代码块可以理解为同一个概念--"都是编译时的基本单位")
在同一个编译单元(PyFunctionObject)里出现的值相同的常量,只会在常量池里出现一份,一定会对应到运行时的同一个对象。所以在foo()的例子里,a和b都从同一个常量池项获取值;
在不同的编译单元里,值相同的常量不一定会对应到运行时的同一个对象(小整数对象池 -5~256 之间的数在不同的编译单元里,值相同的常量会对应到同一个对象),代码帮助理解:
In [48]: a = 255
In [49]: def demo():
...: b = 255 ...: c = 255 ...: print(a is b) ...: print(b is c) ...:In [50]: demo()
TrueTrueIn [51]:
注:255为小整数对象池之内的数 所以 不同的编译单元 执行的结果为true
In [51]: a = 257
In [52]: def demo():
...: b = 257 ...: c = 257 ...: print(a is b) ...: print(b is c) ...:In [53]: demo()
FalseTrueIn [54]:
注:257不是小整数对象池范围的的数据 a和b 为两个编译单元所以结果为false 这里可以观察到 在同一个编译单元里 同样的整数(b和c)只会创建一份所以返回True
“逐行解释”?
其实在CPython的交互式解释器(例如python命令不指定参数时)里,每输入一行可以立即执行的代码,Python解释器就会把一行当作一个编译单元来编译到字节码并解释执行;如果输入的代码尚未构成一个完整的单元,例如函数声明或者类声明,则等到获得了完整单元的输入后再当作一个编译单元来处理。
所以当我们在CPython的交互式解释器中分别输入"a = 10.1"、"b = 10.1"这两行时,它们分别被当作一个编译单元处理,其中的常量池没有共享,常量池项也都是各自新创建的,所以会得到a is b为False的结果。
而在同一环境里输入"(10.1) is (10.1)"时,这一行被看作一个编译单元,其中两次对10.1这个常量的使用都变成了对同一对象的引用,因而is的结果为True。例:
In [57]: 10.1 is 10.1
Out[57]: True当把 一下代码放到同一个py文件里去执行的时候 两行代码就会处于同一个编译单元中,a is b就会是True。 同一个代码块(编译单元)共享同一个常量池
a = 10.1
b = 10.1
print(a is b)
>>>True