TermiNexus
e1bb42fade
fix(ClassGenGeneric): 泛型特化不再平移"类定义窗口"，裸类名实参不再冻结成裸名
类别：a 编译器缺陷（TPV 侧）
现象（反复出现 4 轮）：编译 includes/ast/base.vp 时 :359 `_append_child(self.children, node,
self.pool)` 报
「指针隐式转指针已禁止（被指类型是非基本类型…）：源类型 %"…list[rawptr[AST]]"* →
目标类型 %"…list[rawptr<定义模块SHA1>.AST]]"*」——同一泛型特化被写成两种拼名（实参一侧
裸类名 `AST`、另一侧带定义模块 SHA1 前缀）。
判据（结构缺陷，代码级可证）：
· `_norm_type_arg_name` 规则 5.5 判定"裸类名归属"依赖两个**全局窗口变量**
`StructGen.CurDefModuleSha1` / `CurDefClassName`（证据 ② `is_module_class`、
③ `CurDefClassName` 逐字相同），入口闸门是 `_def_mod is not None`。
· `ClassGenGeneric._specialize_generic_class` 在 :715-720 把 `trans.ModuleSha1` 临时切到
**泛型模板定义模块**，再于 :729 调 `ClassGenDef.translate_class_def`；后者在
`ClassGenDef.vp:50` 会 `mark_module_class(pool, trans.ModuleSha1, class_name)`
⇒ **窗口被覆盖成"模板模块 + 特化类名"**。原实现返回时只恢复 `trans.ModuleSha1` 与
`_imported_modules`（:733-735），**没有恢复这两个窗口变量**。
· 后果：调用方文件在此之后解析任何裸类名时，证据 ②③ 都在对着"模板模块 / 特化类"判 ⇒
全落空 ⇒ 该实参以**裸名**形式被首次注册并被后续复用（首写者胜：`StructGenMixin.vp:455`
按 Ty 指针去重、`ClassGenDef.vp:100-150` existing 早退不重算）⇒ 与同一特化在别处解析出的
带 SHA1 形式分裂成两个名字 ⇒ 被"非基本类型指针不可隐式转换"拦下。
修法：
1. `ClassGenGeneric.vp`：窗口与 `ModuleSha1` **同进同出** —— 在切 ModuleSha1 之前保存
`CurDefModuleSha1`/`CurDefClassName`，:744 之后一并恢复（嵌套特化不再污染调用方窗口）。
2. `TypeGenResolve.vp` 规则 5.5 的取证日志扩展：除原有"命中 struct 条目但 entry.ModuleSha1
为空"外，**新增触发条件"窗口存在却属于另一个类"**（`_def_mod` 有值且
`CurDefClassName` 与裸名不同）——正是"窗口被特化平移/污染"或"前向引用未登记类"的签名；
报文补出 `entry_present` 与 `find_struct_by_module` 两项事实，一轮即可定位来源是否缺失。
验证：TPV 侧改动需重新自举 TransPyV.exe 后生效；本次以静态证据链（上述行号）与取证日志
自证。注：TransPyV 仓另有 7 个他人未提交文件，本次只提交本文件与 TypeGenResolve.vp。
2026-09-30 00:20:30 +08:00
..
2026-09-29 18:53:58 +08:00
2026-09-29 18:47:35 +08:00
2026-09-28 21:48:53 +08:00
2026-09-30 00:20:30 +08:00
2026-09-23 17:41:49 +08:00
2026-09-28 18:43:59 +08:00