allbet gaming手机版下载:Python 为什么只需一条语句“a,b=b,a”,就能直接交流两个变量?

admin/2020-07-15/ 分类:科技/阅读:

从接触 Python 时起,我就以为 Python 的元组解包(unpacking)挺有意思,异常简练好用。

最显而易见的例子就是多重赋值,即在一条语句中同时给多个变量赋值:

>>> x, y = 1, 2 >>> print(x, y) # 效果:1 2 

在此例中,赋值操作符“=”号的右侧的两个数字会被存入到一个元组中,即酿成 (1,2),然后再被解包,依次赋值给“=”号左侧的两个变量。

若是我们直接写x = 1,2 ,然后打印出 x,或者在“=”号右侧写成一个元组,就能证实到这一点:

>>> x = 1, 2 >>> print(x) # 效果:(1, 2) >>> x, y = (1, 2) >>> print(x, y) # 效果:1 2 

一些博客或民众号文章在先容到这个特征时,通常会顺着举一个例子,即基于两个变量,直接交流它们的值:

>>> x, y = 1, 2 >>> x, y = y, x >>> print(x, y) # 效果:2 1 

一般而言,交流两个变量的操作需要引入第三个变量。原理很简朴,若是要交流两个杯子中所装的水,自然会需要第三个容器作为中转。

然而,Python 的写法并不需要借助中心变量,它的形式就跟前面的解包赋值一样。正因为这个形式相似,很多人就误以为 Python 的变量交流操作也是基于解包操作。

然则,事实是否云云呢?

我搜索了一番,发现有人试图回覆过这个问题,然则他们的回覆基本不够周全。(固然,有不少是错误的谜底,另有更多人只是知其然,却从未想过要知其所以然)

先把本文的谜底放出来吧:Python 的交流变量操作不完全基于解包操作,有时候是,有时候不是!

有没有以为这个谜底很神奇呢?是不是闻所未闻?!

到底怎么回事呢?先来看看题目中最简朴的两个变量的情形,我们上dis 大杀器看看编译的字节码:

上图开了两个窗口,可以利便对照“a,b=b,a”与“a,b=1,2”的差别:

  • “a,b=b,a”操作:两个 LOAD_FAST 是从局部作用域中读取变量的引用,并存入栈中,接着是最要害的 ROT_TWO 操作,它会交流两个变量的引用值,然后两个 STORE_FAST 是将栈中的变量写入局部作用域中。
  • “a,b=1,2”操作:第一步 LOAD_CONST 把“=”号右侧的两个数字作为元组放到栈中,第二步 UNPACK_SEQUENCE 是序列解包,接着把解包效果写入局部作用域的变量上。

很明显,形式相似的两种写法现实上完成的操作并不相同。在交流变量的操作中,并没有装包和解包的步骤!

ROT_TWO 指令是 CPython 注释器实现的对于栈顶两个元素的快捷操作,改变它们指向的引用工具。

另有两个类似的指令是 ROT_THREE 和 ROT_FOUR,分别是快捷交流三和四个变量(摘自:ceval.c 文件,最新的 3.9 分支):

预界说的栈顶操作如下:

查看官方文档中对于这几个指令的注释,其中 ROT_FOUR 是 3.8 版本新加的:

  • ROT_TWO

    Swaps the two top-most stack items.

  • ROT_THREE

    Lifts second and third stack item one position up, moves top down to position three.

  • ROT_FOUR

    Lifts second, third and forth stack items one position up, moves top down to position four.
    New in version 3.8.

CPython 应该是以为这几种变量的交流操作很常见,因此才提供了专门的优化指令。就像 [-5,256] 这些小整数被预先放到了整数池里一样。

对于更多变量的交流操作,现实上则会用到前面说的解包操作:

截图中的 BUILD_TUPLE 指令会将给定数目的栈顶元素创建成元组,然后被 UNPACK_SEQUENCE 指令解包,再依次赋值。

值得一提的是,此处之所以比前面的“a,b=1,2”多出一个 build 操作,是因为每个变量的 LOAD_FAST 需要先单独入栈,无法直接被组合成 LOAD_CONST 入栈。也就是说,“=”号右侧有变量时,不会泛起前文中的 LOAD_CONST 一个元组的情形。

最后另有一个值得一提的细节,那几个指令是跟栈中元素的数目有关,而不是跟赋值语句中现实交流的变量数有关。看一个例子就明了了:

剖析至此,你应该明了前文中的结论是怎么回事了吧?

我们稍微总结一下:

  • Python 能在一条语句中实现多重赋值,这是利用了序列解包的特征
  • Python 能在一条语句中实现变量交流,不需引入中心变量,在变量数少于 4 个时(3.8 版本起是少于 5 个),CPython 是利用了 ROT_* 指令来交流栈中的元素,当变量数超出时,则是利用了序列解包的特征。
  • 序列解包是 Python 的一大特征,然则在本文的例子中,CPython 注释器在小小的操作中还提供了几个优化的指令,这绝对会超出大多数人的认知

若是你以为本文剖析得不错,那你应该会喜欢这些文章:

1、Python为什么使用缩进来划分代码块?

2、Python 的缩进是不是反人类的设计?

3、Python 为什么不用分号作语句终止符?

4、Python 为什么没有 main 函数?为什么我不推荐写 main 函数?

5、Python 为什么推荐蛇形命名法?

6、Python 为什么不支持 i 自增语法,不提供 操作符?

写在最后:本文属于“Python为什么”系列(Python猫出品),该系列主要关注 Python 的语法、设计和生长等话题,以一个个“为什么”式的问题为切入点,试着展现 Python 的迷人魅力。部门话题会推出视频版,请在 B 站收看,旁观地址:视频地址

民众号【Python猫】, 本号连载优质的系列文章,有Python为什么系列、喵星哲学猫系列、Python进阶系列、好书推荐系列、手艺写作、优质英文推荐与翻译等等,迎接关注哦。

,

欧博客户端

欢迎进入欧博客户端(Allbet Game):www.aLLbetgame.us,欧博官网是欧博集团的官方网站。欧博官网开放Allbet注册、Allbe代理、Allbet电脑客户端、Allbet手机版下载等业务。

TAG:
阅读:
广告 330*360
广告 330*360

热门文章

HOT NEWS
Sunbet_进入申博sunbet官网
微信二维码扫一扫
关注微信公众号
新闻自媒体 Copyright © 2002-2019 Sunbet 版权所有
二维码
意见反馈 二维码