如何在 Python 中正确注释协作继承？

Question

假设我有这样的事情：

from typing import Mapping, Any


class Hidden:

    def __init__(self, z: float, **kwargs: Any):
        super().__init__(**kwargs)
        self.z = z


class Base:

    def __init__(self, x: int, **kwargs: Any):
        super().__init__(**kwargs)
        self.x = x


class Inherited(Base):

    def __init__(self, y: int, **kwargs: Any):
        super().__init__(**kwargs)
        self.y = y


class Final(Inherited, Hidden):
    pass

我应该如何注释它？我尝试用TypedDict 的一些用法替换Any，但它只需要值类型。这是我能做到的最好的吗？

Answer 1

更新
由于Inherited 需要x 和y 来初始化，它们应该被显式定义为参数。 kwargs 用于协作继承，以允许一个类调用另一个类的 init，而无需明确担心参数的类型（此处为 z:float）。因此 Any 在这种情况下确实是正确的注释。

同样，为了初始化Final，我建议使用所有必需的参数定义__init__，即def __init__(self, x:int, y:int, z:float, **kwargs:Any)

同样，Final 也可以被其他类继承，它不关心派生类的参数，但保留**kwargs:Any 以实现协作继承兼容性

ps，很抱歉绕着同一件事转来转去。

旧答案
python 中的 kwargs 是键值对的字典，这些键值对不在该方法的显式定义参数中。因此，**kwargs 最终会收集任何 foo=bar 参数，其中 foo 不在定义的参数中。
bar 的值几乎可以是任何值，这就是为什么使用 Any 的原因，因为 ** 表示这些值将被自然包裹在 kwargs 字典中。
不过，您可以在此处注释值的类型 bar。
**kwargs:int 意味着您可以传递任何未声明的键值对，只要它是一个 int。