从接触 Python 时起 ，我就感觉 Python 的元组解包（unpacking）挺有意思 ，十分简约功能强大 。

最不言而喻的事例便是多种赋值，即在一条句子中另外给好几个自变量赋值：

>>> x, y = 1, 2
>>> print(x, y)  # 結果：1 2

在此类中，赋值操作符“=”号的右边的2个数据会被存进到一个元组中 ，即变为 (1,2)，随后再被解包，先后赋值给“= ”号左边的2个自变量 。

如果我们立即写x = 1,2  ，随后复印出 x，或是在“= ”号右边写出一个元组，就能确认到这一点：

>>> x = 1, 2
>>> print(x)     # 結果：(1, 2)
>>> x, y = (1, 2)
>>> print(x, y)  # 結果：1 2

一些blog或微信文章在详细介绍到这一特点时 ，一般会沿着举一个事例，即根据2个自变量，立即互换他们的值：

>>> x, y = 1, 2
>>> x, y = y, x
>>> print(x, y) # 結果：2 1

一般而言 ，互换2个自变量的实际操作必须引进第三个自变量。大道理非常简单，假如要互换2个水杯中所装的水，当然会必须第三个器皿做为转站。

殊不知 ，Python 的书写并不一定依靠中间变量 ，它的方式就跟前边的解包赋值一样 。正由于这一方式类似，很多人就误认为 Python 的自变量互换实际操作也是根据解包实际操作。

可是，客观事实是不是这般呢？

我检索了一番 ，发觉有些人尝试回应过这个问题，可是她们的回应基础不足全方位。（自然，有许多 是不正确的回答 ，也有大量人仅仅知其所以然，却从没想过要学有所用）

先把文中的回答放出来吧：Python 的互换自变量实际操作不彻底根据解包实际操作，有时是 ，有时并不是！

有木有感觉这一回答很奇妙呢？是否荒诞不经？！

究竟是怎么回事呢？先讨论一下题目中非常简单的2个自变量的状况，大家上dis 秘密武器看一下编译程序的字节码：

图中开过2个对话框，能够 便捷较为“a,b=b,a”与“a,b=1,2”的不一样：

  • “a,b=b,a ”实际操作：2个 LOAD_FAST 是以部分作用域中载入自变量的引入 ，并存进栈中，然后是最重要的 ROT_TWO 实际操作，它会互换2个自变量的引入值 ，随后2个 STORE_FAST 是将栈中的自变量载入部分作用域中 。
  • “a,b=1,2”实际操作：第一步 LOAD_CONST 把“=”号右边的2个数据做为元组放进栈中 ，第二步 UNPACK_SEQUENCE 是编码序列解包，然后把解包結果载入部分作用域的自变量上。

很显著，方式类似的二种书写事实上进行的实际操作并不相同。在互换自变量的实际操作中 ，并沒有装袋和解包的流程！

ROT_TWO 命令是 CPython 编译器完成的针对栈顶2个原素的便捷实际操作，更改他们偏向的引入目标 。

也有2个相近的命令是 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升阶系列产品、推荐好书系列产品、技术性创作 、高品质英语强烈推荐与汉语翻译这些 ，热烈欢迎关心哦。

文章来源于网络，如有侵权请联系站长QQ61910465删除
本文版权归去快排wWw.seogUrublog.com 所有,如有转发请注明来出,竞价开户托管,seo优化请联系qq❉61910465