如何避免代码检查工具因类型提示细节不符发出警告？

针对你遇到的类型检查报警问题，有几种规范的处理方式，按推荐程度排序：

1. 显式解构后返回固定长度元组 #

直接把split的结果拆成两个变量，再转换为整数返回。这种写法最清晰，类型检查工具能直接识别返回的是长度为2的元组，同时代码可读性也更高：

def get_dimensions(the_string: str) -> tuple[int, int]:
    width_str, height_str = the_string.split("x")
    return int(width_str), int(height_str)

虽然如果输入不符合预期（比如没有x或多个x）会抛出ValueError，但你明确知晓输入是合法的ffprobe输出，所以完全不用担心这个问题。

2. 添加maxsplit=1（更严谨的防御性写法） #

你觉得这显得冗余，但实际上它能明确限制分割次数，即使未来输入意外出现多个x（比如ffprobe输出格式变化），也只会得到两个元素的结果，避免返回更长的元组。同时类型检查工具也会认可这种写法的返回类型：

def get_dimensions(the_string: str) -> tuple[int, int]:
    return tuple(int(part) for part in the_string.split("x", maxsplit=1))

这种写法兼顾了严谨性和类型提示的准确性，不算冗余，反而能提前规避潜在的异常。

3. 使用类型断言或忽略检查 #

如果你坚持不想修改核心逻辑，可以用类型断言告诉检查工具你确认返回的是固定长度元组，或者直接忽略该检查：

• 类型断言方式：

from typing import cast

def get_dimensions(the_string: str) -> tuple[int, int]:
    parts = tuple(int(part) for part in the_string.split("x"))
    return cast(tuple[int, int], parts)

• 忽略检查注释：

def get_dimensions(the_string: str) -> tuple[int, int]:
    return tuple(int(part) for part in the_string.split("x"))  # type: ignore

不过这两种方式都属于“绕过”检查，不如前两种写法规范，只推荐在特殊场景下使用。

不推荐：修改类型提示为tuple[int, ...] #

把返回类型改成可变长度的元组虽然能消除报警，但会丢失精确的类型信息，其他调用这个函数的代码无法明确知道返回的是两个整数，违背了类型提示的初衷。

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