fix(tpc): 「类 + t.CPtr」联合合并时传播 IsStruct,指针层数不再多算一层

类别: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 干净;未跑编译器。
This commit is contained in:
TermiNexus committed 2026-09-29 17:35:56 +08:00
1 parent b652634356
commit b3bc94f99f
1 file changed
+13
+13
View File
@@ -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: