相互引用类的类型检查问题及循环导入解决方案咨询

针对你遇到的跨模块类互相引用导致循环导入的问题，有几种实用的解决方案，既满足类型检查需求，又能保持模块的合理拆分：

1. 使用字符串类型注解（Python 3.7+） #

直接在类型注解中用类名字符串代替类本身，类型检查工具（如mypy）能识别这个前向引用，同时避免模块导入阶段的循环依赖。

模块a.py：

class A:
    def __init__(self, b_instance: "B"):
        self.b = b_instance

模块b.py：

class B:
    def __init__(self, a_instance: "A"):
        self.a = a_instance

2. 利用typing.TYPE_CHECKING条件导入 #

TYPE_CHECKING是一个仅在类型检查阶段为True的常量，运行时不会触发导入操作，完美平衡类型检查和运行时无循环导入的需求。

模块a.py：

from typing import TYPE_CHECKING

# 仅类型检查时导入B，运行时跳过
if TYPE_CHECKING:
    from b import B

class A:
    # 类型注解可直接用B，类型检查工具能识别
    def __init__(self, b_instance: B):
        self.b = b_instance

模块b.py：

from typing import TYPE_CHECKING

if TYPE_CHECKING:
    from a import A

class B:
    def __init__(self, a_instance: A):
        self.a = a_instance

3. 启用延迟解析注解（Python 3.7+） #

通过from __future__ import annotations让所有类型注解自动转为字符串延迟解析，无需手动加引号，代码更简洁。

模块a.py：

from __future__ import annotations
from typing import TYPE_CHECKING

if TYPE_CHECKING:
    from b import B

class A:
    def __init__(self, b_instance: B):
        self.b = b_instance

模块b.py：

from __future__ import annotations
from typing import TYPE_CHECKING

if TYPE_CHECKING:
    from a import A

class B:
    def __init__(self, a_instance: A):
        self.a = a_instance

4. 运行时延迟导入（针对需实际使用类的场景） #

如果除了类型注解，还需要在__init__中实际调用对方类的方法或做类型校验，可以在函数内部导入，避免模块级别的循环导入。

模块a.py：

class A:
    def __init__(self, b_instance):
        # 仅在初始化时导入B
        from b import B
        if not isinstance(b_instance, B):
            raise TypeError("参数必须是B的实例")
        self.b = b_instance

模块b.py：

class B:
    def __init__(self, a_instance):
        from a import A
        if not isinstance(a_instance, A):
            raise TypeError("参数必须是A的实例")
        self.a = a_instance

关于你问的“是否可以先声明类的存在再引用”——上述方案本质都是通过前向引用（字符串注解、TYPE_CHECKING导入）告诉类型检查工具类的存在，无需在模块导入阶段就完成实际的类加载，完全符合你的需求。

内容的提问来源于stack exchange，提问作者cabutchei