python - 在 python 字典中赋值(复制与引用)

Question

我知道在 python 中，任何东西，无论是数字、字符串、字典还是任何东西都是对象。变量名只是指向内存中的对象。现在根据this question ,

>> a_dict = b_dict = c_dict = {}

这会创建一个空字典，所有变量都指向这个字典对象。因此，更改任何一个都会反射(reflect)在其他变量中。

>> a_dict["key"] = "value" #say
>> print a_dict
>> print b_dict
>> print c_dict

会给

{'key': value}
{'key': value}
{'key': value}

我已经理解了变量指向对象的概念，所以这似乎很公平。

现在，尽管它可能很奇怪，但既然它是如此基本的陈述，为什么会发生这种情况？

>> a = b = c = 1
>> a += 1
>> print a, b, c
2, 1, 1   # and not 2, 2, 2

问题的第一部分:为什么这里没有应用相同的概念？

其实这个疑惑是在我试图寻找解决方案的时候出现的:

>> a_dict = {}
>> some_var = "old_value"
>> a_dict['key'] = some_var
>> some_var = "new_value"
>> print a_dict
{'key': 'old_value'}  # and not {'key': 'new_value'}

这似乎违反直觉，因为我一直假设我告诉字典保存变量，并且更改变量指向的对象显然会反射(reflect)在字典中。但这在我看来好像该值正在被复制，而不是被引用。 这是我不明白的第二件事。

继续，我尝试了别的东西

>> class some_class(object):
..    def __init__(self):
..        self.var = "old_value"
>> some_object = some_class()
>> a_dict = {}
>> a_dict['key'] = some_object
>> some_object.var = "new_value"
>> print a_dict['key'].var
"new_value"    # even though this was what i wanted and expected, it conflicts with the output in the previous code

现在，在这里，显然它被引用了。这些矛盾让我对 python 的不可预测性感到不满，尽管我仍然喜欢它，因为我对任何其他语言都不够了解 :p 。尽管我一直认为赋值会导致对象的引用，但是这两种情况是相互矛盾的。所以这是我最后的疑问。我知道这可能是那些 python 陷阱 中的一个。请赐教。

Answer 1

您正在为两件不同的事情而苦苦挣扎。第一个是可变性 与不变性 的概念。在 python 中，str、int、tuple 是一些内置的不可变类型，与 list、 相比dict (和其他)是可变类型。 不可变 对象是一旦创建就无法更改的对象。因此，在您的示例中:

a = b = c = 1

在那一行之后，所有的a, b 和c 都指向内存中的同一个整数(你可以通过打印它们各自的id 并注意它们是相同的)。但是，当您这样做时:

a += 1

a 现在指的是位于不同内存位置的新(不同)整数。请注意，作为约定，如果类型是不可变的，+= 应该返回一个新的实例。如果类型是可变的，它应该就地改变对象并返回它。我在 this answer 中解释了一些更血腥的细节。 .

---

对于第二部分，您将尝试弄清楚 python 的标识符是如何工作的。我的想法是这样的……当你写一个声明时:

name = something

右侧被评估为某个对象(整数、字符串...)。然后在左侧为该对象指定名称¹。当名称位于右侧时，相应的对象会自动“查找”并替换为计算中的名称。请注意，在此框架中，赋值并不关心之前是否有任何名称——它只是用新值覆盖旧值。以前使用该名称构造的对象也看不到任何变化。它们已经被创建——保留对对象本身的引用，而不是名称。所以:

a = "foo"  # `a` is the name of the string "foo" 
b = {"bar": a}  # evaluate the new dictionary and name it `b`.  `a` is looked up and returns "foo" in this calculation
a = "bar"  # give the object "bar" the name `a` irrespecitve of what previously had that name

^{1为了简单起见，我在这里掩盖了一些细节——例如当您分配给列表元素时会发生什么:lst[idx] = some_value * some_other_value。}