如何为BBuilder动态创建的子类正确添加Type Hint？

简化示例 #

class A:
    def __init__(self): ...

class BBuilder:
    # 为简化示例，暂不设置参数

    def build(self): # -> WhatTypeHintDoIPutHere

        class B(A):
            def __init__(self):
                super().__init__()

        return B

my_b_builder: BBuilder = BBuilder()
BBuilt = my_b_builder.build() # BBuilt: WhatTypeHintDoIPutHere
my_b = BBuilt() # my_b: WhatTypeHintDoIPutHere

核心问题 #

在保留BBuilder且不将其替换为静态子类定义的前提下，如何为BBuilt（动态生成的类）和my_b（其实例）正确添加类型提示？

已尝试方案 #

尝试为my_b添加以下类型提示均失败：

• Type[A]：错误，my_b是实例而非类
• Type[B]：错误，原因同上
• 直接用BBuilt：mypy报错，不允许在类型提示中使用变量
• 类型别名BBuiltAlias: TypeAlias = BBuilt; my_b: BBuiltAlias：同样被mypy报错
• type关键字定义别名type BBuiltAlias = BBuilt; my_b: BBuiltAlias：仍报错

另外，将BBuilder修改为非数据类、尝试TypeVars也未解决问题。

补充疑问 #

这种动态创建子类的方式是否属于不良编码实践？

类型提示的正确实现 #

要解决动态生成类的类型提示问题，需要结合TypeVar、Generic和Type来实现：

1. 先定义绑定到父类A的类型变量：

from typing import TypeVar, Type, Generic

AT = TypeVar('AT', bound='A')

2. 将BBuilder改为泛型类，让build方法返回Type[AT]：

class A:
    def __init__(self):
        pass

class BBuilder(Generic[AT]):
    def build(self) -> Type[AT]:
        class B(A):
            def __init__(self):
                super().__init__()
        return B  # type: ignore[return-value]

这里的# type: ignore[return-value]是因为mypy无法自动识别动态生成的B类符合AT的约束，需要手动忽略该错误。

3. 使用时明确指定类型：

my_b_builder: BBuilder[A] = BBuilder()
BBuilt: Type[A] = my_b_builder.build()
my_b: A = BBuilt()

如果动态生成的B类有额外方法/属性，想要更精确的类型提示，可以用Protocol定义实例接口：

from typing import Protocol

class BProtocol(Protocol):
    def custom_method(self) -> None:
        ...

AT = TypeVar('AT', bound=BProtocol)

class BBuilder(Generic[AT]):
    def build(self) -> Type[AT]:
        class B(A):
            def __init__(self):
                super().__init__()
            def custom_method(self) -> None:
                print("custom method")
        return B  # type: ignore[return-value]

my_b_builder: BBuilder[BProtocol] = BBuilder()
BBuilt: Type[BProtocol] = my_b_builder.build()
my_b: BProtocol = BBuilt()

关于动态创建子类的编码实践 #

这种方式是否属于不良实践，要看具体使用场景：

• 合理场景：
  • 框架开发中，需要根据配置动态生成类（比如ORM根据数据库表结构生成模型类）
  • 元编程场景，需要在运行时灵活扩展类的行为
• 不推荐场景：
  • 普通业务代码中使用，会降低代码的可读性和可维护性，静态类型检查工具也难以分析动态类的细节
  • 能用静态子类定义或组合模式替代的场景，动态生成只会增加不必要的复杂度

如果没有特殊的元编程需求，优先选择静态定义子类，代码更清晰，类型检查也更友好。

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