需要mypy中某种类型的列表

Question

假设我有一个只能接受字符串列表的函数，如下所示：

from typing import List


def iter_lower(lst: List[str]) -> List[str]:
    new_lst = []
    for string in lst:
        new_lst.append(string.lower())
    return new_lst

lst: List = ["Hello", "World", 1]
iter_lower(lst)

mypy不会抱怨，尽管显然是错误的，因为lst是通用列表，其中包含与.lower()不兼容的整数。我可以在iter_lower的参数列表中使用一些提示，导致mypy拒绝此用法吗？

Answer 1

如果您希望mypy将lst视为“具有类型检查的任意混合类型列表”，则应使用List[object]。