用于修改功能签名的注释

Question

我想编写一个python装饰仪，该装饰符，并返回一个修改的功能，该功能采用相同的参数，但要修改参数的所需类型以及返回类型。我希望能够以允许呼叫代码中的错误或类似方式中的错误表达这些类型的更改。

一个示例是以下内容：

from typing import Callable, Optional, TypeVar
from typing_extensions import ParamSpec

P = ParamSpec('P')
R = TypeVar('R')

def preserve_nulls(f: Callable[P, R]) -> Callable[???, Optional[R]]:
    
    def inner(*args, **kwargs):
        if any(value is None for value in args):
            return None
        elif any(value is None for value in kwargs.values()):
            return None
        else:
            return f(*args, **kwargs)

    return inner

在这种情况下，给定一个函数f，带有签名（foo：int，bar：str，bar：str，baz：list [str]） - ＆gt; int，然后装饰的函数preserve_nulls（f）应具有签名（foo：可选[int]，bar：optional [str]，str]，baz：baz：otarional [list [list [str] ]） - ＆gt;可选[int]。

表达新的返回类型很简单，因为我只能做可选[R]。但是我不知道在上面的示例中替换？？？ /代码>“。

最终，我的目标是为preserve_nulls找到合适的注释，以便给定以下内容，

def f(foo: int, bar: str, baz: list[str]) -> int:
    return 0

wrapped_f = preserve_nulls(f)

correct = wrapped_f(foo=1, bar=None, baz=None)

incorrect = wrapped_f(foo='one', bar=None, baz=[None])

然后如果我通过mypy（或其他类型的检查器）运行，则很高兴> >正确调用是有效的，但抱怨foo和baz在不正确调用中的类型错误。

理想情况下，该解决方案应适用于其他“修改”，而不仅仅是可选，例如说用t用callable [[]，t]，t] t代码>或列表[T]或其他。

我已经准备好以目前不可能的可能性，但是如果可以做到，那么任何帮助将受到赞赏。