如何为存储类型注解的变量添加类型注解？

我编写了如下代码：

x: type = Optional[str] # <--- type error

触发了类型错误：

Expression of type "UnionType" is incompatible with declared type "type"
  "UnionType" is incompatible with "type"

我不想为x标注typing.UnionType类型，因为x实际可能存储任意类型注解，例如：

x: ? = NamedTuple
x: ? = MyClass
x: ? = str
x: ? = Any

需要一个除了Any之外，能适配各类类型注解的标注类型。

你可以通过联合类型覆盖不同种类的类型注解，具体分以下几种场景：

1. 基础兼容（普通类型+联合类型） #

如果只需要兼容普通类（如str、自定义MyClass、NamedTuple）和联合类型（如Optional[str]、str | int），直接用type | types.UnionType即可：

import types
from typing import Optional, NamedTuple

class MyClass:
    pass

x: type | types.UnionType
x = Optional[str]  # 无类型错误
x = NamedTuple
x = MyClass
x = str
x = Any  # Any本身属于type类型，可兼容

2. 完整兼容（含泛型、类型别名） #

如果还要覆盖泛型类型（如List[int]、Dict[str, bool]）和Python 3.12+的类型别名，需要扩展联合类型：

import types
from typing import Optional, List, TypeAliasType

x: type | types.UnionType | types.GenericAlias | TypeAliasType
x = List[int]  # 兼容泛型
x = TypeAliasType('MyAlias', str | int)  # 兼容3.12+类型别名

3. 灵活约束（用TypeVar） #

如果想对类型注解做更灵活的约束，可以定义绑定目标类型集合的TypeVar：

import types
from typing import TypeVar, Optional, List

AnnotationType = TypeVar('AnnotationType', bound=type | types.UnionType | types.GenericAlias)

x: AnnotationType
x = Optional[str]
x = List[int]
x = str

各类型说明 #

• type：覆盖所有普通类、内置类型（如str、int）以及特殊类型（如Any、Never）。
• types.UnionType：覆盖Python 3.10+的管道语法联合类型（如str | None）和Optional（本质是Union[T, None]）。
• types.GenericAlias：覆盖泛型类型实例（如List[int]、Dict[str, int]）。
• TypeAliasType：覆盖Python 3.12+通过type语句定义的类型别名。

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