Python: 子类构造中的所有类型提示错误似乎都被忽略了

Question

我有以下带有 python 类型提示的代码它有一堆错误。代码中的所有错误都被mypy找到了，但S的构造函数中的错误却找不到。为什么？我不知道发生了什么谢谢

代码：

import typing

class T(object):
    def __init__(self, a: int, b: str = None) -> None:
        self.a = a
        self.b: typing.Union[str, None] = b
        self._callback_map: typing.Dict[str, str] = {}


class S(T):
    def __init__(self):
        super().__init__(self, 1, 2)
        self._callback_map[1] = "TOTO"
        s = T(1, 1)
        t = T(1, b=2)
        t._callback_map[2] = "jj"


s = T(1, 2)

t = T(1, b=2)
t._callback_map[2] = "jj"

mypy 的输出：

 t.py:22: error: Argument 2 to "T" has incompatible type "int"; expected "Optional[str]"
t.py:24: error: Argument "b" to "T" has incompatible type "int"; expected "Optional[str]"
rt.py:25: error: Invalid index type "int" for "Dict[str, str]"; expected type "str"

这很好，但是在'init'中第16、17、18行的相同错误（相同行）根本找不到...

Answer 1

默认情况下，Mypy 只会检查具有类型注释的函数和方法。

您的子类的构造函数没有注释，因此未经检查。

要解决此问题，请将签名修改为 def __init__(self) -> None。

您也可以要求 mypy 使用 --disallow-untyped-defs 标记为您标记这些错误。您还可以使用 --check-untyped-defs 标志，这将使它对所有函数进行类型检查，无论它是否具有注释。

Python: 子类构造中的所有类型提示错误似乎都被忽略了

Python: All type hints errors in subclass constructure seems ignored

python

type-hinting

mypy