当类型提示 python 函数时，为什么 `*args` 和 `**kwargs` 的处理方式不同？

Question

我正在学习现代 python 中的类型提示，特别是如何表达函数的类型及其参数。

如果我有一个函数 f 并且我对它一无所知，我可以将其类型写为 Callable （或等效地，Callable[..., Any]< /代码>);如果我知道它的返回类型，我可以指定 Callable[..., ReturnType]，最后如果我知道它的所有内容，我可以编写 Callable[[Arg1Type, Arg2Type, \ldots ]，返回类型]。

如果我只知道一些参数类型，但仍想执行该契约，我该怎么办？ stackoverflow 上的 This 答案表明，一种有用的方法是创建一个带有合适示例的 Protocol通话应该是什么样子。

这样做可以让我指定一个类型，例如“一个函数，它采用整数作为第一个参数，然后是任意数量的位置参数，并返回一个整数”。事实上，下面的类型检查：

from typing_extensions import Protocol

class Distribution(Protocol):
    def __call__(self, x: int, *args) -> int:
        ...

def f1(x: int, s: str) -> int:
    ...

def f2(x: int, a: float, b: float) -> int:
    ...

distribution: Distribution = f1
distribution: Distribution = f2

太棒了！

但是，如果我想表达一个函数的类型，该函数将整数作为第一个参数，然后是任意数量的关键字参数，并返回一个整数，该怎么办？显而易见的方法是将协议更改为

class Distribution(Protocol):
    def __call__(self, x: int, **kwargs) -> int:
        ...

不幸的是，这不起作用；类型检查器抱怨 **kwargs 在 f1 或 f2 中没有相应的参数。现在，我可以说服自己，无论结果（错误与否）都是有效的：

• 显然代码无法工作！该协议指定该函数应采用任意数量的关键字参数，而不是某些特定的参数。事实上，将 f1 的签名更改为 f1(x: int, s: str, **_) 可以对所有内容进行类型检查。在此视图中，Callable[[a, arg1], a] 不是 Callable[[a, **kwargs], a] 的有效子类型。

• 显然代码应该可以工作！我指定我想要一个存在的特定参数，然后任何其他参数都在 *args 元组的其余部分中处理。 f1 和 f2 都符合此规范，因此没有问题。在此视图中，Callable[[a, arg1], a] 是 Callable[[a, *args], a] 的有效子类型。

我无法理解的是，为什么一个示例有效而另一个示例无效。

有谁知道吗？

编辑：这似乎是pyright中的一个错误，因为以下内容也通过了，没有任何投诉

from typing_extensions import Protocol

class Distribution(Protocol):
    def __call__(self, x: int, *args) -> int:
        ...

def no_parameters(x: int) -> int:
    ...

distribution: Distribution = no_parameters

查看他们的github，它可能是 五个小时前已修复，但我还没有测试过。