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"

这很好，但是＆＃39; init ＆＃39;中的错误（相同的行）相同第16,17,18行根本找不到...

Answer 1

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

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

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

您也可以让mypy使用--disallow-untyped-defs标志为您标记这些错误。你也可以使用--check-untyped-defs标志来检查所有函数，无论它是否有注释。

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

1 个答案: