Python 3.8中如何定义可作为类型别名使用的泛型类型

你需要的泛型类型别名效果有两种标准实现方式，均兼容主流类型检查器（mypy、pyright）和Python 3.8语法。

最简实现（仅用于类型注解） #

不需要继承Generic，直接通过TypeVar绑定目标联合类型即可，完全匹配你给出的dataclass使用场景：

from typing import TypeVar, Union, dataclass

T = TypeVar("T")
MyType = Union[T, str, None]

class MyObject1:
    pass

class MyObject2:
    pass

@dataclass
class DataClass:
    source1: MyType[MyObject1]  # 类型检查等价于 Union[MyObject1, str, None]
    source2: MyType[MyObject2]  # 类型检查等价于 Union[MyObject2, str, None]

运行时MyType[X]会直接返回Union[X, str, None]类型对象，dataclass、序列化框架解析注解不会出现兼容问题。

带自定义运行时逻辑的实现 #

如果你需要MyType作为独立类型承载额外逻辑（比如参数校验、类型转换），再结合Generic实现，通过TYPE_CHECKING分支保证类型检查结果符合预期：

from typing import Generic, TypeVar, Union, dataclass, TYPE_CHECKING

T = TypeVar("T")

if TYPE_CHECKING:
    MyType = Union[T, str, None]
else:
    class MyType(Generic[T]):
        def __init__(self, value: Union[T, str, None]):
            # 可在此处添加自定义运行时逻辑，比如值校验、格式转换
            self.value = value

class MyObject1:
    pass

class MyObject2:
    pass

@dataclass
class DataClass:
    source1: MyType[MyObject1]
    source2: MyType[MyObject2]

效果验证 #

两种实现下，类型检查器都会正确拦截非法类型赋值：

DataClass(source1=MyObject1(), source2=MyObject2())  # 校验通过
DataClass(source1="string_val", source2=None)        # 校验通过
DataClass(source1=123, source2=True)                 # 校验报错，int、bool不属于允许的类型范围

补充：Python 3.10支持用T | str | None替代Union[T, str, None]写法，3.12新增了原生泛型别名声明语法type MyType[T] = T | str | None，但这些语法在3.8版本不可用。

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