Python类型提示：从基础语法到工程实践

1. Python类型系统演进与类型提示的必要性

Python作为动态类型语言，在早期版本中缺乏静态类型检查能力。这虽然带来了开发灵活性，但也导致了许多运行时类型错误难以提前发现。随着项目规模扩大，这种动态性反而成为维护的负担。

类型提示（Type Hints）是Python 3.5引入的PEP 484标准，它通过注解语法为变量、函数参数和返回值添加类型信息。不同于静态类型语言的强制约束，Python的类型提示：

• 不改变运行时行为
• 完全向后兼容
• 通过工具链实现静态检查

实际工程中的价值体现：

1. 代码可读性提升：函数签名即文档
2. IDE支持增强：智能补全和错误检测
3. 重构安全性：类型变化的影响可追溯
4. 团队协作：接口约定显式化

注意：类型提示不是类型声明！Python解释器会忽略这些注解，它们仅用于静态类型检查工具。

2. 类型系统基础与核心语法

2.1 基本类型注解

python复制# 变量注解
name: str = "Alice"
count: int = 42
ratio: float = 3.14
is_active: bool = True

# 函数注解
def greet(name: str) -> str:
    return f"Hello, {name}"

2.2 复合类型处理

python复制from typing import List, Dict, Tuple, Set

# 列表类型
numbers: List[int] = [1, 2, 3]

# 字典类型
config: Dict[str, str] = {"host": "localhost", "port": "8080"}

# 元组类型（固定长度）
point: Tuple[float, float] = (1.5, 2.5)

# 集合类型
unique_ids: Set[int] = {101, 102, 103}

2.3 特殊类型处理

python复制from typing import Optional, Union, Any

# 可选类型（可能为None）
middle_name: Optional[str] = None

# 联合类型
identifier: Union[int, str] = 100  # 也可以是"ID100"

# 任意类型（关闭类型检查）
data: Any = some_untyped_data

3. 函数签名的高级类型技巧

3.1 参数化泛型

python复制from typing import TypeVar, Generic

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()

3.2 可调用对象类型

python复制