问就地修改与不修改、某些实现细节或Python程序员需要知道的东西之间的区别吗？

EN

文档说，关于__i<method>__的特殊方法：

这些方法被调用以实现增强算术赋值(+=、-=、*=、@=、/=、//=、%=、**=、<<=、>>=、&=、^=、|=)。这些方法应该尝试执行就地操作(修改self)并返回结果(可以是，但不必是self)。如果未定义特定方法，则增广分配返回到正常方法。例如，如果x是具有__iadd__()方法的类的实例，则x += y等同于x = x.__iadd__(y)。否则，就会考虑x.__add__(y)和y.__radd__(x)，就像x + y的评估一样。在某些情况下，增广赋值可能导致意外错误(请参阅在加法生效时引发异常？)，但这种行为实际上是数据模型的一部分。

要回答你提出的问题：

就地修改和不修改(例如由增广赋值和普通赋值所使用)之间的区别是，Python的一些实现细节，Python中的程序员不需要知道这些细节吗？

是的，在为自定义对象实现数据模型时，您需要了解这一点。

作为这样的对象的用户，如果您理解了这一点，您也会更好地理解在使用增广赋值时所做的事情。

为什么？如果不实现就地行为，则在执行增广赋值时，名称或查找将重新分配给操作的标准实现结果的对象。

作为实现者和用户，您需要知道这一点。

以下是提问者的问题：

我的问题是，赋值是否执行就地修改和不就地分配，而不是调用哪种方法。就地修改意味着更改内存区域中的值，而非就地赋值则会创建新的内存区域。我想知道这种区别是否是程序员不需要知道的实现细节，还是属于程序员需要知道的语义的东西。

在Python中，一切都是对象。每个对象都有一个包含一些细节的标题。任何包含其他对象的对象实际上并不包含对象，而是有一个指针或引用，指向它所持有的对象在内存中的位置。对象的突变将引用更改为新的引用。

只有当对该对象的非弱引用的计数变为零时，旧对象的旧位置才会被覆盖。您可以认为这是一个实现细节，但这方面的知识有助于一个人成为一个更加自信的语言用户。

用户很少需要关注这些细节，但当您这样做时，您会很高兴您理解它。

同样，你的问题是：

我的问题是，赋值是否执行就地修改和不就地分配，而不是调用哪种方法。

调用哪种方法将决定行为。因此，您需要知道调用哪个方法--或者从您正在使用的对象的文档的语义，或者从您自己对Python数据模型的知识--来回答您的问题。

在任何情况下，Python中的程序员都需要意识到这种区别吗？

Python是一种动态语言，它为您提供了许多免费的多态性(鸭型)。如果一个函数是用来处理列表的，它很可能会在许多类似列表的东西上工作。扩大分配会给这件事带来麻烦。假设函数将数据添加到集合中：

>>> def add_data(collection):
...     collection += ('tuple',)
... 
>>> l = []
>>> add_data(l)
>>> l
['tuple']
>>> t = tuple()
>>> add_data(t)
>>> t
()

在第二种情况下，它无声地失败了。如果对一个对象有多个引用，并且对其中一个对象应用了增广的赋值，这通常是一种风险。这就像一盒巧克力，但很糟糕。