python - set 和 frozenset 的继承行为似乎不同

Question

有人可以解释以下行为吗:

class derivedset1(frozenset):
    def __new__(cls,*args):
        return frozenset.__new__(cls,args)  

class derivedset2(set):
    def __new__(cls,*args):
        return set.__new__(cls,args)    

a=derivedset1('item1','item2') # WORKS 
b=derivedset2('item1','item2') # DOESN'T WORK

Traceback (most recent call last):
  File "inheriting-behaviours.py", line 12, in <module>
    b=derivedset2('item1','item2') # DOESN'T WORK
TypeError: derivedset2 expected at most 1 arguments, got 2

令我惊讶的是，您可以更改卡住集的构造函数，而可变集的构造函数则不可能。

Answer 1

来自Python documentation :

If __new__() returns an instance of cls, then the new instance’s __init__() method will be invoked like __init__(self[, ...]), where self is the new instance and the remaining arguments are the same as were passed to __new__().

set.__init__ 只接受一个参数，一个指定初始集合内容的可迭代对象。因此，你应该添加你自己的初始化器，它接受所有额外的参数并将它们作为初始设置值提供:

class derivedset2(set):
    def __new__(cls,*args):
        return set.__new__(cls,*args)

    def __init__(self, *initial_values):
        set.__init__(self, initial_values)

请注意，您应该覆盖 __init__ 并避免实现 __new__ 除非您想要实现对象缓存、单例或类似奇怪的东西。您的子类化适用于 frozenset 正是因为 frozenset 确实 从对象缓存中获益，即 Python 解释器只需要一个 frozenset具有相同内容的两个 frozenset 对象的实例。

一般来说，你应该避免对内置类进行子类化，尤其是当你的语义不兼容时(在这种情况下，set([]) 和 derivedset2([]) 返回完全不同的结果)。