typing 模块提供了对类型提示的运行时支持。
特殊类型，表示没有约束的任意类型。
所有类型都与 Any 兼容
Any 与所有类型都兼容
AnyStr 类型可接受 str 或 bytes，但不允许两者混用。
例如：
def func(x: AnyStr, b:AnyStr):
pass
func("hello", "world") # 都是 str
func(b"hello", b"world") # 都是 bytes
func("hello", b"world") # 错误，str 和 bytes 混用
仅限字符串字面值的的特殊类型。
任何字符串字面值或其他 LiteralString 都与 LiteralString 兼容
组合 LiteralString 类型的对象产生的字符串也被认为是 LiteralString
str 类型的对象不与 LiteralString 兼容
LiteralString 对于会因用户可输入任意字符串而导致问题的敏感 API 很有用。例如，防止 SQL 注入攻击：
def query_student(name: LiteralString):
sql_query("SELECT * FROM students WHERE name LIKE " + name) # name 必须是字符串字面量，不能是用户输入的 str
表示一个函数绝不会返回，例如 sys.exist。
表示当前闭包内的类。
用于显式声明类型别名。
示例：
SQLStr: TypeAlias = LiteralString # 定义类型别名
def query_student(name: SQLStr): # 使用类型别名
pass
联合类型，Union[X, Y] 等价于 X | Y，表示类型是 X 或 Y 中任意一个。
可以联合任意多个类型（至少一个）
Union[Union[int, str], float] == Union[int, str, float]
Union[int] == int
Union[int, str, int] == Union[int, str] == int | str
Union[int, str] == Union[str, int]
表示可选类型，Optional[X] 等价于 X | None。
特殊形式，用于注解高阶函数。
例如：
P = ParamSpec('P') # 用于捕获原始函数的参数类型
T = TypeVar('T') # 用于捕获原始函数的返回类型
NewArgType = ... # 新添加参数的类型
def wrap(fn: Callable[Concatenate[NewArgType, P], T]):
pass
表示字面量。
特殊类型注解构造，用于标注类变量。
类变量只能通过类名操作，不能通过实例操作
例如：
class Cat:
kingdom: ClassVar[str] # 类变量
name: str # 实例变量
cat = Cat()
cat.kingdom = "animal" # 错误，在实例上设置类变量
cat.name = "Tom" # 正确