一般来说，包设计中做抽象时，个人习惯把基类抽出来单独放一个文件，我看很多其他人也喜欢这么做，比如做成这样
--鸟类大全 |___ 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中的其他函数、方法的输入，是存在于其他文件中的子类，这种情况下没办法直接从子类导入这种类，因为会变成循环引用。
有办法解决吗？
from typing import TYPE_CHECKING
if TYPE_CHECKING:
from .base import BaseBird
https://docs.python.org/3/library/typing.html#typing.TYPE_CHECKING
https://gist.github.com/GoodManWEN/65464b2b3ed32c0c85d66e25002d417d
试了一下感觉目前这些方案都不行。我对静态类型的期望有两个，其一是在开发的时候可以使用 IDE 直接寻址到对象的目标位置，如果用双引号的写法的话无法实现，其二是我希望能够在 runtime 使用 inspect.trace 追踪到对象，这样可以在自动测试中依据这个特性自动检查所有函数和方法的输入输出是否符合要求，让程序更可靠，大概类似于编译中的静态类型检查吧。这个需求用双引号的方式也无法实现，用`from __future__ import annotations`也无法实现。
目前来看只能获取到对象的字符串名称，而不能直接获取对象，而进行 isinstance 判断必须要输入对象，所以似乎无解。还有一种方式是通过某种方式设计重载，并且在重载后使用 eval()将字符串转换为类，但一来实现成本较高，二来 eval 总归让人不爽。
方法 2，typing.Protocol （ python>=3.8 ）
采用 typing.Protocol，通过结构子类型替换名义子类型。运行时可以采用 .runtime_checkable
https://docs.python.org/zh-cn/3/library/typing.html#nominal-vs-structural-subtyping （这是我翻译的，就放中文文档了）
（ Go 的 interface 就是结构子类型，至于 Ponylang 则同时实现了结构子类型（ interface ）和名义子类型（ trait ））
方法 3，控制反转（无要求）
需要动代码结构。
先解释下 mixin 和 abc：
mixin 是一种设计模式，可以参考 Ponylang/rust 的 trait，把一些非关键依赖的方法从基类里剥离出去，最后依赖结构会形成一个 Diamond 。
抽象类是指标准库 abc 模块，把最基础的要求提取出来可以在类型里留洞。