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

Question

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

a: int = 7.33

我没有收到任何警告或错误。一切正常，就像我没有使用类型提示一样。我期待一个警告，说不能将浮点数分配给 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 警告说我正在传递一个浮点数，而 int 应该是。

那么，这里发生了什么？

编辑：我已经尝试过 mypy 并且它正确地检测到我所说的上一个问题。有没有办法让pycharm也检测到它？

干杯。

Answer 1

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