Mypy：我应该如何输入一个以字符串为键且值可以是字符串或字符串列表的字典？

Question

我正在使用 Python 3.8.1 和 mypy 0.782。我不明白为什么 mypy 会抱怨以下代码：

from typing import Union, List, Dict
Mytype = Union[Dict[str, str], Dict[str, List[str]]]
s: Mytype = {"x": "y", "a": ["b"]}

Mypy 在第 3 行给出以下错误：

Incompatible types in assignment (expression has type "Dict[str, Sequence[str]]", variable has type "Union[Dict[str, str], Dict[str, List[str]]]")

如果我将最后一行更改为s: Mytype = {"a": ["b"]}mypy 不会抱怨。但是，当再添加一行时s["a"].append("c")会导致错误：

error: Item "str" of "Union[str, List[str]]" has no attribute "append"

上述情况该如何解释呢？我应该如何输入一个以字符串为键且值可以是字符串或字符串列表的字典？

发现这个： https: //github.com/python/mypy/issues/2984#issuecomment-285716826但仍然不完全确定为什么会发生上述情况以及我应该如何修复它。

编辑： 虽然还不清楚为什么建议的修改Mytype = Dict[str, Union[str, List[str]]]不能解决错误，但s['a'].append('c')我认为评论中以及/sf/answers/4400342061/中建议的 TypeDict 方法是可行的方法，所以将该方法标记为解决方案。

请参阅类似的问题：Indicating multiple value in a Dict[] for typehins，Georgy 在评论中建议。

Answer 1

因为不能同时s: Mytype有类型Dict[str, str]和类型。Dict[str, List[str]]你可以像这样做你想做的事：

Mytype = Dict[str, Union[str, List[str]]]

但也许有问题，因为Dict是不变的

您也可以使用TypedDict，但只需要一组固定的字符串键：

from typing import List, TypedDict

MyType = TypedDict('MyType', {'x': str, 'a': List[str]})
s: MyType = {"x": "y", "a": ["b"]}

s['a'].append('c')

笔记：

除非您使用的是 Python 3.8 或更高版本（TypedDict在标准库打字模块中可用），否则您需要使用 pip 安装 Typing_extensions 才能使用 TypedDict

当然，您可以使用Any：

Mytype = Dict[str, Any]