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
phithon
V2EX  ›  Python

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

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

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

    你们都没有去看官方文档吗?
    phithon
        9
    phithon  
    OP
       2018-05-22 20:02:26 +08:00
    @Kilerd
    老师对不起,我们没有好好学习,今天学习了一个新的官方文档 www.mypy.com
    skinny
        10
    skinny  
       2018-05-22 21:12:46 +08:00
    讲真的,如果我的代码里要写很多这种奇奇怪怪对实际 IDE 体验(比如这个 bar 到底是哪个 bar,目前 PyCharm 自动完成就搞不定,甚至搞不定 metaclass 或 Proxy Wrapper )、代码可读性都没有提升的东西,还不如选择换一门静态类型的语言。
    laike9m
        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 区分,可读性更高。
    Kilerd
        12
    Kilerd  
       2018-05-22 22:51:40 +08:00
    scriptB0y
        13
    scriptB0y  
       2018-05-22 23:28:01 +08:00
    @laike9m 这样注释之后,代码中如何解决不让解释器执行没引入的 type 呢?
    也是如帖子里的 from __future__ import annotations 那样不执行吗?
    laike9m
        14
    laike9m  
       2018-05-22 23:37:10 +08:00   ❤️ 1
    @scriptB0y 嘛刚才 Guido 说不会走这条路了……所以也没什么必要讨论这个了。
    wcsjtu
        15
    wcsjtu  
       2018-05-23 09:33:58 +08:00 via Android
    类型提示导致循环引用这种情况,不应该上 lazy settings 么?
    phithon
        16
    phithon  
    OP
       2018-05-23 09:55:07 +08:00
    @wcsjtu 没懂,我看他们没提到这个,可以给点详细信息么
    wcsjtu
        17
    wcsjtu  
       2018-05-23 10:55:27 +08:00
    @phithon 就是所有的常量、配置项都写在一个文件里,然后在任意位置都能 import 到这个文件里的内容,类似于 django 的 settings.py 和 flask 的 g
    phithon
        18
    phithon  
    OP
       2018-05-23 11:27:48 +08:00
    @wcsjtu 并不是常量,比如 A 类里某个方法接受或返回一个 B 类对象,B 类里一个方法接受或返回 A 类对象。你可能还没遇到过这种情况,如果仅是配置的话就简单多了。
    既然 python 官方需要有专门的方案来解决这个问题,说明这个问题是一个广泛问题,并不能通过你说的这种方式来解决。你说的这种方式仅能处理一些简单的逻辑。
    wcsjtu
        19
    wcsjtu  
       2018-05-23 11:35:14 +08:00
    @phithon 数据类型的定义不也是常量么?难道类定义在运行时还会动态改?
    wcsjtu
        20
    wcsjtu  
       2018-05-23 11:44:41 +08:00
    @phithon 明白你的意思了。 这是个鸡生蛋、蛋生鸡的问题啊~
    wcsjtu
        21
    wcsjtu  
       2018-05-23 11:48:56 +08:00
    @phithon 这种情况,我都是放弃 annotations, 在函数内部用 assert 来做类型判断。。。。。反正也只是给 ide 看的
    scriptB0y
        22
    scriptB0y  
       2018-06-21 22:05:09 +08:00
    laike9m
        23
    laike9m  
       2018-06-21 22:23:57 +08:00 via Android
    @scriptB0y 恩,之前看到的时候就收藏了
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   962 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 24ms · UTC 22:25 · PVG 06:25 · LAX 14:25 · JFK 17:25
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.