Python Mypy：键入要添加在一起的两个 int 或 str 列表

AddableList = ...


def add_arrays(array: AddableList, array2: AddableList) -> AddableList:
    if len(array) != len(array2):
        raise ValueError

    return [a + b for a, b in zip(array, array2)]

error: Unsupported operand types for + ("int" and "str")
error: Unsupported operand types for + ("str" and "int")
note: Both left and right operands are unions
Found 2 errors in 1 file (checked 333 source files)

error: Unsupported left operand type for + ("object")

from typing import List, TypeVar

Addable = TypeVar("Addable", str, int)


def add_arrays(array: List[Addable], array2: List[Addable]) -> List[Addable]:
    if len(array) != len(array2):
        raise ValueError

    return [a + b for a, b in zip(array, array2)]

reveal_type(add_arrays([1, 2, 3], [2, 3, 4]))    # List[int]
reveal_type(add_arrays(["a", "b"], ["c", "d"]))  # List[str]
reveal_type(add_arrays([1, 2, 3], ["a", "b", "c"]))  # error

test.py:14: error: Cannot infer type argument 1 of "add_arrays"

Python相关问答推荐

如何将Pydantic URL验证限制为特定主机或网站

如何使用函数正确索引收件箱？

根据多列和一些条件创建新列

我可以使用极点优化这个面向cpu的pandas代码吗？

Matplotlib轮廓线值似乎不对劲

过载功能是否包含Support Int而不是Support Int？

如何在Deliveryter笔记本中从同步上下文正确地安排和等待Delivercio代码中的结果？

线性模型PanelOLS和statmodels OLS之间的区别

大Pandas 胚胎中产生组合

将特定列信息移动到当前行下的新行

按列分区，按另一列排序

PMMLPipeline._ fit()需要2到3个位置参数，但给出了4个位置参数

用Python解密Java加密文件

通过pandas向每个非空单元格添加子字符串

如何在python polars中停止otherate()，当使用when()表达式时？

对所有子图应用相同的轴格式

如何获取numpy数组的特定索引值？

在pandas/python中计数嵌套类别

ConversationalRetrivalChain引发键错误

为什么在FastAPI中创建与数据库的连接时需要使用生成器？