__new__应该返回一个新的类的空白实例。然后调用__init__来初始化该实例。你没有在__new__的“NEW”情况下调用__init__，所以它是为你调用的。调用__new__的代码不会跟踪__init__是否在特定实例上被调用，也不应该跟踪，因为你在这里做了一些非常不寻常的事情。

你可以在__init__函数中为对象添加一个属性，以表明它已被初始化。检查该属性是否作为__init__中的第一个属性存在，如果已经存在，则不要继续进行任何操作。

__init__被调用在__new__之后，所以当你在子类中重写它时，你添加的代码仍然会被调用。

如果你试图子类化一个已经有__new__的类，不知道这一点的人可能会通过调整__init__开始，并将调用转发到子类__init__。这种在__new__之后调用__init__的约定有助于按预期工作。

__init__仍然需要允许超类__new__所需的任何参数，但如果不这样做，通常会产生一个明确的运行时错误。__new__可能应该显式地允许使用*args和'**kw'，以清楚地表明扩展是OK的。

在同一个类中同时拥有__new__和__init__在同一继承级别通常是不好的形式，因为原来的海报所描述的行为。

然而，我有点困惑，为什么__init__总是在__new__之后被调用。

我认为c++的类比在这里是有用的:

__new__只是为对象分配内存。对象的实例变量需要内存来保存它，这就是步骤__new__要做的。 __init__将对象的内部变量初始化为特定的值(可以是默认值)。

原因很简单，new用于创建实例，而init用于初始化实例。在初始化之前，应该先创建实例。这就是为什么new应该在init之前调用。

我认为这个问题的简单答案是，如果__new__返回一个与类类型相同的值，__init__函数将执行，否则它不会执行。在这种情况下，您的代码返回A._dict('key')，它与cls是同一个类，因此将执行__init__。

class M(type):
    _dict = {}

    def __call__(cls, key):
        if key in cls._dict:
            print 'EXISTS'
            return cls._dict[key]
        else:
            print 'NEW'
            instance = super(M, cls).__call__(key)
            cls._dict[key] = instance
            return instance

class A(object):
    __metaclass__ = M

    def __init__(self, key):
        print 'INIT'
        self.key = key
        print

a1 = A('aaa')
a2 = A('bbb')
a3 = A('aaa')

输出:

NEW
INIT

NEW
INIT

EXISTS

注意:作为一个副作用，M._dict属性会自动从a中作为a ._dict访问，所以注意不要顺便覆盖它。