Pyright中assert_type匹配Callable参数名不匹配的报错及解决方法

当你使用assert_type断言函数类型为Callable时，Pyright会严格校验函数签名的参数名一致性——你的实际函数tuple_of_nums带有参数名n，但声明的Callable[[int], tuple[int,...]]未指定参数名，因此触发类型不匹配报错。

以下是几种可行的解决方法：

• 方案一：在Callable中显式指定参数名
  修改assert_type的类型参数，在Callable的参数列表中添加与实际函数一致的参数名，让签名完全匹配：

  from typing import assert_type
  from collections.abc import Callable
  def tuple_of_nums(n: int) -> tuple[int,...]:
      return tuple(range(n))
  assert_type(tuple_of_nums, Callable[[n: int], tuple[int,...]])
  

• 方案二：使用Protocol定义带参数名的函数类型
  若需要复用该函数类型或追求更清晰的定义，可以通过Protocol来描述带指定参数名的函数签名：

  from typing import assert_type, Protocol
  class TupleGenerator(Protocol):
      def __call__(self, n: int) -> tuple[int, ...]: ...
  
  def tuple_of_nums(n: int) -> tuple[int,...]:
      return tuple(range(n))
  assert_type(tuple_of_nums, TupleGenerator)
  

  这种方式更符合Python类型提示的最佳实践，尤其适用于复杂函数签名场景。

• 方案三：临时禁用特定检查（不推荐）
  若仅需临时绕过该报错，可在pyrightconfig.json中关闭reportAssertTypeFailure检查，但这会丧失assert_type的类型验证能力，仅作为应急方案：

  {
      "reportAssertTypeFailure": false
  }
  

内容的提问来源于stack exchange，提问作者Vulwsztyn