大家是如何实时检查 Python 变量类型的？

[szzhiyang]

我目前使用的 Python 实时类型检查方案是在 Microsoft Python Extension for VS Code 中启用 mypy --strict 检查，但是发现这个方案存在一些瑕疵，比如将鼠标悬停在某个变量名上方时 VS Code 不能详细提示它的类型（它只会把 Dict[str, int] 类型提示为 dict 类型）。

我还尝试过 PyCharm ，不过不知道是因为 PyCharm 本身做不到还是我没找对门路，我一直没能将它设置为实时使用 mypy 检查。

我现在想知道：

• 大家是如何实时检查 Python 变量类型的？

• Python 的类型检查体验真的没法达到 C++、C#、TypeScript 那样的程度吗？

---

回复前必读：

• 我想要的是 边写边检查，而不是在执行代码前才检查
• 我了解 Python 的 Type Hints 语法（ PEP 484 和 PEP 526 ）
• 不要回复“我不做类型检查”或者“没必要做类型检查”的言论

[expkzb]

变量名加类型后缀😂

[szzhiyang]

我承诺向认真回帖的热心 V 友发送感谢！

[star00]

换语言

[shintendo]

匈牙利命名法！

[szzhiyang]

@expkzb 我知道这个语法，我在帖子中说了。😂

[szzhiyang]

@shintendo 那该怎么命名类型为 Dict[str, Set[int]] 的变量呢？😂

[ClericPy]

Pydantic for the data parts.

fastapi 里看到这个, 感觉还行, vscode 里开个 mypy 凑合用

[szzhiyang]

@ClericPy 多谢，不过这个并不是我想要的那种，我想要的是一套 Linting 工具链。

[janxin]

这个看起来只是插件的问题，不过我试了一下我的插件的提示是正常的？

[ClericPy]

@szzhiyang 知道啊... 但是靠谱的试过都一般般啊, 之前最顺手是 pyright, 后来还是改回 mypy 了

[szzhiyang]

@janxin 请问你用的是什么编辑器的什么插件？它能提示 Dict[str, Set[int]] 这种复杂的类型吗？

[szzhiyang]

@ClericPy 谢谢你，我也试过 Pyright，不过它最严格的 Linting 规则达不到我的要求。😂

[iyaozhen]

对楼主需求场景不太了解。

日常开发中也有类型检查的需求，不过仅仅是方便对象方法提示，一般是通过注释显式表明类型。因为 pycharm 的类型推导确实不太准

[SbloodyS]

我用 typing....

[ClericPy]

@szzhiyang 哈哈... 你能试的都试过了, 所以最好去 Reddit 上问... Pydantic 解决的是在 linter 里友好的显示类型, 你要的反而是个 linter... Pycharm 已经够高级了, 要啥自行车

[pakro888]

使用 pycharm 按住 ctrl 同时指针悬浮到变量上可以提示吧。

[janxin]

跟你一样的插件，启用了 LSP。不过我只是看了一下同文件的，不同文件的没试过，理论上应该也差不多

[szzhiyang]

@janxin LSP 是啥？

[szzhiyang]

@ClericPy

很多非常明显的类型错误 PyCharm 都查不出来，比如下列代码：

test_str: str = "Hello World"
test_int: int = 123456
test_str += test_int

是因为我没设置好 PyCharm 吗？😂

[clino]

检查当然用 isinstance 啦 😄