From 61df58334fc53ae1395f8af043c7900c476438c1 Mon Sep 17 00:00:00 2001
From: TermiNexus <wyt18222152539wyt@163.com>
Date: Fri, 2 Oct 2026 23:35:58 +0800
Subject: [PATCH] =?UTF-8?q?fix(match):=20=E8=A1=A5=E9=BD=90=20TPC=20?=
 =?UTF-8?q?=E4=BE=A7=20MatchHandle.=5FCaseLabelKey?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- 上一轮重名 case 检测引用了 _CaseLabelKey，但该方法未真正落盘，运行期报
  AttributeError: type object 'MatchHandle' has no attribute '_CaseLabelKey'
- 新增 _CaseLabelKey / _ValueLabelKey：MatchValue（Constant/Name/Attribute 链）、
  MatchSingleton、MatchClass（变体名）、MatchOr（子键拼接）；MatchAs/序列返回 None
---
 lib/core/Handles/HandlesMatch.py | 40 ++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/lib/core/Handles/HandlesMatch.py b/lib/core/Handles/HandlesMatch.py
index 4deb20e..5658863 100644
--- a/lib/core/Handles/HandlesMatch.py
+++ b/lib/core/Handles/HandlesMatch.py
@@ -34,6 +34,46 @@ class MatchHandle(BaseHandle):
                 Names.append(_rest)
         return Names
 
+    @staticmethod
+    def _ValueLabelKey(Value: ast.expr) -> str:
+        """MatchValue.value 的标签键：Constant / Name / Attribute 链"""
+        if isinstance(Value, ast.Constant):
+            Kind: str = Value.kind if Value.kind is not None else type(Value.value).__name__
+            return f"{Kind}:{Value.value!r}"
+        if isinstance(Value, ast.Name):
+            return f"Name:{Value.id}"
+        if isinstance(Value, ast.Attribute):
+            return f"Attr:{MatchHandle._ValueLabelKey(Value.value)}.{Value.attr}"
+        return f"{type(Value).__name__}"
+
+    @staticmethod
+    def _CaseLabelKey(Pattern: ast.pattern) -> str | None:
+        """case 的 switch 标签键（None = 不参与重名判定）
+
+        - MatchValue      → 'V:<值键>'（Constant 值 / Name / Attribute 链）
+        - MatchSingleton  → 'S:<值>'（None/True/False）
+        - MatchClass      → 'K:<变体名>'（cls 为 Name 用 id，Attribute 用链）
+        - MatchOr         → 'O:<子模式键>'（子键任一不可比则整条不可比）
+        - MatchAs / MatchSequence 等 → None（通配/序列，不产出 switch 常量标签）
+        """
+        if isinstance(Pattern, ast.MatchValue):
+            return f"V:{MatchHandle._ValueLabelKey(Pattern.value)}"
+        if isinstance(Pattern, ast.MatchSingleton):
+            return f"S:{Pattern.value!r}"
+        if isinstance(Pattern, ast.MatchClass):
+            Cls: ast.expr = Pattern.cls
+            if isinstance(Cls, ast.Name):
+                return f"K:{Cls.id}"
+            if isinstance(Cls, ast.Attribute):
+                return f"K:{MatchHandle._ValueLabelKey(Cls)}"
+            return None
+        if isinstance(Pattern, ast.MatchOr):
+            Parts: list[str | None] = [MatchHandle._CaseLabelKey(p) for p in Pattern.patterns]
+            if any(p is None for p in Parts):
+                return None
+            return "O:" + "|".join(Parts)
+        return None
+
     def _HandleMatchLlvm(self, Node: ast.Match) -> None:
         Gen: "Translator.LlvmGen" = self.Trans.LlvmGen
         # 重名 case 检测（fail-fast）：C 的 switch 不允许重复 case 标签——重复标签会让