匹配含枚举字段的自定义类时assert_never()类型检查失败求助

核心问题出在类型检查器无法从类实例的字段匹配中推导出整个实例的类型已被穷尽覆盖，具体原因有两点：

1. 类实例的可变性假设
   类型检查器默认认为FooData是可变对象——哪怕你在match分支里匹配了color的所有枚举值，它没法保证匹配过程中这个字段不会被其他代码修改。因此不会将匹配后的FooData实例标记为"已穷尽所有可能"，自然assert_never接收的参数还是FooData类型，而非Never。

2. 枚举与类实例的类型推导逻辑差异
   直接匹配RGBColor枚举实例时，枚举是不可变且封闭的类型（所有可能值在定义时就确定），类型检查器能明确识别你已经覆盖了所有枚举分支，剩下的情况就是Never。但匹配FooData实例时，你只是匹配了它的一个字段，类型检查器不会自动把字段的穷尽性推导到整个实例上。

要让类型检查器认可穷尽性，优先提取枚举字段再匹配，而非直接匹配整个类实例：

from enum import Enum
from typing import Never

class RGBColor(Enum):
    RED = "red"
    GREEN = "green"
    BLUE = "blue"

class FooData:
    def __init__(self, color: RGBColor):
        self.color = color

def assert_never(x: Never) -> Never:
    raise AssertionError(f"Unexpected value: {x}")

def process_data(data: FooData) -> str:
    # 提取color字段单独匹配枚举，类型检查器能识别穷尽性
    match data.color:
        case RGBColor.RED:
            return "红色"
        case RGBColor.GREEN:
            return "绿色"
        case RGBColor.BLUE:
            return "蓝色"
        case _:
            return assert_never(data.color)  # 此处无类型报错

如果一定要匹配整个FooData实例，可以手动给类型检查器明确字段的穷尽性：

def process_data(data: FooData) -> str:
    match data:
        case FooData(color=RGBColor.RED):
            return "红色"
        case FooData(color=RGBColor.GREEN):
            return "绿色"
        case FooData(color=RGBColor.BLUE):
            return "蓝色"
        case _:
            # 手动传递color字段给assert_never，让检查器识别穷尽性
            return assert_never(data.color)

本质上，类型检查器需要明确被匹配的对象本身的所有可能类型都被覆盖，而非它的某个字段。所以直接匹配枚举字段是更简洁可靠的方式。

内容的提问来源于stack exchange，提问作者S.B