python函数支持多类型输入需手动判断转换,优先用os.fspath()处理路径类对象,类型提示应正确使用union和optional,避免可变默认参数,装饰器须用@functools.wraps保留原函数元信息。

Python 里函数怎么支持多类型输入
Python 函数本身不强制类型,但「支持多类型」常指能同时处理 str、bytes、Path 或 int 等不同输入并给出合理行为。这不是靠语法自动实现的,得靠手动判断和转换。
常见错误是直接对 path 参数调用 .open() 或 .read_text(),结果遇到 int 就报 AttributeError;或者用 isinstance(x, str) 排除 bytes,却忘了 os.PathLike 实例(比如 pathlib.Path)也该被接受。
- 优先用
os.fspath()处理路径类对象:它兼容str、bytes和实现了__fspath__()的对象(包括pathlib.Path) - 避免硬写
if type(x) == str:—— 改用isinstance(x, (str, bytes))更安全 - 如果函数要统一转成
str路径再操作,用os.fspath(x)后立刻decode()(仅当确定是bytes且编码已知)
typing.Union 和 typing.Optional 在函数签名里怎么用才不翻车
加类型提示不是为了取悦 linter,而是让调用方和静态检查工具知道「这里真能传啥」。用错 Union 或 Optional 会导致 mypy 报错、IDE 提示不准,甚至掩盖运行时逻辑漏洞。
典型翻车点:把 Optional[str] 当成「可为 None 或任意类型」,其实它等价于 Union[str, None],不能接收 int;或者在参数默认值为 None 时,只写 str 类型却不标 Optional,让类型检查器误以为绝不会是 None。
立即学习“Python免费学习笔记(深入)”;
-
Optional[T]只用于「明确允许None」的场景,且函数内部必须显式处理None分支 - 多个非空类型混用,用
Union[A, B, C],别省略括号(Union[str, int]✅,Union[str, int, None]❌ → 应写Optional[Union[str, int]]或直接Union[str, int, None]) - Python 3.10+ 可用
|语法(str | int | None),但团队若还跑 3.9 及更早,就别用
函数里改 mutable 默认参数为什么总出 bug
默认参数在函数定义时求值一次,不是每次调用都新建。如果默认值是 list、dict、set 这类可变对象,所有调用会共享同一个实例 —— 这是 Python 最经典的陷阱之一。
现象很直接:第一次调用往默认列表里 .append(),第二次调用发现列表里已经有上次的元素了;或者并发环境下,多个线程/协程同时修改这个默认字典,数据错乱。
- 永远不要用
def f(x=[]):或def f(opts={}): - 正确写法是用
None占位,再在函数体内初始化:def f(items=None): items = items or [](注意or对0、False、''也生效,稳妥起见写items = [] if items is None else items) - 如果函数本意就是「累积状态」,那就别用默认参数,改成显式传入或用类封装状态
装饰器套函数时,为什么 help() 和 inspect.signature() 显示不对
没加 @functools.wraps(func) 的装饰器,会丢失原函数的 __name__、__doc__、__annotations__ 和签名信息。结果 help(my_decorated_func) 打印的是装饰器内部的闭包函数,inspect.signature() 拿到的是 (*args, **kwargs),而不是真实参数名和类型。
这不仅影响开发体验(IDE 补全失效、文档生成失败),还会让依赖签名的库(如 FastAPI、click)无法正确解析参数。
- 只要装饰器返回的是新函数,就必须在内部用
@functools.wraps(func)包一层 - 如果装饰器本身带参数(比如
@retry(max_tries=3)),要在最内层包装函数上加@functools.wraps(func),不是在外层闭包上 - Python 3.9+ 可考虑用
functools.wraps(func, assigned=...)控制哪些属性要复制,但绝大多数情况默认全量即可
类型提示、签名、可变默认值、装饰器元信息——这些都不是“写完能跑就行”的边角料。它们藏在调用链深处,平时不显眼,一出问题就难定位,而且往往不是你写的那行代码错了,而是上游约定松动了。










