python 我的工会崩溃了

xuo3flqw 于 2023-08-02 发布在 Python

关注(0)|答案(1)|浏览(99)

我有一段围绕一个字段编写的代码，名为data，其类型为Dict[str, Union[List[str], str]]。问题是mypy正在引发错误：

from typing import Dict, List, Union

data: Dict[str, Union[List[str], str]] = {}

key = "a"
value = "b"
if isinstance(data[key], list):
    data[key].append(value)  # Item "str" of "Union[List[str], str]" has no attribute "append"
else:
    temp = data[key]
    data[key] = [temp, value]  # List item 0 has incompatible type "Union[List[str], str]"; expected "str"

字符串
在其他类型语言中，我希望这能起作用。我已经在if语句的第一个分支中将类型装箱到一个列表中，因此self._data[key]应该解析为List[str]，而append应该没问题。类似地，在else-branch中，self._data[key]应该解析为str，这意味着temp是str，因此不应该导致任何问题被添加到List[str]。
有没有人看到一种方法来解决这个问题，而无需在这里添加不必要的类型Assert？

python

来源：https://stackoverflow.com/questions/76812756/collapsing-unions-in-mypy

1条答案

按热度按时间

chhqkbe11#

将self._data[key]提取到类型保护之前的局部变量：

from typing import Dict, List, Union

# "self._data"
data: Dict[str, Union[List[str], str]] = {}

key = "a"
value = "b"

current_value = data[key]
if isinstance(current_value, list):
    current_value.append(value)
else:
    data[key] = [current_value, value]

字符串
这通过了mypy --strict的类型检查。
我不能假设self._data[key]总是计算为相同的类型，即使使用相同的键。self._data实际上是一个复杂的用户定义的子类，它可以半随机地返回不同的联合变量，甚至可以将self._data或key重新绑定到不同的对象。

赞(0）回复(0）举报 2023-08-02

我来回答

python 我的工会崩溃了

1条答案

相关问题

热门标签

最新问答