为什么我会收到 mypy no overrides of "zip" matches argument 错误？

我有一个带有方法的类：

class TimeUtilitiesTestCase():
    def test_date_and_delta(self) -> None:
        """Tests date_and_delta utility method."""
        now = datetime.datetime.now()
        tdelta = datetime.timedelta
        int_tests = (3, 29, 86399, 86400, 86401 * 30)
        date_tests = [now - tdelta(seconds=x) for x in int_tests]
        td_tests = [tdelta(seconds=x) for x in int_tests]
        results = [(now - tdelta(seconds=x), tdelta(seconds=x)) for x in int_tests]
        for test in (int_tests, date_tests, td_tests):
            for arg, result in zip(test, results):
                dtime, delta = humanizer_portugues.time.date_and_delta(arg)
                self.assertEqualDatetime(dtime, result[0])
                self.assertEqualTimedelta(delta, result[1])
        self.assertEqual(humanizer_portugues.time.date_and_delta("NaN"), (None, "NaN"))

我正在运行严格的 mypy 检查（配置here https://github.com/staticdev/humanizer-portugues/blob/858db670671bf54d18ffcbbf63a396be863e5f53/mypy.ini），我收到错误：

error: No overload variant of "zip" matches argument
types "object", "List[Tuple[datetime, timedelta]]"  [call-overload]
                for arg, result in zip(test, results):
                                   ^
note: Possible overload variants:
note:     def [_T1, _T2] zip(*iterables: Tuple[_T1, _T2]) -> Tuple[Tuple[_T
1, ...], Tuple[_T2, ...]]
note:     def [_T1, _T2, _T3] zip(*iterables: Tuple[_T1, _T2, _T3]) -> Tupl
e[Tuple[_T1, ...], Tuple[_T2, ...], Tuple[_T3, ...]]
note:     <3 more similar overloads not shown, out of 10 total overloads>

如果你想完全重现错误，你可以克隆分支strict-mypy with: git clone -b strict-mypy https://github.com/staticdev/humanizer-portugues.git

我尝试改变results从列表到也是一个元组，但这个错误并没有消失。

我这里打字怎么不正确？

编者注：
可以通过以下最小示例重现此问题：

def bug_repr() -> None:
    ints = [1, 2]
    floats = [3.14, 2.72]
    strings = ['a', 'b']
    for numeric_list in [ints, floats]:
        for number, string in zip(numeric_list, strings):  # <-- error here
            pass

这给出了同样的错误：

main.py:6: error: No overload variant of "zip" matches argument types "object", "List[str]"
main.py:6: note: Possible overload variants:
main.py:6: note:     def [_T1, _T2] zip(*iterables: Tuple[_T1, _T2]) -> Tuple[Tuple[_T1, ...], Tuple[_T2, ...]]
main.py:6: note:     def [_T1, _T2, _T3] zip(*iterables: Tuple[_T1, _T2, _T3]) -> Tuple[Tuple[_T1, ...], Tuple[_T2, ...], Tuple[_T3, ...]]
main.py:6: note:     <3 more similar overloads not shown, out of 10 total overloads>
Found 1 error in 1 file (checked 1 source file)

您可以在以下位置重现此内容.

使用您的最小示例：

问题是，MyPy 推断出的类型太窄，即List[int] and List[float]然后它无法推断类型List of something for numeric_list。一般来说，当你放入不同的东西时，容器和静态类型安全会出现问题。例如，您输入了一个浮点数和一个整数，那么静态分析如何知道您要取出什么？看关于方差的文档 https://mypy.readthedocs.io/en/latest/common_issues.html#variance

但是你可以声明一个更通用的类型，使用联合类型 https://mypy.readthedocs.io/en/latest/kinds_of_types.html?highlight=Union#union-types，声明它可能包含多种类型。

from typing import Union, List

def bug_repr() -> None:
    ints: List[Union[int, float]] = [1, 2]
    floats: List[Union[int, float]] = [3.14, 2.72]
    strings = ['a', 'b']
    for numeric_list in [ints, floats]:
        for number, string in zip(numeric_list, strings):
            pass

或者，您可以将其声明为列表（或序列），而不指定里面的内容：

from typing import List

def bug_repr() -> None:
    ints: List = [1, 2]
    floats: List = [3.14, 2.72]
    strings = ['a', 'b']
    for numeric_list in [ints, floats]:
        for number, string in zip(numeric_list, strings):
            pass

但我不确定会推断出什么类型number在内循环中。

（注意，您还可以使用Sequence作为更通用的类型而不是List)