推荐学习书目
› Learn Python the Hard Way
Python Sites
› PyPI - Python Package Index
› http://diveintopython.org/toc/index.html
› Pocoo
值得关注的项目
› PyPy
› Celery
› Jinja2
› Read the Docs
› gevent
› pyenv
› virtualenv
› Stackless Python
› Beautiful Soup
› 结巴中文分词
› Green Unicorn
› Sentry
› Shovel
› Pyflakes
› pytest
Python 编程
› pep8 Checker
Styles
› PEP 8
› Google Python Style Guide
› Code Style from The Hitchhiker's Guide
这是一个创建于 1915 天前的主题，其中的信息可能已经有所发展或是发生改变。
我目前使用的 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 ）
- 不要回复“我不做类型检查”或者“没必要做类型检查”的言论
第 1 条附言 · 2019-09-21 17:58:49 +08:00
 |
1
expkzb 2019-09-20 17:27:01 +08:00  1
变量名加类型后缀😂
|
 |
2
szzhiyang OP 我承诺向认真回帖的热心 V 友发送感谢！
|
 |
3
star00 2019-09-20 17:29:12 +08:00
换语言
|
 |
4
shintendo 2019-09-20 17:30:06 +08:00 1
匈牙利命名法！
|
 |
7
ClericPy 2019-09-20 17:36:34 +08:00 1
Pydantic for the data parts.
fastapi 里看到这个, 感觉还行, vscode 里开个 mypy 凑合用 |
 |
9
janxin 2019-09-20 17:42:14 +08:00
这个看起来只是插件的问题，不过我试了一下我的插件的提示是正常的？
|
|
10
ClericPy 2019-09-20 17:43:51 +08:00
@szzhiyang 知道啊... 但是靠谱的试过都一般般啊, 之前最顺手是 pyright, 后来还是改回 mypy 了
|
|
11
szzhiyang OP @janxin 请问你用的是什么编辑器的什么插件？它能提示 Dict[str, Set[int]] 这种复杂的类型吗？
|
 |
13
iyaozhen 2019-09-20 17:46:56 +08:00 via Android
对楼主需求场景不太了解。
日常开发中也有类型检查的需求，不过仅仅是方便对象方法提示，一般是通过注释显式表明类型。因为 pycharm 的类型推导确实不太准 |
 |
14
SbloodyS 2019-09-20 17:50:05 +08:00
我用 typing....
|
|
15
ClericPy 2019-09-20 17:51:23 +08:00
@szzhiyang 哈哈... 你能试的都试过了, 所以最好去 Reddit 上问... Pydantic 解决的是在 linter 里友好的显示类型, 你要的反而是个 linter... Pycharm 已经够高级了, 要啥自行车
|
 |
16
pakro888 2019-09-20 18:16:14 +08:00 via Android
使用 pycharm 按住 ctrl 同时指针悬浮到变量上可以提示吧。
|
|
17
janxin 2019-09-20 18:29:53 +08:00
跟你一样的插件，启用了 LSP。不过我只是看了一下同文件的，不同文件的没试过，理论上应该也差不多
|
|
19
szzhiyang OP @ClericPy
很多非常明显的类型错误 PyCharm 都查不出来，比如下列代码： test_str: str = "Hello World" test_int: int = 123456 test_str += test_int 是因为我没设置好 PyCharm 吗？😂 |
 |
20
clino 2019-09-20 18:44:48 +08:00 via Android
检查当然用 isinstance 啦 😄
|
 |
23
lance6716 2019-09-20 21:59:53 +08:00 via Android
这种 pyobject 强行检查类型又有多大用途呢…不如理清楚写码思路
|
|
28
szzhiyang OP @ClericPy 之前我一直以为用 PyCharm 写 Python 的体验就像用 Visual Studio 写 C# 那样，后来亲自尝试 PyCharm 后才发现我太天真了。😂
|
|
30
ClericPy 2019-09-20 22:38:59 +08:00
@szzhiyang 我用过 Pycharm, 比你说的强太多了... 肯定也有插件什么的吧, 那么复杂一东西, 内存比 vscode 还少... 挺厉害了, 还是不会用
|
 |
31
yegle 2019-09-21 03:53:46 +08:00
Python 的类型检查当然是垃圾啊。你来写一个类型注解，参数类型支持 iterable of strings 但是 exclude str type。
|
 |
33
a719114136 2019-09-21 11:26:19 +08:00
为啥要检查，又不能带来性能提升。 至于减少 bug，我写 py 这么久还真没见过因为这个造成的 bug （这种类型的 bug 在早期测试的时候完全能发现）。
最多也就是函数的参数，返回值用 Type Hints 给个类型提示，函数里面那想咋用就咋用呗 |
|
34
szzhiyang OP @a719114136 类型检查还是很有必要的，不然 TypeScript 就不会问世了。
|
 |
36
billlee 2019-09-21 15:23:15 +08:00
弃坑上车 java
|
 |
37
bakabie 2019-09-21 22:50:55 +08:00
弃坑上 Go （
|
 |
38
sazima 2019-09-22 07:53:45 +08:00
目前我也有点迷, 一般都是这么写
user: User = session.query(User).first() users: Sequence[User] = session.query(User).all() def get_user_by_id(use_id: int) -> User: .... |
 |
39
laike9m 2019-09-22 10:26:32 +08:00 1
试试 Google 的 pytype 呢？
|
|
40
laike9m 2019-09-22 10:45:57 +08:00
@yegle 的确是个问题。没有 char 就算了这个不好改，但是我觉得 typing 应该加入 exclude types 支持。
|
|
41
laike9m 2019-09-22 11:04:01 +08:00
@yegle 我又想了一下，根源不是不支持 exclude，而是不支持 AND 条件。但是 typing 支持 Union，所以按照现在的设计应该写成 Union[List[str], Tuple[str], Set[str]]。从某种意义上说这样更明确。
|
|
43
yegle 2019-09-28 03:28:07 +08:00
@laike9m 确实需要 exclude，或者正式支持 typing.Char
举个例子，你给的 Union 类型并不支持 typing.Iterable，不支持 typing.KeysView/typing.ItemsView/typing.ValuesView 这个是我几年前提的 FR：github.com/python/typing/issues/510 |
Select Language