分配新值時是否需要 Python 變量類型提示？

Question

首先，我知道類型提示在 Python 中是可選的 - 所以我的問題是在有意義地幫助 Python 完成/linting/等的意義上它是否是必需的。 工具解析代碼。 考慮以下最小示例：

a: int = 1
a = 3
#---
b: Foo = Foo()
bar = Foo()
b = bar

在這兩種情況下，變量a和b的類型在聲明時都暗示了，但是當值更改時（更改為相同類型的不同值），我不會再次指定它。 我想知道像Microsoft Language Server for Python這樣的工具，這是否“足以”讓工具確定a是int而b是Foo對象？ 另一種方法是每次變量的值發生變化時都輸入提示，我覺得這太費力了：

a: int = 3
b: Foo = bar

Answer 1

只要在名稱范圍內一次應該沒問題。 （這當然是為了 PyCharm 的推斷，但其他開發工具可能會有所不同。）

（順便說一句，如果該名稱指向的數據類型發生變化（例如從int到str ），那將是代碼異味......）