Mypy无法识别str.split返回固定长度元组，有无替代typing.cast的方案？

你的代码中，str.split('+', maxsplit=1)会返回长度为1或2的列表，但Mypy无法自动推断出转成tuple后的固定长度，因此将其识别为tuple[str, ...]，与你标注的返回类型tuple[str, str] | None冲突。不需要一定要用typing.cast，有以下几种更安全的解决方式：

方式1：显式分支处理，明确返回元组长度 #

通过拆分逻辑，让Mypy能清晰识别每个分支返回的都是两个字符串组成的元组：

__version__: str | None = ...

def get_version_parts() -> tuple[str, str] | None:
    if __version__ is None:
        return None
    parts = __version__.split('+', maxsplit=1)
    if len(parts) == 1:
        # 处理没有'+'分隔符的情况，补全第二个元素
        return parts[0], ""
    else:
        return parts[0], parts[1]

方式2：用assert保证格式合法性（适用于版本字符串格式固定的场景） #

如果能确保__version__一定包含+分隔符，可以添加断言让Mypy推断出元组长度：

__version__: str | None = ...

def get_version_parts() -> tuple[str, str] | None:
    if __version__ is None:
        return None
    parts = __version__.split('+', maxsplit=1)
    # 断言版本字符串格式符合要求，Mypy会据此推断parts长度为2
    assert len(parts) == 2, "Version string must contain '+' separator"
    return tuple(parts)

方式3：使用typing.cast（兜底方案） #

如果不想修改逻辑，也可以用cast直接告诉Mypy元组的实际类型，但这种方式跳过了Mypy的类型检查，不如前两种安全：

from typing import cast

__version__: str | None = ...

def get_version_parts() -> tuple[str, str] | None:
    if __version__ is None:
        return None
    return cast(tuple[str, str], tuple(__version__.split('+', maxsplit=1)))

内容的提问来源于stack exchange，提问作者shadowtalker