我目前使用的 Python 实时类型检查方案是在 Microsoft Python Extension for VS Code 中启用 mypy --strict 检查，但是发现这个方案存在一些瑕疵，比如将鼠标悬停在某个变量名上方时 VS Code 不能详细提示它的类型（它只会把 Dict[str, int] 类型提示为 dict 类型）。
我还尝试过 PyCharm ，不过不知道是因为 PyCharm 本身做不到还是我没找对门路，我一直没能将它设置为实时使用 mypy 检查。
我现在想知道：
大家是如何实时检查 Python 变量类型的？
Python 的类型检查体验真的没法达到 C++、C#、TypeScript 那样的程度吗？
回复前必读：
 |
1
expkzb Sep 20, 2019  1
变量名加类型后缀😂
|
 |
2
szzhiyang OP 我承诺向认真回帖的热心 V 友发送感谢！
|
 |
3
star00 Sep 20, 2019
换语言
|
 |
4
shintendo Sep 20, 2019 1
匈牙利命名法！
|
 |
7
ClericPy Sep 20, 2019 1
Pydantic for the data parts.
fastapi 里看到这个, 感觉还行, vscode 里开个 mypy 凑合用 |
 |
9
janxin Sep 20, 2019
这个看起来只是插件的问题，不过我试了一下我的插件的提示是正常的？
|
 |
13
iyaozhen Sep 20, 2019 via Android
对楼主需求场景不太了解。
日常开发中也有类型检查的需求，不过仅仅是方便对象方法提示，一般是通过注释显式表明类型。因为 pycharm 的类型推导确实不太准 |
 |
14
SbloodyS Sep 20, 2019
我用 typing....
|
|
15
ClericPy Sep 20, 2019
@szzhiyang 哈哈... 你能试的都试过了, 所以最好去 Reddit 上问... Pydantic 解决的是在 linter 里友好的显示类型, 你要的反而是个 linter... Pycharm 已经够高级了, 要啥自行车
|
 |
16
pakro888 Sep 20, 2019 via Android
使用 pycharm 按住 ctrl 同时指针悬浮到变量上可以提示吧。
|
|
17
janxin Sep 20, 2019
跟你一样的插件，启用了 LSP。不过我只是看了一下同文件的，不同文件的没试过，理论上应该也差不多
|
|
19
szzhiyang OP @ClericPy
很多非常明显的类型错误 PyCharm 都查不出来，比如下列代码： test_str: str = "Hello World" test_int: int = 123456 test_str += test_int 是因为我没设置好 PyCharm 吗？😂 |
 |
20
clino Sep 20, 2019 via Android
检查当然用 isinstance 啦 😄
|
 |
23
lance6716 Sep 20, 2019 via Android
这种 pyobject 强行检查类型又有多大用途呢…不如理清楚写码思路
|
|
28
szzhiyang OP @ClericPy 之前我一直以为用 PyCharm 写 Python 的体验就像用 Visual Studio 写 C# 那样，后来亲自尝试 PyCharm 后才发现我太天真了。😂
|
|
30
ClericPy Sep 20, 2019
@szzhiyang 我用过 Pycharm, 比你说的强太多了... 肯定也有插件什么的吧, 那么复杂一东西, 内存比 vscode 还少... 挺厉害了, 还是不会用
|
 |
31
yegle Sep 21, 2019
Python 的类型检查当然是垃圾啊。你来写一个类型注解，参数类型支持 iterable of strings 但是 exclude str type。
|
 |
33
a719114136 Sep 21, 2019
为啥要检查，又不能带来性能提升。 至于减少 bug，我写 py 这么久还真没见过因为这个造成的 bug （这种类型的 bug 在早期测试的时候完全能发现）。
最多也就是函数的参数，返回值用 Type Hints 给个类型提示，函数里面那想咋用就咋用呗 |
|
34
szzhiyang OP @a719114136 类型检查还是很有必要的，不然 TypeScript 就不会问世了。
|
 |
36
billlee Sep 21, 2019
弃坑上车 java
|
 |
37
bakabie Sep 21, 2019
弃坑上 Go （
|
 |
38
sazima Sep 22, 2019
目前我也有点迷, 一般都是这么写
user: User = session.query(User).first() users: Sequence[User] = session.query(User).all() def get_user_by_id(use_id: int) -> User: .... |
 |
39
laike9m Sep 22, 2019 1
试试 Google 的 pytype 呢？
|
|
41
laike9m Sep 22, 2019
@yegle 我又想了一下，根源不是不支持 exclude，而是不支持 AND 条件。但是 typing 支持 Union，所以按照现在的设计应该写成 Union[List[str], Tuple[str], Set[str]]。从某种意义上说这样更明确。
|
|
43
yegle Sep 28, 2019
@laike9m 确实需要 exclude，或者正式支持 typing.Char
举个例子，你给的 Union 类型并不支持 typing.Iterable，不支持 typing.KeysView/typing.ItemsView/typing.ValuesView 这个是我几年前提的 FR：github.com/python/typing/issues/510 |
Select Language