掌握Python类型提示（typing模块入门与实战指南）

为什么需要类型提示？

Python是一门动态类型语言，这意味着变量的类型在运行时才确定。虽然这带来了灵活性，但也容易引发难以察觉的类型错误。通过使用Python静态类型检查（如mypy、pyright等工具），我们可以在代码运行前发现潜在问题，提高代码质量。

基础类型提示语法

最基本的类型提示写法是在变量或函数参数后加上冒号和类型名。例如：

def greet(name: str) -> str:    return f"Hello, {name}!"age: int = 25is_student: bool = True

上面的代码中，name: str 表示参数 name 应该是字符串类型，-> str 表示函数返回值也是字符串类型。

常用typing模块类型

除了基本类型（如 int, str, bool, float），typing 模块还提供了更复杂的类型构造器：

• List[T]：表示包含类型T元素的列表
• Dict[K, V]：表示键为K、值为V的字典
• Tuple[T1, T2, ...]：表示固定长度的元组
• Optional[T]：表示可能是T类型或None
• Union[T1, T2]：表示可以是T1或T2类型

下面是一个综合示例：

from typing import List, Dict, Optional, Uniondef process_data(    names: List[str],    scores: Dict[str, float],    threshold: Optional[float] = None) -> List[Union[str, int]]:    result = []    for name in names:        score = scores.get(name, 0.0)        if threshold is None or score >= threshold:            result.append(name)            result.append(int(score))    return result

Python 3.9+ 的新写法

从Python 3.9开始，你可以直接使用内置类型（如 list, dict）进行类型注解，无需导入 typing 模块：

def get_names(people: list[dict[str, str]]) -> list[str]:    return [person["name"] for person in people]

不过为了兼容旧版本Python，很多项目仍使用 typing 模块中的类型。

如何进行静态类型检查？

安装并使用 mypy 是最常见的方式：

# 安装 mypypip install mypy# 检查文件mypy your_script.py

如果代码中存在类型不匹配，mypy 会给出清晰的错误提示，帮助你在编码阶段就发现问题。

总结

通过学习本篇Python类型提示教程，你应该已经掌握了 typing 模块的基本用法。合理使用类型提示不仅能让你的代码更清晰，还能显著减少运行时错误。建议在新项目中积极采用类型注解，并配合 mypy 等工具进行静态检查，提升整体开发体验。

记住：类型提示不会影响程序运行（Python解释器会忽略它们），但它们对开发者和工具链来说价值巨大！