python - mypy:无法推断 "map"的类型参数 1

尝试使用 mypy 检查以下代码时:

import itertools
from typing import Sequence, Union, List

DigitsSequence = Union[str, Sequence[Union[str, int]]]


def normalize_input(digits: DigitsSequence) -> List[str]:
    try:
        new_digits = list(map(str, digits))  # <- Line 17
        if not all(map(str.isdecimal, new_digits)):
            raise TypeError
    except TypeError:
        print("Digits must be an iterable containing strings.")
        return []
    return new_digits

mypy 抛出以下错误:

为什么会出现这个错误？我该如何解决？
谢谢 :)
编辑: 它实际上是 mypy 中的一个 bug，现在已修复。

最佳答案

您可能已经知道，mypy 依赖 typeshed 来 stub Python 标准库中的类和函数。我相信您的问题与 typeshed 的 stubbing of map 有关:

@overload
def map(func: Callable[[_T1], _S], iter1: Iterable[_T1]) -> Iterator[_S]: ...

并且 mypy 的当前状态是它的类型推断不是无限的。 (该项目也有 over 600 open issues. )

我相信您的问题可能与 issue #1855 有关。我相信情况确实如此，因为 DigitsSequence = str 和 DigitsSequence = Sequence[int] 都可以工作，而 DigitsSequence = Union[str, Sequence[int]] 则不行。

一些解决方法:

改用 lambda 表达式:

new_digits = list(map(lambda s: str(s), digits))

重铸为新变量:

any_digits = digits # type: Any
new_digits = list(map(str, any_digits))

要求 mypy 忽略该行:

new_digits = list(map(str, digits)) # type: ignore

关于python - mypy:无法推断 "map"的类型参数 1，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/44988144/