Python函数参数类型提示非运行时强制，而是为开发者和工具提供接口契约；可选参数通过默认值或Optional注解表达“可不传”或“可能为None”，二者结合提升可读性与维护性。
Python函数参数类型提示（Type Hints）不是运行时强制约束，而是为开发者和工具（如IDE、mypy）提供清晰的接口契约；可选参数则通过默认值或Optional注解表达“可能为None”或“可不传”。二者结合使用，能显著提升代码可读性与维护性。
基础类型提示：明确参数和返回值预期
用冒号:声明参数类型，箭头->声明返回类型。Python解释器忽略这些提示，但PyCharm、VS Code等能据此提供智能补全和错误预警。
-
def greet(name: str) -> str:表示name应为字符串，函数返回字符串 -
def calc_total(price: float, qty: int) -> float:明确数值语义，避免传入字符串"100"导致隐式转换问题 - 支持内置类型（
list,dict,bool）、标准库类型（Path,datetime）及自定义类
可选参数的两种常见写法：默认值 vs Optional
“可选”在语义上有两种含义：一是调用时可不传（靠默认值实现），二是参数允许为None（靠类型注解表达）。二者常共存，但目的不同。
-
靠默认值实现“可不传”：
def send_email(to: str, cc: str = "") -> None:调用时send_email("a@b.com")合法，cc自动取空字符串 -
用
Optional[T]表示“可能为None”：from typing import Optional，然后写def find_user(id: int) -> Optional[dict]:，说明返回值可能是字典，也可能是None - 若某参数既可不传、又可传
None，推荐组合：def process_data(data: Optional[str] = None) -> str:—— 此时process_data()和process_data(None)都合法
复杂类型与泛型：处理列表、字典、联合类型
简单类型不够用时，需引入typing模块中的泛型构造器，让类型提示更精确。
立即学习“Python免费学习笔记（深入）”；
-
list[str]（Python 3.9+）或List[str]（旧版需from typing import List）：强调列表中每个元素都是字符串 -
dict[str, int]或Dict[str, int]：键为字符串，值为整数 -
Union[str, int]或简写str | int（Python 3.10+）：参数可以是字符串或整数 -
Callable[[int, str], bool]：表示一个接受int和str、返回bool的函数
实际建议：从关键函数开始，配合静态检查工具
不必一上来给所有函数加满注解。优先覆盖公共API、核心逻辑函数、以及团队协作频繁的模块。
- 在
pyproject.toml中配置mypy，运行mypy your_module.py可发现类型不匹配隐患（如把int传给了期待str的参数） - IDE中启用类型检查后，鼠标悬停即可看到完整签名，重构时自动识别潜在调用错误
- 避免过度注解：比如
def helper(x: Any) -> Any:几乎等于没写；尽量用具体类型或Protocol替代Any
