问为什么我拒绝我的“混合联盟”类型声明？
EN

Stack Overflow用户

提问于 2020-07-14 09:29:34

回答 2查看 5K关注 0票数 8

解决Python聊天中一个半相关的问题的时候，我遇到了一些我不明白的行为。

from typing import Union, List, Dict

def f(x: Union[
            Dict[str, float],
            Dict[str, str],
            Dict[str, int],
    ]):
        pass

f({"a": 1})     #passes
f({"a": "b"})   #passes
f({"a": 1.0})   #passes

def g(x: Union[
            Dict[str, float],
            Dict[str, Union[str, int]],
    ]):
        pass

g({"a": 1})     #fails
g({"a": "b"})   #fails
g({"a": 1.0})   #passes

def h(x: Dict[str, Union[float, str, int]]):
    pass

h({"a": 1})     #passes
h({"a": "b"})   #passes
h({"a": 1.0})   #passes

当我在这个脚本上执行mypy时，它只会抱怨中间函数g

C:\Users\Kevin\Desktop>mypy test.py
test.py:20: error: Argument 1 to "g" has incompatible type "Dict[str, int]"; expected "Union[Dict[str, float], Dict[str, Union[str, int]]]"
test.py:20: note: "Dict" is invariant -- see http://mypy.readthedocs.io/en/latest/common_issues.html#variance
test.py:20: note: Consider using "Mapping" instead, which is covariant in the value type
test.py:21: error: Argument 1 to "g" has incompatible type "Dict[str, str]"; expected "Union[Dict[str, float], Dict[str, Union[str, int]]]"
test.py:21: note: "Dict" is invariant -- see http://mypy.readthedocs.io/en/latest/common_issues.html#variance
test.py:21: note: Consider using "Mapping" instead, which is covariant in the value type
Found 2 errors in 1 file (checked 1 source file)

(正如注释所暗示的，用Dict替换Mapping可以删除错误，但为了解决我必须使用Dict的问题。)

这些错误让我感到惊讶。据我所知，每个函数的类型注释应该简化为同一组类型:键为字符串，值为floats/string/int的dict。那么，为什么只有g有不兼容的类型呢？两个工会的存在不知何故使我感到困惑？

python

annotations

typing

mypy

游戏社交场景解决方案

整合腾讯在社交娱乐及游戏体验方面的技术能力，满足玩家对游戏内即时通信和语音互动的社交刚性需求，提升游戏黏性

回答 2

Stack Overflow用户

发布于 2020-07-14 10:23:19

这是因为Dict是不变的。它应该是不变的，因为它是可变的。

Dict[str, int]不是Dict[str, Union[str, int]]的一个子类型(尽管int是Union[int, str]的一个子类型)

如果你要这样做呢：

d: Dict[str, Union[str, int]]
u: Dict[str, int]
d = u  # Mypy error: Incompatible type
d["Key"] = "value"

Mypy认为字典是同质的:它们只包含一种类型。例如，与此形成对比的是，Tuples包含异构数据:允许每个项具有不同的类型。

如果需要异构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')

注意：

除非您使用Python3.8或更高版本(在标准库类型模块中可以使用TypedDict )，否则需要使用pip安装typing_extensions以使用TypedDict

票数 6

Stack Overflow用户

发布于 2020-10-22 06:50:14

问题是键/值需要精确的类型匹配。。这是由MyPy为嵌套类型(g)强制执行的，但对于直接替换( h)则是松散的解释。

Union类型被建模为(虚拟)子类型关系。也就是说，str被认为是Union[str, x]的一个子类型。

这与issubbclass(a, (str, int))检查a是“str还是int”的方式相匹配，而没有说明是哪一种。只要只使用公共特性，我们就可以使用str值代替(str, int)-union。

Dict类型在其键/值类型中是不变的。也就是说，键/值必须与声明的类型完全相同。

对于dict这样的可变类型，键/值都是输入d[k] = v和输出v = d[k]。任何替代品都必须在能力较差的输入下工作，或者提供更有能力的输出--这是不可能的，因为输入和输出必须具有相同的能力。

结合起来，使用Dict[..., Union[str, ...]]需要与Union[str, ...]完全匹配的值--(虚拟)子类型str无效。因此，{"a": "b"}被认为是Dict[str, str]，而不是Dict[str, Union[str, int]]的替代品。

由于从逻辑上说，联合遵循的行为与常规类型略有不同，所以MyPy有一些Union。这主要集中在函数签名和重载上，它存在独立的联合数学。因此，某些平面类型替换允许更实际的Union匹配，就像h的情况一样。