From b3bc94f99fe48cb32b8086cdb6b9fa31867b8c77 Mon Sep 17 00:00:00 2001 From: TermiNexus Date: Tue, 29 Sep 2026 17:35:56 +0800 Subject: [PATCH] =?UTF-8?q?fix(tpc):=20=E3=80=8C=E7=B1=BB=20+=20t.CPtr?= =?UTF-8?q?=E3=80=8D=E8=81=94=E5=90=88=E5=90=88=E5=B9=B6=E6=97=B6=E4=BC=A0?= =?UTF-8?q?=E6=92=AD=20IsStruct=EF=BC=8C=E6=8C=87=E9=92=88=E5=B1=82?= =?UTF-8?q?=E6=95=B0=E4=B8=8D=E5=86=8D=E5=A4=9A=E7=AE=97=E4=B8=80=E5=B1=82?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 类别：a（编译器缺陷）—— 上游：联合注解 `X | t.CPtr`（X 为类）合并后多出一层指针， 类名随之在下游被当通用指针处理。 根因（一行）： - `_MergeAllComponentTypes` 的"struct 吸收第一个 t.CPtr"规则以 `Result.IsStruct` 为 **闸门**（该函数 :1022-1027 注释原文："仅对 struct 类型吸收第一个 CPtr（struct 变量 默认是指针，AST | t.CPtr = AST*）"）： base_ptr_count = Result.PtrCount; Result.PtrCount += cptr_count if Result.IsStruct and base_ptr_count > 0 and cptr_count > 0: Result.PtrCount -= 1 - 但 `_MergeCTypeInfoInto` 传播 struct 时**只复制 Name、从不置 IsStruct** （`if Source.IsStruct and Source.Name and not Target.Name: Target.Name = Source.Name`） ⇒ 闸门恒假 ⇒ `list[str] | t.CPtr` 合并后 PtrCount = 1+1 = 2（应为 1） ⇒ 得到 `list[str]**` 而非 `list[str]*`。 - 既有同类先例（同一函数紧邻的 REnum 分支）已经写着 `Target.IsStruct = True` 并注释"同时传播 IsStruct=True，让 CPtr 吸收逻辑生效 （REnum 在内存布局上是 struct）" ⇒ 通用 struct 分支漏了同一个传播。 后果链（Test/FakeDuckTest/App/main.vp:111/115）： `parts = s1.split(',')`（`split` 返回注解 `list[str]*` ≡ `list[str] | t.CPtr`） 声明侧解析成两层指针 ⇒ 值类型 pointee 是指针而非结构体 ⇒ HandlesAssign 的类名推断 整块（以 pointee 是结构体为前提）跳过 ⇒ `parts` 无 `var_struct_class` ⇒ `p0: str = parts[0]` 不走 `list[str].__getitem__`，退化成通用指针/字节索引返回整数 ⇒ 报"整数隐式转指针已禁止"（真因在 4 行之前，报文指不到）。 修复：`_MergeCTypeInfoInto` 里 struct 标志与 Name 成对传播 （`if Source.IsStruct: Target.IsStruct = True`），恢复文档化的"吸收第一个 CPtr"语义。 （上一提交 b6526343 在调用点做了类名恢复，属同族的下游补丁；本次是上游根治， 两者不冲突：上游修好后，参数/字段/返回值等位置不再各自退化。） 验证：GetDiagnostics 干净；未跑编译器。 --- lib/core/Handles/HandlesTypeMerge.py | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/lib/core/Handles/HandlesTypeMerge.py b/lib/core/Handles/HandlesTypeMerge.py index bb99253..e1008a2 100644 --- a/lib/core/Handles/HandlesTypeMerge.py +++ b/lib/core/Handles/HandlesTypeMerge.py @@ -1061,6 +1061,19 @@ class HandlesTypeMerge(BaseHandle): # 无法获取正确的特化类名 → 方法分派 fallback 到错误的类 if Source.IsStruct and Source.Name and not Target.Name: Target.Name = Source.Name + # 【IsStruct 必须随 Name 一起传播】`_MergeAllComponentTypes` 的 + # "struct 吸收第一个 t.CPtr"规则（见该函数 :1022-1027 的注释： + # struct 变量默认是指针 ⇒ `AST | t.CPtr = AST*`）以 `Result.IsStruct` 为**闸门**： + # 此前本函数只复制 Name、从不置 IsStruct ⇒ 闸门恒假 ⇒ 闸门后的 + # `Result.PtrCount -= 1` 永不执行 ⇒ 「类 + CPtr」的联合（如 + # `list[str] | t.CPtr`）合并后指针层数**多算一层**（得 `list[str]**`，应为 + # `list[str]*`）⇒ 调用点/字段拿到的值类型 pointee 是指针而不是结构体 ⇒ + # 类名在下游被当作通用指针处理（现场：`parts = s1.split(',')` 的返回值 + # pointee 非结构体 ⇒ HandlesAssign 的类名推断整块跳过 ⇒ 随后 `parts[0]` + # 退化成按字节索引并得到整数）。 + # 语义上这两个标志同源（合并结果就是那个 struct），故成对传播。 + if Source.IsStruct: + Target.IsStruct = True # REnum 标志和名称保留（BinOp `LLVMType | t.CPtr` 合并时不能丢失 REnum 语义） # 同时传播 IsStruct=True，让 CPtr 吸收逻辑生效（REnum 在内存布局上是 struct） if Source.IsRenum and Source.Name: