如何以Pythonic方式解决抽象类子类类型的循环导入问题？

在为抽象类的子类定义类型别名时出现循环导入错误：抽象类文件abstract_file_builder.py导入了子类模块的TypeARow和TypeBRow，而子类模块又反过来导入抽象类，形成循环依赖。

代码示例如下：

abstract_file_builder.py #

from abc import ABC, abstractmethod
from typing import Generic, MutableSequence, TypeVar

from mymodule.type_a_file_builder import TypeARow
from mymodule.type_b_file_builder import TypeBRow

GenericRow = TypeVar("GenericRow", TypeARow, TypeBRow)

class AbstractFileBuilder(ABC, Generic[GenericRow]):
    ...
    
    @abstractmethod
    def generate_rows(
        self,
    ) -> MutableSequence[GenericRow]:
        pass

type_a_file_builder.py #

from typing import Any, MutableSequence

from mymodule.abstract_file_builder import AbstractFileBuilder

TypeARow = MutableSequence[Any]

class TypeAFileBuilder(AbstractFileBuilder[TypeARow]):
    ...

    def generate_rows(
        self,
    ) -> MutableSequence[TypeARow]:
        ... # TypeA的业务逻辑
        return rows

type_b_file_builder.py #

from typing import MutableSequence, Union

from mymodule.abstract_file_builder import AbstractFileBuilder

TypeBRow = MutableSequence[Union[int, float]]

class TypeBFileBuilder(AbstractFileBuilder[TypeBRow]):
    ...

    def generate_rows(
        self,
    ) -> MutableSequence[TypeBRow]:
        ... # TypeB的业务逻辑
        return rows

方案1：将类型别名移至独立模块（推荐） #

这是最彻底的解耦方案，把所有行类型的别名定义放到单独的模块（比如row_types.py），让抽象类和子类都从这个模块导入类型，彻底打破循环依赖，同时保持抽象类的独立性，符合单一职责原则。

实现步骤： #

1. 创建row_types.py文件：

from typing import Any, MutableSequence, Union

TypeARow = MutableSequence[Any]
TypeBRow = MutableSequence[Union[int, float]]

2. 修改abstract_file_builder.py：

from abc import ABC, abstractmethod
from typing import Generic, MutableSequence, TypeVar

from mymodule.row_types import TypeARow, TypeBRow

GenericRow = TypeVar("GenericRow", TypeARow, TypeBRow)

class AbstractFileBuilder(ABC, Generic[GenericRow]):
    ...
    
    @abstractmethod
    def generate_rows(
        self,
    ) -> MutableSequence[GenericRow]:
        pass

3. 修改子类模块（以type_a_file_builder.py为例，type_b_file_builder.py同理）：

from typing import MutableSequence

from mymodule.abstract_file_builder import AbstractFileBuilder
from mymodule.row_types import TypeARow

class TypeAFileBuilder(AbstractFileBuilder[TypeARow]):
    ...

    def generate_rows(
        self,
    ) -> MutableSequence[TypeARow]:
        ... # TypeA的业务逻辑
        return rows

方案2：使用Protocol定义抽象行类型（兼顾抽象性） #

如果希望抽象类仅依赖抽象的行类型契约，而不直接耦合具体的子类类型别名，可以使用typing.Protocol（Python 3.8+原生支持，Python 3.7可通过typing_extensions.Protocol兼容）。这种方式既保持了抽象类的纯净性，又能确保子类的行类型符合契约要求。

实现步骤： #

1. 修改abstract_file_builder.py，定义抽象的行协议：

from abc import ABC, abstractmethod
from typing import Generic, MutableSequence, TypeVar, Protocol

# 定义行的抽象协议，仅规定必要的行为/结构
class RowProtocol(Protocol):
    def __getitem__(self, index: int) -> Any: ...
    def __len__(self) -> int: ...

GenericRow = TypeVar("GenericRow", bound=RowProtocol)

class AbstractFileBuilder(ABC, Generic[GenericRow]):
    ...
    
    @abstractmethod
    def generate_rows(
        self,
    ) -> MutableSequence[GenericRow]:
        pass

2. 子类模块无需修改类型别名的定义，只要TypeARow、TypeBRow符合RowProtocol的契约即可（MutableSequence天然满足上述协议）：

# type_a_file_builder.py
from typing import Any, MutableSequence

from mymodule.abstract_file_builder import AbstractFileBuilder

TypeARow = MutableSequence[Any]

class TypeAFileBuilder(AbstractFileBuilder[TypeARow]):
    ...

    def generate_rows(
        self,
    ) -> MutableSequence[TypeARow]:
        ... # TypeA的业务逻辑
        return rows

关于TYPE_CHECKING的补充说明 #

虽然你认为这是临时补丁，但TYPE_CHECKING是Python类型提示体系中的常规用法，仅在类型检查阶段生效，运行时不会执行导入，能快速解决循环导入问题。不过从代码架构角度，还是推荐前两种方案。示例如下：

# abstract_file_builder.py
from abc import ABC, abstractmethod
from typing import Generic, MutableSequence, TypeVar
from typing import TYPE_CHECKING

if TYPE_CHECKING:
    from mymodule.type_a_file_builder import TypeARow
    from mymodule.type_b_file_builder import TypeBRow

GenericRow = TypeVar("GenericRow", bound="RowProtocol")

class AbstractFileBuilder(ABC, Generic[GenericRow]):
    ...
    
    @abstractmethod
    def generate_rows(
        self,
    ) -> MutableSequence[GenericRow]:
        pass

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