全部学科

JAVA后端

maven spring Mytatis SpringMVC SpringBoot java

Python全栈

GO后端

golang gorm gin

Web前端

TypeScript vue CSS HTML javascript pinia vite

通用技术

redis git docker nginx mysql zookeeper rabbitmq

NodeJS全栈

小程序首页

📝 1 篇文章 19 道配套习题

类型注解专题

专题说明

类型注解是Python增强代码可读性和可维护性的重要特性。本专题从基础类型注解出发，深入讲解Optional和Union泛型、集合泛型、自定义类型、Protocol协议、TypeVar泛型变量以及mypy类型检查工具，帮助学习者掌握Python静态类型编程的核心技能。

学习目标

掌握函数和变量的基本类型注解语法
理解Optional和Union的含义和使用场景
熟练使用List、Dict等集合泛型
了解TypeVar泛型变量和Protocol协议
掌握mypy类型检查工具的使用

学习内容

本专题涵盖以下核心知识点：

基础类型注解

函数参数类型注解
函数返回值类型注解
变量类型注解
类型注解的运行时行为

Optional与Union

Optional[T]的含义
Union[T1, T2]的用法
Python 3.10+的 | 语法
None与Optional的区别

泛型集合

List[T]、Dict[K, V]、Set[T]
Tuple[T1, T2]、Tuple[T, ...]
Iterable[T]、Iterator[T]
typing模块导入

自定义类型

dataclass类型注解
TypedDict类型定义
NewType类型别名
类类型注解

高级类型

TypeVar泛型变量
Protocol结构化子类型
Callable可调用类型
Any和object的区别

类型检查

mypy安装和配置
常见类型错误
类型检查忽略注释
配置文件pyproject.toml

学习建议

从基础类型注解开始，逐步深入高级特性
使用mypy检查代码，及时发现类型错误
合理使用Optional和Union表达不确定性
注意类型注解不影响运行时行为

📝 发现内容有误？点击此处直接编辑

📝 配套习题（19 题）

1

判断题

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

A

对

B

错

2

单选题

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

A

def func(int a, str b):

B

def func(a: int, b: str) -> float:

C

def func(a int, b str) return float:

D

def func(a=int, b=str):

3

判断题

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

A

对

B

错

4

单选题

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

A

python mypy script.py

B

mypy script.py

C

pip mypy script.py

D

run mypy script.py

5

判断题

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

A

对

B

错

6

单选题

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

A

func.types

B

func.annotations

C

func.hints

D

func.signature

7

填空题

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

8

判断题

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

A

对

B

错

9

单选题

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

A

键为整数，值为字符串的字典

B

键为字符串，值为整数的字典

C

字典中可以是字符串或整数

D

只能包含一个键值对

10

填空题

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

11

判断题

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

A

对

B

错

12

单选题

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

A

必须同时包含str、int、float三种类型

B

值可以是str、int或float中的任意一种

C

值是一个包含三种类型的元组

D

值会自动转换为三种类型

13

填空题

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

14

判断题

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

A

对

B

错

15

单选题

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

A

一个返回bool的函数，参数可以是int或str

B

一个函数，接收int和str两个参数，返回bool

C

一个可以调用int和str的bool对象

D

一个包含int、str、bool的列表

16

填空题

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

17

判断题

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

A

对

B

错

18

单选题

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

A

StringList: List[str]

B

StringList = List[str]

C

type StringList = List[str]

D

def StringList(): return List[str]

19

填空题

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

📝 发现内容有误？点击此处直接编辑

想查看更多习题和详细解析？

小程序提供完整的题库和详细解析

长按或扫描二维码，立即体验