typing.ParamSpec 如何保留被装饰函数的 *args / **kwargs 类型_网络技术

typing.ParamSpec 如何保留被装饰函数的 *args / **kwargs 类型

发布时间 - 2026-01-31 00:00:00 点击率：次

不能——ParamSpec仅记录参数结构“形状”，不保存args/kwargs的具体类型注解，P.args恒为tuple[object, ...]，需用Concatenate显式拼接才能保留如args: float等类型信息。

ParamSpec 能不能原样保留 `*args` 和 `**kwargs` 的类型？

不能直接保留——ParamSpec 本身不捕获 *args: P.args 或 **kwargs: P.kwargs 的具体类型，它只记录参数结构的“形状”，不保存动态参数的实际注解。如果你写 def f(*args: int, **kwargs: str)，P = ParamSpec('P') 绑定后，P.args 是 tuple[object, ...]，P.kwargs 是 dict[str, Any]，原始 int 和 str 信息就丢了。

用 `Concatenate` + 显式标注才能保留 `*args` 类型

要让装饰器把 *args: int 传下去，必须手动拆开参数结构，用 Concatenate 把固定参数和可变参数拼起来，并显式写出 *args 的类型。常见错误是只写 P，结果类型检查器认为 *args 是泛型占位符而非具体类型。

ParamSpec 适合转发签名但不关心 *args/**kwargs 具体类型（比如日志装饰器）
若需保留 *args: int，定义装饰器时得用 Callable[Conc atenate[int, P], R]，并让被装饰函数显式标注 *args: int
**kwargs 同理：用 Concatenate[Unpack[T], P]（Python 3.12+）或配合 TypedDict 模拟强类型 **kwargs

实际例子：带类型感知的重试装饰器

下面这个装饰器能正确推导 f(x: str, *args: float, **kwargs: bool) 中 *args 是 float、**kwargs 是 bool：

from typing import Callable, TypeVar, ParamSpec, Concatenate, Unpack, TypedDict
import time
P = ParamSpec('P')
R = TypeVar('R')
假设我们只关心 *args: float，其他保持原样
def retry(
func: Callable[Concatenate[float, P], R]
) -> Callable[Concatenate[float, P], R]:
def wrapper(*args: float, *kwargs: P.kwargs) -> R:
for _ in range(3):
try:
return func(args, **kwargs)
except Exception:
time.sleep(1)
raise RuntimeError("Failed after retries")
return wrapper
使用时必须显式标注 *args / **kwargs 类型
def my_func(x: str, *args: float, **kwargs: bool) -> int:
return len(x) + sum(int(a) for a in args)
wrapped = retry(my_func)  # ✅ mypy 知道 wrapped 接收 *args: float, **kwargs: bool

为什么 `P.args` 总是 `tuple[object, ...]`？

这是 ParamSpec 的设计限制：它抽象的是“调用时参数如何分组”，不是“每个参数的静态类型”。P.args 对应的是 *args 形参整体，而 Python 类型系统中 *args: T 的类型本质是 tuple[T, ...]，但 P 不存储这个 T——它只存 tuple[object, ...] 作为占位。真正要恢复 T，只能靠 Concatenate 显式拼接，或用 Callable[[int, str, *tuple[float, ...]], None] 这种硬编码方式。

所以别指望 ParamSpec 自动推导出 *args 的元素类型；它最常被误用的地方，就是以为 P.args 能当 tuple[float, ...] 用。

# python # 编码 # app # ai # 为什么 # Float # Object # 可变参数 # bool # int # 泛型 # 形参 # 的是 # 它只 # 不保存 # 这是 # 要让 # 而非 # 但不 # 绑定 # 或用 # 你写

相关栏目：【网站优化151355 】【网络推广146373 】【网络技术251813 】【 AI营销90571 】

上一篇：Edge浏览器如何修改默认搜索引擎_将必应更改为百度或谷歌步

下一篇：Python IO 密集型任务的优化思路

相关栏目网站优化
网络推广
网络技术
AI营销

最新文章 Sublime怎么一键压缩JS代码 Su sublime如何在搜索中使用正则表达式 Sublime如何设置透明窗口效果 Su mysql如何设计商品表结构_mysql css属性背景图不显示怎么办_通过检查路如何使用Golang实现排序_Golan 农历闰月是怎么回事_为合回归年加一月调整塑造《刺客信条》艾吉奥传奇的编剧离开育碧 1英里等于多少公里 1mile和km的换 css grid布局中行和列是如何定义的 PS批量旋转和翻转图片，快速校正图片方向 C# Swagger UI自定义方法 C OPPO手机九宫格和全键盘怎么切换_OP Go语言如何实现用户登录注册_Golan 1节飞行速度多少公里每小时 1节是多少公纸嫁衣8千子树第五章庙门怎么开启庙门 Laravel 多行数据编辑表单中实现逐明日之后如何提升钓鱼等级明日之后提升钓支付宝怎样查年度账单_支付宝年度账单查看 C# 多线程UI更新Dispatcher

上一篇：Edge浏览器如何修改默认搜索引擎_将必应更改为百度或谷歌步

下一篇：Python IO 密集型任务的优化思路