PyCharm 中类型提示 dict.items() 时的奇怪行为

Question

假设我有一个函数，do_something:

from typing import Sequence, Tuple, Dict

def do_something(argument: Sequence[Tuple[int, str]]):
    pass

假设我还有一本字典，D，其键仅为ints，其值仅为strs：

D: Dict[int, str] = {1: 'a', 2: 'b', 3: 'c'}

在 PyCharm 中，这将出色地通过类型检查器：

do_something(
    ((1, 'a'), (2, 'b'), (3, 'c'))
)

但是，根据 PyCharm 的说法，尽管它产生的内容相同，但类型检查器却失败了：

do_something(tuple(D.items()))

这是预期的行为 - 我在这里遗漏了什么吗？ -- 或者这是 PyCharm 的类型检查器的错误？

Answer 1

这是 PyCharm 中的一个错误。 有许多类似的错误，例如this, this, this.

总的来说，PyCharm 在这方面非常聪明。在您的情况下，它可以正确推断 D 的类型。它还正确地推断出D.items()，然后在for k, v in D.items()、k 和v 之类的代码中将被正确推断。但是由于某些奇怪的原因，tuple/list/sorted 或 D.items() 周围的东西是有问题的。

我总是会在您希望它可以工作时在 Youtrack 上报告问题。

Answer 2

PyCharm 不能保证D 的类型真的是Dict[str, int]；它可能不会进行代码流分析以确保没有任何东西不能将非(str, int) 对添加到字典中。 （顺便说一句，您应该看看 Mypy，Python 的“规范”类型检查器是否可以。）

您也许可以添加显式类型注释以查看是否有帮助。

D: Dict[str, int] = {1: 'a', 2: 'b', 3: 'c'}