如何解决Mypy对含None默认值代码的类型检查错误？

第一个函数：规避可变默认参数陷阱 + 让Mypy识别类型收缩 #

你提到将默认值改为空列表后解决了报错，但要注意Python可变默认参数的陷阱：空列表作为默认参数会在函数定义时创建，多次调用函数会共享同一个列表实例，可能引发意外问题。更稳妥的写法是保留None作为默认值，同时调整条件判断让Mypy能正确识别类型收缩：

def plot_columns(df: pd.DataFrame, columns: list[str] | None = None):
    # 明确判断是否为None，再处理空列表场景（如果需要）
    if columns is None:
        columns = df.columns
    if not columns:
        raise ValueError("Columns list cannot be empty")

    for col in columns:
        plt.plot(df[col])

修改后，Mypy能明确感知columns is None分支执行后，变量类型已变为list[str]，不会再抛出迭代错误，同时避免了可变默认参数的潜在风险。

第二个函数：精准判断None，让Mypy正确收缩类型 #

原代码中all(tup)的逻辑存在两个问题：

1. 会误判0、0.0等合法数值（all([0, 5])返回False，但0是有效的可比较数值）
2. Mypy无法通过all(tup)推断出tup中的元素都不是None

正确的写法是精准检查每个元素是否为None，让Mypy能明确收缩类型：

def function_2(tup: tuple[float | int | None, float | int | None]) -> bool:
    assert len(tup) == 2
    a, b = tup
    if a is not None and b is not None:
        return a > b
    return False

这样Mypy能清晰识别if分支内a和b的类型是float | int，不会再抛出操作符类型不兼容的错误，同时逻辑更准确（不会把0/0.0当成无效值）。

是否应该忽略Mypy报错？ #

绝对不建议忽略这类报错。Mypy的提示暴露了两个潜在问题：

• 第一个函数的原条件判断逻辑不够精准，且存在可变默认参数陷阱
• 第二个函数的all(tup)逻辑不符合实际意图（误判合法数值）

修复这些问题不仅能通过类型检查，还能让代码逻辑更健壮、可读性更强。

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