python - "We' 是不可变的，所以使用 __new__ 而不是 __init__”

Question

我在模块 fraction.py 中找到了这个短语标准库:

class Fraction(numbers.Rational):
    ...

    # We're immutable, so use __new__ not __init__
    def __new__(cls, numerator=0, denominator=None, *, _normalize=True):
        """Constructs a Rational.
        ...

我对此感到困惑，因为严格来说，Fraction 实例不是不可变的:

import fractions

fraction = fractions.Fraction(3, 2)
fraction._numerator = 1  # it works
print(fraction)  # 1/2

因此，我要求进一步说明为什么使用 __new__ 而不是 __init__ 以及这个短语在这里的含义。

Answer 1

它在逻辑上是不可变的，不是强制执行的。在 Python 中真正强制执行不变性基本上是不可能的。更疯狂的执法尝试总是会遇到更疯狂的绕过。例如，numerator 和 denominator 是没有 setter 的属性，但您已经找到了绕过它的方法。

如果你真的想搞砸一个 Fraction 对象，你可以，而且你可以做的比设置 _numerator 更糟糕，但你是在自找麻烦。