Python類型提示被忽略

Question

我是python的新手，正在嘗試使用類型提示，但是它們似乎僅在某些情況下有效。 它們似乎在屬性返回類型上按預期方式工作，但是當我嘗試為字符串值分配整數（即self._my_string = 4）時，沒有任何問題的報告。

class TypeHintTest(object):
    _my_string: str

    def __init__(self):
        self._my_string = 4  # no error

    @property
    def as_int(self) -> int:  
        return self._my_string  # Error : expected int got str

然后，所得對象包含一個int值（如預期的那樣）。

我正在使用pyCharm 2018.3.2 Community Edition，解釋器是3.6

以下問題似乎相似，但是將構造函數更改為def __init__(self) -> None的解決方案不會更改任何內容。 Python：所有類型暗示子類構造中的錯誤似乎都被忽略了

Answer 1

顧名思義，類型提示是提示。 如果為變量分配其他類型，Python不會引發錯誤。
但是，Pycharm 應該說它期望另一個變量類型。

Answer 2

正如@FHTMitchell指出的那樣，它是PyCharm中的一個錯誤

請參閱錯誤跟蹤器條目