Python类型提示完全指南

类型提示让Python代码更加清晰和可维护。通过显式声明变量、函数参数和返回值的类型，可以获得更好的IDE支持和静态分析能力。

基础类型注解

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

age: int = 25
name: str = "Alice"

泛型和集合类型

可以使用list[int]、dict[str, int]、set[float]等语法声明集合元素的类型。

Union和Optional

from typing import Union, Optional

def process(value: Union[int, str]) -> Optional[str]:
    if isinstance(value, str):
        return value.upper()
    return None

mypy静态类型检查

mypy是Python最流行的静态类型检查器，可以在运行前发现类型错误。

Protocol定义结构化类型

Protocol允许定义结构化子类型，无需继承即可实现Duck Typing。

TypeVar泛型函数

from typing import TypeVar

T = TypeVar("T", bound=int)

def identity(value: T) -> T:
    return value