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

[phithon]

说实话 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 的部分还挺好用的~

[PythonAnswer]

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

[CSM]

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

[Arnie97]

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

[111111111111]

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

[kindjeff]

不用 type hint 完美解决

[zhze93]

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

[phithon]

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

[Kilerd]

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

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

[phithon]

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

[skinny]

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

[laike9m]

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

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

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

[Kilerd]

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

[scriptB0y]

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

[laike9m]

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

[wcsjtu]

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

[phithon]

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

[wcsjtu]

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

[phithon]

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

[wcsjtu]

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

[wcsjtu]

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

[wcsjtu]

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

[scriptB0y]

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

[laike9m]

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