如何修复mypy报错：join参数类型不兼容（Optional[str]与str）

以下是几种可靠的解决方式，可根据你的代码场景选择：

1. 使用断言（Assert）做类型校验（推荐） #

直接通过assert语句明确告知mypy当前分支中change["new_file_path"]不可能为None，同时还能在运行时做兜底检查，避免潜在逻辑漏洞：

else:
    assert change["new_file_path"] is not None, "new_file_path在该分支下不应为None"
    full_path = os.path.join(base_dir, change["new_file_path"])

2. 提前提取变量并显式分支判断 #

重构代码逻辑，提前将new_file_path提取为变量，通过显式的None判断让mypy自动推断类型：

new_file_path = change["new_file_path"]
if new_file_path is None:
    # 处理值为None的分支逻辑
    ...
else:
    full_path = os.path.join(base_dir, new_file_path)

这种方式让类型逻辑更直观，mypy能清晰识别else分支中变量的类型为str。

3. 使用typing.cast强制类型转换 #

若你能100%确保当前分支中值非None，可以用typing.cast给mypy做类型提示（仅为静态检查服务，运行时无实际转换）：

from typing import cast

else:
    new_file_path = cast(str, change["new_file_path"])
    full_path = os.path.join(base_dir, new_file_path)

注意：此方法不会在运行时校验类型，若实际值为None仍会触发运行时错误，需谨慎使用。

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