为什么 `mypy --strict` 在这个简单的代码中不会抛出错误？

Question

我在test.py中有以下内容：

def f(x: int) -> float:
    pass

if __name__=="__main__":
  f(4)

当我运行mypy --strict test.py时，我没有收到任何错误。

我希望mypy能够推断出我的定义f存在问题。 它显然没有return语句，并且永远不能返回浮点数。

我觉得这里有一些基本的东西我不明白。 return语句的存在（或不存在）是可以静态检查的。 为什么mypy错过它？

Answer 1

您使用的语法被识别为 function 存根，而不是 function 实现。

通常，function 存根写为：

def f(x: int) -> float: ...

但这只是为了方便

def f(x: int) -> float: pass

从 mypy 文档：

Function 主体无法完全移除。 按照惯例，我们将它们替换为...而不是pass语句。

由于 mypy 不检查 function 主体的存根，因此在这种情况下不会出现错误。 正如@domarm 在评论中指出的那样，向 function 主体添加除了pass之外的任何语句（甚至是第二个pass语句）都将导致预期的 mypy 错误。