Python 在对象实例化时复制值或引用吗？

Question

也许是一个简单的问题，但我无法完全表达我的谷歌查询来在这里找到答案。我有在将对象传递给对象构造函数时复制对象的习惯，如下所示：

...
def __init__(self, name):
    self._name = name[:]
...

但是，当我运行以下测试代码时，Python 似乎没有必要对对象值进行深层复制对象实例化：

>>> class Candy(object):
...     def __init__(self, flavor):
...             self.flavor = flavor
...
>>> flav = "cherry"
>>> a = Candy(flav)
>>> a
<__main__.Candy object at 0x00CA4670>
>>> a.flavor
'cherry'
>>> flav += ' and grape'
>>> flav
'cherry and grape'
>>> a.flavor
'cherry'

那么，这里的真实情况是什么？谢谢！

编辑：

感谢@Olivier 的精彩回答。以下代码记录了 Python 通过引用复制的更好示例：

>>> flav = ['a','b']
>>> a = Candy(flav)
>>> a.flavor
['a', 'b']
>>> flav[1] = 'c'
>>> flav
['a', 'c']
>>> a.flavor
['a', 'c']

Answer 1

这是因为字符串是不可变的。

运算符 += 相当令人困惑，如果对象是不可变的，实际上重新分配它所应用的变量：

s = 'a'
ids = id(s)
s += 'b'
ids == id(s) # False, because s was reassigned to a new object

因此，在您的情况下，一开始，两个 flav 和 a.flavor 指向同一个字符串对象：

flav --------\
               'cherry'
a.flavor ----/

但是当您编写 flav += 'andgrape' 时，变量 flav code> 被重新分配给一个新的字符串对象：

flav --------> 'cherry and grape'
a.flavor ----> 'cherry' # <-- that string object never changes

这很令人困惑，因为通常，当您对变量调用运算符时，它不会更改该变量。但仅在不可变对象的情况下，它才会重新分配变量。

因此，您问题的最终答案是，是的，在实例化时复制对象是有意义的，特别是如果您期望一个可变对象（通常是这种情况）。如果对象是不可变的，那么复制它也没什么坏处。

Answer 2

看来没有必要

出现？你的问题完全是关于设计和意义的。这不是一个偏好或习惯问题。

类契约是否包含修改可变参数的能力？如果是这样，请勿复印。

类契约是否断言可变参数不会被修改？如果是这样，您必须复印一份。

类的契约定义完全回答了您的问题。