逐行解释和整体解释的理解

Posted 2020-09-27 凯哥吧

首先跟着笔者的思路读以下的代码

片段<一>

>>> 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())
False

In [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()
True
True

In [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()
False
True

In [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