能否用字符串定义Python类型提示以实现动态类创建？

你可以通过**@overload重载构造函数**+Literal指定字符串参数值的方式，让类型检查器自动根据传入的target字符串推断实例包含的方法，无需用户手动添加Union类型注解。这完全符合PEP484（类型提示规范）和PEP586（Literal类型）的要求，主流类型检查器（如mypy、Pyright）都能识别。

具体实现步骤 #

1. 复用内部已有的方法类（或用Protocol抽象方法集合），确保类型检查器能获取方法的类型信息；
2. 给Container的构造函数添加多个@overload签名，每个签名对应一个Literal["target_name"]参数，并指定返回的联合类型（Container+对应方法类）；
3. 原有的动态绑定逻辑保持不变。

示例代码 #

from typing import overload, Literal, Union

# 复用内部已有的方法类
class Example1:
    def fcn1(self) -> None:
        pass
    def fcn2(self) -> None:
        pass

class Example2:
    def fcn3(self) -> None:
        pass
    def fcn4(self) -> None:
        pass

target_dict = {"Example1": {"fcn1": Example1.fcn1, "fcn2": Example1.fcn2},
               "Example2": {"fcn3": Example2.fcn3, "fcn4": Example2.fcn4}}

class Container:
    def container_fcn(self) -> None:
        pass

    # 为每个target添加重载签名，告知类型检查器对应返回的类型
    @overload
    def __new__(cls, target: Literal["Example1"]) -> Union[Container, Example1]:
        ...

    @overload
    def __new__(cls, target: Literal["Example2"]) -> Union[Container, Example2]:
        ...

    # 实际运行时的初始化逻辑不变
    def __init__(self, target: str):
        for fcn_name, fcn in target_dict[target].items():
            setattr(self, fcn_name, fcn)

# 调用时无需手动加类型注解
x = Container("Example1")
x.fcn1()  # 自动补全，类型检查通过
x.container_fcn()  # 正常识别

y = Container("Example2")
y.fcn3()  # 自动补全，类型检查通过

原理说明 #

• @overload：为函数提供多套类型签名，类型检查器会根据传入的参数匹配对应签名，进而推断返回值类型；
• Literal["Example1"]：限制参数只能是字符串字面量"Example1"，让类型检查器能精确匹配重载规则；
• 重载中指定Union[Container, Example1]：告诉类型检查器，传入"Example1"得到的实例同时具备Container和Example1的所有方法，从而实现自动补全。

如果你的target数量较多，可以通过元编程自动生成重载签名，但手动编写重载在内部代码中更直观易维护。

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