解决了一个 Python Type Hints 的问题，分享一下

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

推荐学习书目

› 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

这是一个创建于 2376 天前的主题，其中的信息可能已经有所发展或是发生改变。

说实话 Python 循环 import 一直是个不是问题的问题，我们可以通过提取出两个模块共同的部分来规避这个问题。我也感觉代码里最好不要出现循环，如果出现，一定是设计的问题。

不过 PEP484 （ Type Hints ）出来以后，循环 import 的问题在我代码里出现比较多了，因为需要注明变量（参数）类型，所以不得不将一些不需要 import 的类导入。

所以这里有一个相关讨论： https://github.com/python/typing/issues/105

Python 之父 Guido 参与了讨论并给出了一个临时通用的解决方案： https://hg.python.org/peps/rev/06fbe54fcfe1 ，就是用import foo来代替from foo import bar。

PEP-0563 里给出了另一个解决方案：使用typing.TYPE_CHECKING。这个常量在编辑器检查变量类型的时候为 True，在代码实际运行的时候为 False。于是，我们可以用如下代码来导入声明类型时用到的类：

if typing.TYPE_CHECKING:
    from foo import bar

这个常量在 3.5.2 后加入。

不过这个方法又引入了新的问题：在代码运行时，实际上是没有导入 bar 的，那么作为 Type Hints 使用会出错：

def f(foo: bar): pass

我们必须把 bar 用引号包裹：

def f(foo: 'bar'): pass

PEP-0563 里也给出了相关的解决方案。在 Python 4 以后，函数的 annotations 将不再运行时被执行，所以也就不会报错了

在 Python3.7 下，我们可以使用from __future__ import annotations来体验这个 4 里的特性。

这几个方式结合在一起，就能完美解决我们遇到的问题了。

总的来说，这些新特性让我的代码更加 humanize，我也十分期待 3.7 的正式发布，我觉得 3.7 里异步 context 的部分还挺好用的~

Python

代码

bar

import

23 条回复 • 2018-06-21 22:23:57 +08:00

PythonAnswer

2018-05-22 16:27:55 +08:00 via iPhone

很快就 4 了吗版本号飙起来

CSM

2018-05-22 17:10:34 +08:00 via Android

感谢感谢，解决了我这里互相 import 的问题

Arnie97

2018-05-22 17:15:46 +08:00 via Android

其实不用 from ... import ... 就问题不大

111111111111

2018-05-22 17:16:32 +08:00 via Android

感谢分享,
话说看到 Python4 还是虎躯一震

kindjeff

2018-05-22 17:22:59 +08:00

不用 type hint 完美解决

zhze93

2018-05-22 17:23:15 +08:00

厉害了，最近刚转入 3 的使用和学习，马上就 4 出来了

phithon

2018-05-22 17:28:58 +08:00

@PythonAnswer
@zhze93
4 应该还早吧，这里只是用到了一个未来的特性

Kilerd

2018-05-22 19:42:34 +08:00

这几个问题都是在 www.mypy.com 里面直接告诉你解决方案的。

你们都没有去看官方文档吗？

phithon

2018-05-22 20:02:26 +08:00

@Kilerd
老师对不起，我们没有好好学习，今天学习了一个新的官方文档 www.mypy.com

skinny

2018-05-22 21:12:46 +08:00

讲真的，如果我的代码里要写很多这种奇奇怪怪对实际 IDE 体验（比如这个 bar 到底是哪个 bar，目前 PyCharm 自动完成就搞不定，甚至搞不定 metaclass 或 Proxy Wrapper ）、代码可读性都没有提升的东西，还不如选择换一门静态类型的语言。

laike9m

2018-05-22 22:06:41 +08:00

其实我更喜欢 Guido 提到的另一种暂未实现的解决方案

# type: import my_module
# type: from my_module import A

这种好处是可以把为了 hint import 的东西放在 hint 附近，并且和一般的 import 区分，可读性更高。

Kilerd

2018-05-22 22:51:40 +08:00

@phithon http://mypy-lang.org/ sorry

scriptB0y

2018-05-22 23:28:01 +08:00

@laike9m 这样注释之后，代码中如何解决不让解释器执行没引入的 type 呢？
也是如帖子里的 from __future__ import annotations 那样不执行吗？

laike9m

2018-05-22 23:37:10 +08:00

@scriptB0y 嘛刚才 Guido 说不会走这条路了……所以也没什么必要讨论这个了。

wcsjtu

2018-05-23 09:33:58 +08:00 via Android

类型提示导致循环引用这种情况，不应该上 lazy settings 么？

phithon

2018-05-23 09:55:07 +08:00

@wcsjtu 没懂，我看他们没提到这个，可以给点详细信息么

wcsjtu

2018-05-23 10:55:27 +08:00

@phithon 就是所有的常量、配置项都写在一个文件里，然后在任意位置都能 import 到这个文件里的内容，类似于 django 的 settings.py 和 flask 的 g

phithon

2018-05-23 11:27:48 +08:00

@wcsjtu 并不是常量，比如 A 类里某个方法接受或返回一个 B 类对象，B 类里一个方法接受或返回 A 类对象。你可能还没遇到过这种情况，如果仅是配置的话就简单多了。
既然 python 官方需要有专门的方案来解决这个问题，说明这个问题是一个广泛问题，并不能通过你说的这种方式来解决。你说的这种方式仅能处理一些简单的逻辑。

wcsjtu

2018-05-23 11:35:14 +08:00

@phithon 数据类型的定义不也是常量么？难道类定义在运行时还会动态改？

wcsjtu

2018-05-23 11:44:41 +08:00

@phithon 明白你的意思了。这是个鸡生蛋、蛋生鸡的问题啊~

wcsjtu

2018-05-23 11:48:56 +08:00

@phithon 这种情况，我都是放弃 annotations，在函数内部用 assert 来做类型判断。。。。。反正也只是给 ide 看的

scriptB0y

2018-06-21 22:05:09 +08:00

@laike9m https://www.bernat.tech/the-state-of-type-hints-in-python/ 几天 python weekly 这篇不错

laike9m

2018-06-21 22:23:57 +08:00 via Android

@scriptB0y 恩，之前看到的时候就收藏了