概要
Python作为一种动态类型语言，其灵活性和易用性使其广受欢迎。然而，动态类型也带来了一些问题，如代码可读性差和运行时错误等。为了提高代码质量和可维护性，Python从3.5版本开始引入了类型注解（Type Hints），并且借助第三方工具可以实现静态类型检查。本文将详细介绍Python中的类型注解和静态类型检查的概念、用法及其优点，并通过具体的示例代码展示如何在实际项目中应用。
类型注解简介
类型注解是Python 3.5引入的一种语法，用于为变量、函数参数和返回值指定类型。类型注解不会影响代码的运行，只是一种元数据，用于提高代码的可读性和可维护性，并可用于静态类型检查工具。
基本语法
类型注解的基本语法如下：
# 变量类型注解
x: int = 5
# 函数参数和返回值类型注解
def add(a: int, b: int) -> int:
return a + b
在这个示例中，变量x被注解为int类型，函数add的参数a和b以及返回值都被注解为int类型。
常用类型注解
内置类型
可以为Python的内置类型添加类型注解，如int、float、str、bool等。
age: int = 25
height: float = 1.75
name: str = "Alice"
is_student: bool = True
容器类型
对于容器类型（如列表、字典、元组等），可以使用typing模块中的泛型类型。
from typing import List, Dict, Tuple, Set
# 列表类型注解
numbers: List[int] = [1, 2, 3]
# 字典类型注解
student_info
