首页   注册   登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
推荐学习书目
Learn Python the Hard Way
Python 学习手册
Python Cookbook
Python 基础教程
Python Sites
PyPI - Python Package Index
http://www.simple-is-better.com/
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
V2EX  ›  Python

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

  •  2
     
  •   phithon · 2018-05-22 16:15:56 +08:00 · 3766 次点击
    这是一个创建于 510 天前的主题,其中的信息可能已经有所发展或是发生改变。

    说实话 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
    

    image

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

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

    image

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

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

    23 回复  |  直到 2018-06-21 22:23:57 +08:00
        1
    PythonAnswer   2018-05-22 16:27:55 +08:00 via iPhone
    很快就 4 了吗 版本号飙起来
        2
    CSM   2018-05-22 17:10:34 +08:00 via Android
    感谢感谢,解决了我这里互相 import 的问题
        3
    Arnie97   2018-05-22 17:15:46 +08:00 via Android
    其实不用 from ... import ... 就问题不大
        4
    111111111111   2018-05-22 17:16:32 +08:00 via Android
    感谢分享,
    话说看到 Python4 还是虎躯一震
        5
    kindjeff   2018-05-22 17:22:59 +08:00
    不用 type hint 完美解决
        6
    zhze93   2018-05-22 17:23:15 +08:00
    厉害了,最近刚转入 3 的使用和学习,马上就 4 出来了
        7
    phithon   2018-05-22 17:28:58 +08:00
    @PythonAnswer
    @zhze93
    4 应该还早吧,这里只是用到了一个未来的特性
        8
    Kilerd   2018-05-22 19:42:34 +08:00
    这几个问题都是在 www.mypy.com 里面直接告诉你解决方案的。

    你们都没有去看官方文档吗?
        9
    phithon   2018-05-22 20:02:26 +08:00
    @Kilerd
    老师对不起,我们没有好好学习,今天学习了一个新的官方文档 www.mypy.com
        10
    skinny   2018-05-22 21:12:46 +08:00
    讲真的,如果我的代码里要写很多这种奇奇怪怪对实际 IDE 体验(比如这个 bar 到底是哪个 bar,目前 PyCharm 自动完成就搞不定,甚至搞不定 metaclass 或 Proxy Wrapper )、代码可读性都没有提升的东西,还不如选择换一门静态类型的语言。
        11
    laike9m   2018-05-22 22:06:41 +08:00   ♥ 1
    其实我更喜欢 Guido 提到的另一种暂未实现的解决方案

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

    这种好处是可以把为了 hint import 的东西放在 hint 附近,并且和一般的 import 区分,可读性更高。
        12
    Kilerd   2018-05-22 22:51:40 +08:00
        13
    scriptB0y   2018-05-22 23:28:01 +08:00
    @laike9m 这样注释之后,代码中如何解决不让解释器执行没引入的 type 呢?
    也是如帖子里的 from __future__ import annotations 那样不执行吗?
        14
    laike9m   2018-05-22 23:37:10 +08:00   ♥ 1
    @scriptB0y 嘛刚才 Guido 说不会走这条路了……所以也没什么必要讨论这个了。
        15
    wcsjtu   2018-05-23 09:33:58 +08:00 via Android
    类型提示导致循环引用这种情况,不应该上 lazy settings 么?
        16
    phithon   2018-05-23 09:55:07 +08:00
    @wcsjtu 没懂,我看他们没提到这个,可以给点详细信息么
        17
    wcsjtu   2018-05-23 10:55:27 +08:00
    @phithon 就是所有的常量、配置项都写在一个文件里,然后在任意位置都能 import 到这个文件里的内容,类似于 django 的 settings.py 和 flask 的 g
        18
    phithon   2018-05-23 11:27:48 +08:00
    @wcsjtu 并不是常量,比如 A 类里某个方法接受或返回一个 B 类对象,B 类里一个方法接受或返回 A 类对象。你可能还没遇到过这种情况,如果仅是配置的话就简单多了。
    既然 python 官方需要有专门的方案来解决这个问题,说明这个问题是一个广泛问题,并不能通过你说的这种方式来解决。你说的这种方式仅能处理一些简单的逻辑。
        19
    wcsjtu   2018-05-23 11:35:14 +08:00
    @phithon 数据类型的定义不也是常量么?难道类定义在运行时还会动态改?
        20
    wcsjtu   2018-05-23 11:44:41 +08:00
    @phithon 明白你的意思了。 这是个鸡生蛋、蛋生鸡的问题啊~
        21
    wcsjtu   2018-05-23 11:48:56 +08:00
    @phithon 这种情况,我都是放弃 annotations, 在函数内部用 assert 来做类型判断。。。。。反正也只是给 ide 看的
        22
    scriptB0y   2018-06-21 22:05:09 +08:00
    @laike9m https://www.bernat.tech/the-state-of-type-hints-in-python/ 几天 python weekly 这篇不错
        23
    laike9m   2018-06-21 22:23:57 +08:00 via Android
    @scriptB0y 恩,之前看到的时候就收藏了
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   4084 人在线   最高记录 5043   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.3 · 25ms · UTC 07:16 · PVG 15:16 · LAX 00:16 · JFK 03:16
    ♥ Do have faith in what you're doing.