如何让mypy接受解压的字典？

Question

我的 mypy 遇到问题。

我有这个代码：

func(arg1, arg2, arg3=0.0, arg4=0.0)
# type: (float, float, float, float) -> float
# do something and return float.

dict_with_other_arguments = {arg3: 0.5, arg4: 1.4}
a = func(arg1, arg2, **dict_with_other_arguments)

问题是 mypy 不会检查字典中的类型，相反，我收到如下错误：

错误：“func”的参数 3 具有不兼容的类型“**Dict[str, float]”；预期“浮动”

有什么想法可以在不更改代码的情况下解决这个问题吗？

Answer 1

Mypy 在标记函数调用方面是正确的。下面的代码说明了原因：

def func(str_arg='x', float_arg=3.0):
  # type: (str, float) -> None
  print(str_arg, float_arg)

kwargs1 = {'float_arg': 8.0}
kwargs2 = {'str_arg': 13.0}  # whoops

func(float_arg=5.0)  # prints "x 5.0" -- good
func(**kwargs1)      # prints "x 13.0" -- good but flagged by Mypy
func(**kwargs2)      # prints "13.0 3.0" -- bad

在此示例中，

kwargs1

和

kwargs2

都是

Dict[str, float]

类型。类型检查器不考虑键的内容，只考虑它们的类型，因此对

func

的第二次和第三次调用看起来与 Mypy 相同。它们必须要么都是错误，要么都是可接受的，并且它们不能都是可接受的，因为第三次调用违反了类型系统。

类型检查器可以确保您没有在字典中传递错误类型的唯一方法是，所有未显式传递的参数是否共享字典值的类型。但请注意，mypy 不会保护您免受因在字典中重新指定关键字参数而导致的错误：

# This works fine:
func('x', **kwargs1)
# This is technically type safe and accepted by mypy, but at runtime raises
# `TypeError: func() got multiple values for argument 'str_arg'`:
func('x', **kwargs2)

这里对此问题有一些进一步的讨论：https://github.com/python/mypy/issues/1969

Answer 2

您需要一个

TypedDict

另请阅读有关 总体性

的部分