ParamSpec 不支持直接用 Concatenate 拼接参数类型，正确用法是将 Concatenate[Request, P] 用于 Callable 输入签名以约束装饰器行为，其中 P 是 ParamSpec 占位符、Request 为具体类型，返回 Callable[P, R] 保持调用接口不变。
ParamSpec 本身不支持 Concatenate 拼接参数类型
直接在 ParamSpec 上用 typing.Concatenate 是无效的——ParamSpec 本质是占位符，不是可拼接的类型元组。你真正需要的是：用 Concatenate 构造一个「带前置参数的新可调用类型」，再把它和 ParamSpec 配合用于泛型函数签名约束。
正确用法：Concatenate + ParamSpec 用于装饰器或高阶函数签名
典型场景是写一个给函数自动注入前缀参数（比如 request: Request）的装饰器。此时你要表达「原函数接受 P，新函数接受 Concatenate[Request, P]」：
from typing import Callable, Concatenate, ParamSpec, TypeVarP = ParamSpec("P") R = TypeVar("R")
def with_request( func: Callable[Concatenate[Request, P], R] ) -> Callable[P, R]: ...
注意三点：
-
Concatenate[Request, P]出现在被装饰函数的「输入签名」里，表示它实际接收Request加上P的所有参数 -
Callable[P, R]是返回函数的签名，即调用者仍只传P的参数（Request由装饰器内部注入） -
Request必须是具体类型，不能是另一个ParamSpec或Any，否则类型检查器（如 mypy）会报错
常见错误：把 Concatenate 当作参数列表拼接工具
有人试图这样写来“扩展”已有函数的参数类型：
def f(x: int) -> str: ...
P = ParamSpec("P")
NewSig = Concatenate[str, P] # ❌ 错误！P 不代表 f 的参数，只是占位符
这不会推导出 f 的新签名，NewSig 是孤立类型，没绑定任何函数。正确做法是用 ParamSpec 做泛型约束，而不是运行时拼接。
另外，mypy 目前（v1.10）对 Concatenate 的嵌套支持有限，避免写 Concatenate[A, Concatenate[B, P]]，应扁平化为 Concatenate[A, B, P]。
Pyright 和 mypy 的兼容性差异
Pyright 对 Concatenate 支持更积极，能更好推导装饰器中参数转发的类型；mypy 则更严格，要求 Concatenate 必须出现在 Callable[...] 的第一个类型参数位置，且 P 不能出现在其他位置（如返回值中）。如果你遇到 Invalid use of ParamSpec 错误，大概率是 P 出现在了不允许的位置，或者漏写了 Callable 包裹。
实际项目中，建议先用 Pyright 验证逻辑，再针对 mypy 加 # type: ignore 注释（仅当确认无误时），因为它的 Concatenate 实现仍有未覆盖的边界情况。
