python - 类型提示在 pycharm 2018.1 中并不总是有效？

Question

我今天开始使用类型提示。在阅读有关类型提示的文档后，我尝试编写一些愚蠢的示例来检查它是如何工作的，但陷入了像这样简单的事情。

a: int = 7.33

我没有收到任何警告或错误。一切都正常，就像我没有使用类型提示一样。我期待着一条警告，指出无法将 float 分配给 int var。

我尝试过其他事情，例如:

def sum_two_numbers(a:int , b:int)->int:
    return a+b

def main() -> None:
    asd = sum_two_numbers(2, 5.4)

正如预期的那样，我在 5.4 号中收到了警告。 Pycharm 警告我传递的 float 应该是 int。

那么，这里发生了什么？

编辑:我已经尝试过 mypy，它正确地检测到我所说的先前问题。有没有办法让 pycharm 也检测到它？

干杯。

Answer 1

不幸的是，PyCharm 不检查变量赋值的类型。请投票给PY-24832 .