类型注解专项测试

Python类型注解使用int、str、float、bool等基本类型标注变量，例如 x: int = 10 表示x是整数类型。类型注解在运行时不强制检查，仅用于静态分析和IDE提示。

函数类型注解的正确语法是：

mypy是Python的静态类型检查工具，可以分析代码中的类型注解，在运行前发现类型不一致的错误，无需实际执行代码即可进行类型验证。

使用mypy检查Python代码类型的命令是：

Python的类型注解在运行时不会强制进行类型检查，即使标注为int类型的变量赋值为str，程序也能正常运行。

函数的类型注解存储在哪个属性中？

变量注解格式：变量名______类型。函数参数注解：参数名______类型。返回值注解用______符号。注解存储在___________属性中。运行时______强制检查。typing.get__________()解析注解为真实类型。

typing模块提供List、Dict、Tuple等泛型类型，用于标注包含其他类型的复合结构，如List[int]表示元素都是整数的列表，Dict[str, int]表示键为字符串、值为整数的字典。

Dict[str, int]类型注解表示：

List[______]表示整数列表。Dict[______, ______]表示键为______值为______的字典。Tuple[int, ______]表示固定元组。Set[______]表示整数集合。Python 3.9+可直接用______[int]代替List[int]。嵌套类型如______[List[int]]表示二维列表。

Optional[int]表示该值可以是int类型或None，相当于Union[int, None]。Optional常用于标注可能返回None的函数或可选参数。

Union[str, int, float]表示什么？

Optional[int]等价于______[int, ______]，表示可以是______或______。Union[str, ______]表示可以是______或______。Python 3.10+可用______符号：int ______ None。函数返回可能为None时应使用________。

typing模块是Python标准库，提供List、Dict、Tuple、Optional、Union等类型注解工具，以及Callable、Any、TypeVar等高级类型构造器。

Callable[[int, str], bool]表示什么类型？

typing提供______、______、______泛型类型。________[T]表示T或______。______[A, B]表示多种类型。______表示任意类型。________[[int], str]表示函数类型。_______定义类型变量。_______创建泛型类。

类型别名是为复杂类型注解定义的简化名称，例如 UserInfo = Dict[str, Union[int, str]] 可以用UserInfo代替复杂的类型表达，提高代码可读性。

如何定义一个表示"字符串列表"的类型别名？

类型别名使用______语句定义：Vector ______ List[float]。别名简化______类型，提高______。______ = Dict[str, Union[str, int]]表示JSON数据。Python 3.12+可用_________声明。函数别名：Handler ______ ________[[int], str]。类型别名便于______修改类型定义。