请教 type annotations 如何在运行时检查？

[aheadlead]

对 Python 的 annotations 一直耿耿于怀，有些时候指定类型还是很便利的。

PEP 484 -- Type Hints 中有一段：

This PEP aims to provide a standard syntax for type annotations, opening up                           
Python code to easier static analysis and refactoring, potential runtime type
checking, and (perhaps, in some contexts) code generation utilizing type
information.

其中提到了 potential runtime type checking， 问题就在这，如何才能实现运行时检查类型。

---

（碎碎念：说来也怪，高中那年看到 python 不需要指定类型，一度震惊无比，
这么写了几年 python 后，觉得有的地方还是指定类型更合适）

[yonka]

你的碎碎念是对的。

[xrlin]

用 assert ? 所以现在我又想用回编译型静态类型语言.

[Kilerd]

你需要 mypy

[BBCCBB]

you need mypy+1

[ManjusakaL]

运行时检查，inspect 库可以帮忙

[aheadlead]

@xrlin 我现在就是这么用的 写了几百行 assert 终于感觉我自己太 sb 了

@Kilerd
@BBCCBB 感谢！

@ManjusakaL 愿闻其详

此外，我还搜到了 enforce 和 typeguard 这俩玩意，不过上班没时间研究，有玩过的朋友可以讲讲吗？

https://github.com/RussBaz/enforce

https://github.com/agronholm/typeguard

[xrlin]

@aheadlead 什么时候出个 TypePython 就完美了。

[ManjusakaL]

@aheadlead 484 里面已经说了，annotation 是函数 signature 的一部分，inspect 是可以获取的
可以看看文档
https://docs.python.org/3/library/inspect.html#inspect.getfullargspec

[ManjusakaL]

而且楼上建议的 mypy 还是略废材，可以试试
https://github.com/google/pytype

[huntzhan]

我两年前写过一个运行时检查类型的： https://github.com/huntzhan/magic-constraints
不过我认为在 Python 里做类型检查价值不大

[lolizeppelin]

首先设计上要避免需要参数检查

一定要检查的的地方用装饰器模式实现会让代码简洁阅读性更好

[lolizeppelin]

inspect 的应用可以参考 openstack 里 taskflow 是怎么反射参数并处理的