__match_args__ 必须显式定义，因为它是启用类位置模式匹配的开关，Python 不自动推导字段顺序；dataclass 生成的版本有默认规则但不可靠，手动定义更可控且需确保元组元素为真实属性名、顺序正确。
为什么 __match_args__ 在结构化模式匹配中必须显式定义
Python 3.10+ 的 match/case 对类做解构时，默认不按字段顺序匹配，而是依赖 __match_args__ 元组声明哪些属性可被位置匹配。没定义它，哪怕类有明确字段，case MyClass(x, y) 也会报 TypeError: cannot match against non-pattern object 或静默失败（取决于上下文）。
它不是“可选优化”，而是开启位置模式匹配的开关。Python 不会自动推导字段顺序——连 dataclass 生成的 __match_args__ 都只包含 init=True 且非 default_factory 的字段，不保证你预期的顺序。
-
__match_args__必须是tuple[str, ...]，元素为属性名字符串，顺序即case中位置参数对应顺序 - 只影响位置匹配（
case MyClass(a, b)），不影响关键字匹配（case MyClass(x=..., y=...)） - 若类继承自父类，子类需重写
__match_args__，不会自动合并父类定义
如何正确设置 __match_args__：dataclass vs 手动定义
dataclass 在 Python 3.10+ 默认生成 __match_args__，但行为有陷阱：它只包含 init=True 的字段，且按声明顺序；如果字段带 default 或 default_factory，会被自动移到元组末尾（即使源码写在前面），导致位置错位。
手动定义更可控：
立即学习“Python免费学习笔记（深入）”；
class Point:
def __init__(self, x: float, y: float, label: str = ""):
self.x = x
self.y = y
self.label = label
__match_args__ = ("x", "y") # 显式限定仅 x/y 可位置匹配，忽略 label
- 想让所有字段参与匹配？写全：
__match_args__ = ("x", "y", "label") - 想排除某些字段（如内部状态、缓存）？只列需要解构的，比如
__match_args__ = ("x", "y") - 字段名拼错或不存在会引发
AttributeError（在匹配时抛出，不是定义时）
case 中位置参数数量与 __match_args__ 长度不一致的后果
匹配时，case MyClass(a, b, c) 要求 len(MyClass.__match_args__) >= 3；少于则报 ValueError: too many values to unpack。多于则忽略多余变量（不报错），但语义可能出错。
-
__match_args__ = ("x", "y")，但写case Point(a, b, c)→ 运行时报错 -
__match_args__ = ("x", "y", "label")，但写case Point(a, b)→ 正常，c不绑定，label被跳过 - 用
*解包需谨慎：case Point(x, *rest)要求len(__match_args__) > 1，且rest是剩余字段值组成的元组
嵌套类匹配时 __match_args__ 的作用范围
模式匹配是逐层递归的，每个类只负责自己那一层的解构。父类的 __match_args__ 不影响子类字段能否被匹配，除非子类显式继承或重写它。
例如：
class Shape:
__match_args__ = ("color",)
<p>class Circle(Shape):
def <strong>init</strong>(self, color: str, radius: float):
self.color = color
self.radius = radius
__match_args__ = ("radius",) # 注意：这里没包含 color！</p><p>match Circle("red", 5.0):
case Circle(r): print(f"radius={r}") # ✅ 匹配成功，r=5.0
case Circle(c, r): print("won't match") # ❌ TypeError：Circle.__match_args__ 只有 1 个元素
常见疏漏是以为子类自动继承父类 __match_args__，实际完全不继承。要支持多字段匹配，必须在子类里明确列出全部需要位置匹配的属性名，包括从父类继承来的。
