第 16 讲：类型提示进阶——typing 模块与静态类型检查

大家好，我是正在实战各种 AI 项目的程序员晚枫。

类型提示让 Python 在大型项目中更安全，配合 mypy 实现编译时类型检查。

---

🎯 基础类型提示

from typing import List, Dict, Optional, Union

def greet(name: str) -> str:
    return f"Hello, {name}"

def process_data(items: List[int]) -> Dict[str, int]:
    return {"count": len(items)}

def find_user(user_id: int) -> Optional[str]:
    """可能返回 None"""
    if user_id > 0:
        return f"User{user_id}"
    return None

def parse_value(value: Union[str, int]) -> str:
    """接受多种类型"""
    return str(value)

---

🔧 泛型

类型变量

from typing import TypeVar, Generic, List

T = TypeVar('T')

class Stack(Generic[T]):
    def __init__(self) -> None:
        self._items: List[T] = []
    
    def push(self, item: T) -> None:
        self._items.append(item)
    
    def pop(self) -> T:
        return self._items.pop()

# 使用
int_stack = Stack[int]()
int_stack.push(1)
# int_stack.push("hello")  # mypy 会报错！

类型检查工具

# 安装 mypy
pip install mypy

# 运行检查
mypy your_code.py

---

🎯 本讲总结

类型提示：让代码更安全、更易维护。

泛型：编写可重用的类型安全代码。

mypy：静态类型检查工具。

---

📚 推荐教材

《Python 编程从入门到实践（第 3 版）》 | 《流畅的 Python（第 2 版）》 | 《CPython 设计与实现》

学习路线： 零基础 → 《从入门到实践》 → 《流畅的 Python》 → 本门课程 → 《CPython 设计与实现》

---

🔗 课程导航

← 上一讲：类元编程 | 下一讲：并发编程模型 →

---

💬 联系我

平台	账号/链接
微信	扫码加好友
B 站	Python 自动化办公社区

主营业务：AI 编程培训、企业内训、技术咨询

进群

嗨，扫码 进群

微信