如果我说 x = x 会发生什么？ （在低编译器级别）

Question

在 Python（更具体地说是 Python 3.x）中，如果我说 x = x 会发生什么，其中 x 是对可变的引用（如 list）或对不可变的引用（如 @987654324 @) 在低级别？编译器会直接忽略这些废话吗？

更具体地说，如果我们遇到以下情况，编译器会做什么：

class A:
    def __init__(self):
        self.a = self.init_a()

    def init_a(self):
        self.a = some_value
        """
        do stuff with self.a here
        """
        return self.a

对于那些没有注意到的人，self.a 实际上是通过函数init_a(self) 分配给自己的。

我知道上面class A 的这种情况似乎很愚蠢，但我试图通过在__init__(self) 函数中清楚地初始化我的所有成员变量来保持我的代码清洁和可读性（在我正在实现的另一个类中） ）。我只是想知道编译器是否优化了该步骤，或者它是否在任何情况下都进行了一些操作，即使该语句没有产生任何结果（我猜它被优化了，但我想成为当然 - 你永远不知道）。

Answer 1

from dis import dis

def foo():
    x = 1
    x = x

dis(foo)

结果：

  4           0 LOAD_CONST               1 (1)
              3 STORE_FAST               0 (x)

  5           6 LOAD_FAST                0 (x)
              9 STORE_FAST               0 (x)
             12 LOAD_CONST               0 (None)
             15 RETURN_VALUE 

这表明即使在最微不足道的情况下，x = x 也没有被优化掉（在 CPython 中，dis 就是为了这个）。

Answer 2

出于兴趣，我只是想知道编译器是否优化了该步骤，或者它是否在任何情况下都进行了一些操作，即使该语句没有产生任何结果。

除非 Python 语言参考对此有所说明¹，否则任何优化或缺乏它都是特定于实现的²。您可以调查特定的 Python 实现对此做了什么，但您无法推广到所有 Python 实现。

---

^{1 - 我粗略地搜索了规范中的this copy 并没有真正进行任何相关的优化讨论。因此，我的阅读是允许但不是必需的有效优化。 （有效的优化不会改变规范明确要求的有效 Python 程序的任何可观察行为。）}

^{2 - 确实，规范是这样说的：“[在规范中列出的]这些实现中的每一个都在某种程度上与本手册中记录的语言有所不同，或者引入了 超出标准 Python 文档所涵盖的特定信息。请参考实施- 特定文档，以确定您需要了解的有关您正在使用的特定实现的其他信息。”}

Answer 3

这可能看起来很奇怪，但实际上不可能实现您建议的优化，因为 python 太动态了。

考虑以下代码：

[Definition of your A class]
@property
def sneaky(self):
    return self._a
@sneaky.setter
def sneaky(self, value):
    self._a = value * 2
A.a = sneaky
a = A()

__init__ 方法中的self.a = 突然开始生效！它使 a 的值加倍。 Python 确实非常动态。