mypy对os.path.dirname与List.remove()报类型错误如何解决？

mypy属于静态类型检查工具，不会根据try-except的运行时异常捕获逻辑推导类型合法性。你传入os.path.dirname的参数bpath是Optional[str]类型，不符合os.path.dirname要求输入str的类型声明，哪怕运行时会用try捕获TypeError，静态检查阶段依然会报错。同理list.remove要求传入str类型，你传入可能为None的rr也会触发类型不匹配报错。

直接前置判断bpath是否为None，只有非空时才执行后续逻辑，mypy会自动识别这个判断做类型收窄，不需要额外的类型标注，也能消除冗余的TypeError捕获：

import os
import shutil

# 从PATH中移除babel相关目录
bins = ["babel", "obabel"]
env_path = os.environ["PATH"].split(":")[:]
for abin in bins:
    bpath = shutil.which(abin)
    # 显式非空判断后，mypy会自动将bpath的类型收窄为str
    if bpath is not None:
        rr = os.path.dirname(bpath)
        try:
            env_path.remove(rr)
        except ValueError:
            pass

os.environ["PATH"] = ":".join(env_path)

修改后既保留了原有功能，代码逻辑更清晰，也能完全消除mypy的两个报错。

如果一定要保留原有try-catch的写法，可以给对应行加类型忽略标记：

import os
import shutil
from typing import Optional

# remove babel from PATH
bins = ["babel", "obabel"]
env_path = os.environ["PATH"].split(":")[:]
for abin in bins:
    bpath: Optional[str] = shutil.which(abin)
    rr: Optional[str] = None
    try:
        # 忽略该行的参数类型检查
        rr = os.path.dirname(bpath) # type: ignore[arg-type]
    except TypeError:
        pass
    try:
        if rr is not None:
            env_path.remove(rr)
    except ValueError:
        pass

os.environ["PATH"] = ":".join(env_path)

该方案虽然能消除报错，但会跳过局部类型校验，安全性和可读性都不如前置判断的方案。

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