python - Decimal 类如何不可变？

Question

我在玩 python3k 解释器时遇到了 decimal.py 模块中的 Decimal 类。该类的文档表明从该类创建的对象是不可变的。我试图查看 python 库代码，以了解程序员是如何对类进行编码以使其不可变的。不幸的是，我无法确切地发现他们做了什么(主要是因为类本身非常大)。

我很想知道是否有人了解这个类是如何实现其不可变状态的。我认为这可能与覆盖类中的 getattr() 和 setattr() 方法有关，但我找不到任何证据。

我还注意到该类能够以某种方式隐藏它在其 slots 变量中定义的属性。也许该类使用某种类型的元类技术来实现这一点及其不变性。

如果有人有任何想法，我将不胜感激您的反馈。谢谢

Answer 1

好问题。对我来说似乎不是不可改变的。 Python 2.7.2:

>>> from decimal import Decimal
>>> d = Decimal('1.23')
>>> d
Decimal('1.23')
>>> f = d
>>> f
Decimal('1.23')
>>> d._exp = 1
>>> f
Decimal('1.23E+3')

我确实看到文档说它是不可变的。我猜他们的意思是如果你使用记录的接口(interface)，它是不可变的。例如

>>> d += 100
>>> f
Decimal('1.23E+3')
>>> d
Decimal('1330')

它的工作方式很简单，Decimal 不为 ?= 运算符定义运算符重载:像 __i[op]__ 这样的函数。在这种情况下，d += 100 转换为 d = d.__add__(100)，它返回一个新对象并更改 d 的身份，同时不影响原始对象.