Python 使用静态类型标注时的循环导入问题

[LeeReamond]

一般来说，包设计中做抽象时，个人习惯把基类抽出来单独放一个文件，我看很多其他人也喜欢这么做，比如做成这样

--鸟类大全\
    |___ base.py
    |___ 鸟人 1.py
    |___ 鸟人 2.py
    |___ 工具箱.py 

大概这种感觉。

最近在做 type hints 时遇到一个循环导入的问题，即比如我有一个 class BaseBird:存在于base.py中，而class BirdmanOne(BaseBird)存在于鸟人 1.py中，显然鸟人 1.py 需要from .base import BaseBird

正常情况下没问题，在老版本里也一直是这么处理的。但是现在如果想引入类型提示特性的话，如果BaseBird中的某个方法，或者base.py中的其他函数、方法的输入，是存在于其他文件中的子类，这种情况下没办法直接从子类导入这种类，因为会变成循环引用。

有办法解决吗？

[maocat]

@LeeReamond 你好，你是怎么解决的呢

[LeeReamond]

@maocat

笼统地说实际代码层没有修改。解决的是指确实可以通过 runtime 的方式获取实例，也就是指虽然在同一个包内无法循环导入，但在用户代码执行的时候实际上所有内容都已经导入到用户空间，可以通过字符串转换到对应的类实例，也就是说如果想要的话是可以在 runtime 强行获取实例并进行某种校验的。但是研究了一下觉得并没有那么强的需求，所以最后也没改什么。楼上提到 PEP563 的导入方式，我测试下 mypy 是支持解释的，不愿意用 mypy 的话也有一些自己实现的方法，意思是你用 pep563 的方式进行导入，用自动工具是可以与普通导入等同地进行校验测试的，功能上来说已经达到了，虽然易用性上未必好