在Python中，如何使用具有与包含功能相同的签名的方法进行装饰班？

Question

这是我要做的事情的示例：

from typing import Callable, Generic, ParamSpec, TypeVar

t_Params = ParamSpec("t_Params")
t_Ret = TypeVar("t_Ret")
class Wraps(Generic[t_Params, t_Ret]):

    _func: Callable[t_Params, t_Ret]

    def __call__(self, func: Callable[t_Params, t_Ret]):
        self._func = func
        return self

    def call(self, *args: t_Params.args, **kwargs: t_Params.kwargs) -> t_Ret:
        return self._func(*args, **kwargs)

@Wraps()
def rep(a: str, b: int, **kwargs):
    return a * b

我不想使用__ INIT __设置self._func，因为我将无法将其他参数传递到__ INIT __。

我希望__调用__方法可以推断t_params和t_ret的类型，但这不是：

# mousing over `rep` and `rep.func` shows:

rep      # (function) rep: Wraps[(*args: Unknown, **kwargs: Unknown), Unknown]
rep.func # (method) call: (...) -> Unknown

我相信这是因为类型是因为类型AREN' t在创建类实例时被推断出来，而是在调用实例时。

我希望wraps.call方法具有与包装函数相同的签名。有什么办法做到这一点吗？

---

编辑以进行进度更新：

如果我远离__调用__是定义类实例的通用类型的内容，我将制作一个替代构造函数，将其所有参数供应到__ INT __ INT __ INT __ INT __ func参数之后。但是，我无法给出替代构造函数（.new）正确的类型提示。

from typing import Callable, Generic, TypeVar

t_WrapsCallable = TypeVar("t_WrapsCallable", contravariant=True, bound=Callable)
t_Callable = TypeVar("t_Callable", bound=Callable)

class Wraps(Generic[t_WrapsCallable]):

    func: t_WrapsCallable

    def __init__(self, func: t_WrapsCallable):
        self.func = func
        return self

    @classmethod
    def new(cls, *args, **kwargs) -> Callable[[t_Callable], "Wraps[t_Callable]"]:
        def _new(func: t_Callable) -> Wraps[t_Callable]:
            return cls(func, *args, **kwargs)
        return _new

@Wraps.new()
def rep(a: str, b: int):
    return a * b

rep      # (function) rep: Wraps[(a: str, b: int) -> str]
rep.func # (variable) func: (a: str, b: int) -> str

class WrapsWithName(Wraps[t_WrapsCallable]):

    def __init__(self, func: t_WrapsCallable, name: str):
        super().__init__(func)
        self.name = name

    @classmethod
    def new(cls, name: str) -> Callable[[t_Callable], "WrapsWithName[t_Callable]"]:
        # The following line has a type issue:
        # Function return type "Wraps[t_Callable@new]" is incompatible with type "WrapsWithName[t_Callable@new]"
        #   "Wraps[t_Callable@new]" is incompatible with "WrapsWithName[t_Callable@new]"
        return super().new(name)

@WrapsWithName.new("repeat")
def rep2(a: str, b: int):
    return a * b

rep2      # (function) rep2: WrapsWithName[(a: str, b: int) -> str]
rep2.func # (variable) func: (a: str, b: int) -> str
rep2.name # (variable) name: str

我不能嵌套generic s，或.new函数将返回callable [[t_callable]，self [t_callable]]自我是一种与自我阶级结合的typevar。

这使我提出了一个替代问题：python缺乏对高态度类型的支持有什么办法吗？