使用mypy时Python模式匹配中Optional变量的类型识别问题

你遇到的问题是因为原模式匹配的写法没有让mypy关联上变量的实际类型。当你写case Student(), City():时，mypy只能确认当前分支匹配到了这两个类型的实例，但无法推断原student和city变量已经排除了None的可能。

以下是两种无需# type: ignore的解决方法：

方法1：使用as关键字捕获匹配实例 #

通过as将匹配到的实例绑定到变量（可以复用原变量名），mypy会自动识别这些变量的非Optional类型：

match student, city:
    case None, None:
        output = "they all none"
    case Student() as student, City() as city:
        output = f"student: {student.first_name} lives in {city.name}"
    case _, _:
        output = "one of them is none..."

方法2：使用赋值表达式捕获匹配实例 #

利用Python 3.8+的赋值表达式，同样可以让mypy明确变量类型：

match student, city:
    case None, None:
        output = "they all none"
    case s := Student(), c := City():
        output = f"student: {s.first_name} lives in {c.name}"
    case _, _:
        output = "one of them is none..."

两种方法的核心逻辑一致：通过在模式中显式捕获匹配到的实例，让mypy能够跟踪到变量的具体类型，从而正确进行类型检查，避免不必要的类型错误提示。

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