mypy 错误：赋值中的类型不兼容（表达式的类型为“Dict[<nothing>, <nothing>]”，目标的类型为“List[str]”）

Question

我尝试在现有字典的第二层上实例化一个空字典，然后为其分配一个键值对，但 MyPy 抛出错误。

这是一个最小的示例，当激活 MyPy 检查时它将重现它：

result = {"Test": "something"}
result['key'] = {}
result['key']['sub_key'] = ["some string", "another string"]

这里的错误将类似于：

mypy(error): Incompatible types in assignment (expression has type
"Dict[<nothing>, <nothing>]", target has type "List[str]")

如何防止此错误？ 根据类似问题，建议这样做

result['key'] = {}  # type: ignore

作为一种解决方法，但这看起来不太优雅，这就是为什么我想知道是否还有更多的方法可以做。

Answer 1

问题

好的，让我们看一下前两行。

首先，定义你的字典

result

。你这样定义它：

result = {"Test": "something"}

您没有声明您期望

result

的键和值具有什么类型，因此 MyPy 需要自行解决。好吧，它说，我可以做到这一点 - 你只有字符串作为字典键，也只有字符串作为字典值，因此

result

必须是

dict[str, str]

类型。

然后我们进入第 2 行：

result['key'] = {}

MyPy 会很合理地引发错误。 “嘿嘿，这看起来像是一个错误！”它说。到目前为止，您仅将字符串作为字典值，并且您还没有明确告诉 MyPy 在该字典中可以有非

str

值，因此 MyPy 认为您可能在这里犯了错误，并且并不是要将该值添加到字典中。

没有必要看第三行，因为它基本上是相同的事情

如何解决这个问题？

有几种方法可以解决这个问题。按照最首选（如果可能的话使用）到最不首选（仅作为最后手段使用）的顺序：

1. 您可以通过将其注释为TypedDict来告诉 MyPy

   这个特定的

   字典具有与某些字符串键关联的某些类型。 （但是，您必须将

   "sub-key"

   键更改为

   "sub_key"

   ，因为“子键”不是有效的变量名称。）

   from typing import TypedDict
   
   class KeyDict(TypedDict, total=False):
       sub_key: list[str]
   
   
   class ResultDict(TypedDict, total=False):
       Test: str
       key: KeyDict
   
   
   result: ResultDict = {"Test": "something"}
   result['key'] = {}
   result['key']['sub_key'] = ["some string", "another string"]
   

2. 您可以告诉 MyPy 该字典中的 any 值可以是

   str

   类型，也可以是

   dict[str, list[str]]

   类型：

   from typing import Union
   
   result: dict[str, Union[str, dict[str, list[str]]]] = {"Test": "something"}
   d: dict[str, list[str]] = {}
   d['sub_key'] = ["some string", "another string"]
   result['key'] = d
   

3. 您可以告诉 MyPy 该字典中的值可以是任何东西（与关闭类型检查器没有什么不同）：

   from typing import Any
   
   result: dict[str, Any] = {"Test": "something"}
   result['key'] = {}
   result['key']['sub_key'] = ["some string", "another string"]
   

4. 您可以关闭类型检查器：

   result = {"Test": "something"}  
   result['key'] = {}  # type: ignore[assignment]
   result['key']['sub_key'] = ["some string", "another string"] # type: ignore[index]
   

无论如何，如果不了解更多有关您的用例的信息，就很难知道“最佳”解决方案是什么。