Python什么时候创建一个新对象

Question

Python 使用名称来引用对象。当我们说a = b、a 和b 现在指的是同一个对象，如果我们更改a，我们将在b 中看到相同的更改。例如：

a = [1, 2, 3]
b = a

a.append(4)

print(b)

将打印[1, 2, 3, 4]。

但是，某些操作确实会创建新对象。例如：

a = 1
b = a

a = a + 1

print(b)

将打印1。显然a = a + 1 行以某种方式创建了一个值为a + 1 的新对象，并将名称a 绑定到它。这是如何运作的？在这种情况下创建新对象的机制是什么？

这个问题不是 this one 的重复问题，因为我特别问的是在这种情况下对象创建是如何发生的，而另一个问题更普遍地是关于名称何时共享对象。

Answer 1

我在 Luciano Ramalho 的Fluent Python一书中找到了我正在寻找的关于对象创建机制的信息。

Ramalho 解释说，虽然__init__ 通常被认为是“构造函数”，但实际上，对象是通过调用__new__ 方法来创建的。它是一个类方法，它返回一个类的实例，该实例作为第一个参数（通常为“self”）传递给__init__。因此，__init__ 是初始化器，而不是构造器。

这可以用下面的例子来说明：

class C(object):
    def __new__(cls):
        new_inst = object.__new__(cls)
        print new_inst.__dict__
        new_inst.var_1 = 1
        return new_inst

    def __init__(self):
        print self.__dict__
        self.var_2 = 2

a = C()             # Prints:
                        # {}
                        # {'var_1': 1}
print a.__dict__    # returns {'var_2': 2, 'var_1': 1}

b = C.__new__(C)    # Prints:
                        # {}
print b.__dict__    # returns {'var_1': 1}

b.__init__()        # Prints:
                        # {'var_2': 2, 'var_1': 1}
print b.__dict__    # returns {'var_2': 2, 'var_1': 1}

a = C() 行调用__new__，后跟__init__，正如我们从__dict__ 的打印输出中看到的那样。这可以分解为单独的调用，如对象 b 所示。

This question 也是相关的。