From 25363120f8959bfbbe163e2012caa9a101e8f86f Mon Sep 17 00:00:00 2001 From: TermiNexus Date: Sat, 29 Aug 2026 09:15:33 +0800 Subject: [PATCH] =?UTF-8?q?debug(tpv):=20=E4=B8=B4=E6=97=B6=E8=AF=8A?= =?UTF-8?q?=E6=96=AD=E5=AE=9A=E4=BD=8D=20ast.Attribute=20=E5=8C=85?= =?UTF-8?q?=E9=87=8D=E5=AF=BC=E5=87=BA=E5=A4=B1=E8=B4=A5=E6=A0=B9=E5=9B=A0?= =?UTF-8?q?=EF=BC=88REEXPORT-DBG=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- App/lib/Stub/StubGen/VpiReader.vp | 23 +++++++++++++++++++++++ App/lib/core/Gen/StructGenMixin.vp | 13 +++++++++++++ 2 files changed, 36 insertions(+) diff --git a/App/lib/Stub/StubGen/VpiReader.vp b/App/lib/Stub/StubGen/VpiReader.vp index 0bbb057..1128b5f 100644 --- a/App/lib/Stub/StubGen/VpiReader.vp +++ b/App/lib/Stub/StubGen/VpiReader.vp @@ -1355,10 +1355,26 @@ def _ParseVpiIntoModuleImpl(pool: memhub.MemBuddy | t.CPtr, stub_from_imports = _stub_add_from( pool, stub_from_imports, slocal, sifr_mod, sorig) # 重导出类以包 sha1 注册（asname 时按别名注册） + # [REEXPORT-DBG] 临时诊断：ast.Attribute 未注册根因定位 + # （AssignGenMixin.vp L46 lookup_field_by_class fail-fast）。 if is_pkg_init_rt != 0 and sub_sha1_rt is not None: _inject_reexport_class_declare( pool, mod, sial.name, slocal, sub_sha1_rt, src_sha1) + elif string.strcmp(sial.name, "Attribute") == 0 \ + or string.strcmp(sial.name, "AST") == 0: + rel_p_dbg: str = "?" + if src_sha1 is not None: + rel_p_dbg = StubMergerStore.LookupSha1RelPath(src_sha1) + sub_s_dbg: str = "?" + if sub_sha1_rt is not None: + sub_s_dbg = sub_sha1_rt + src_s_dbg: str = "?" + if src_sha1 is not None: + src_s_dbg = src_sha1 + stdio.printf("[REEXPORT-DBG] 跳过重导出: name=%s mod=%s is_pkg=%d sub_sha1=%s src_sha1=%s rel=%s\n", + sial.name, sifr_mod, is_pkg_init_rt, + sub_s_dbg, src_s_dbg, rel_p_dbg) # 用 stub 自己的 imports 替代当前模块的（stub 注解解析上下文正确性） imported_modules: str = trans._imported_modules @@ -1564,9 +1580,16 @@ def _inject_reexport_class_declare(pool: memhub.MemBuddy | t.CPtr, # 找子模块源 entry（仅类有 entry；函数/常量查不到自然跳过） src_entry: GenTypes.StructEntry | t.CPtr = GenApi.find_struct_by_module(src_name, sub_sha1) if src_entry is None or src_entry.Ty is None: + # [REEXPORT-DBG] 临时诊断：子模块类未注册（重导出前置依赖缺失） + # ast.Attribute 根因候选 1：ast.exprs.Attribute（sub_sha1）未注册。 + stdio.printf("[REEXPORT-DBG] src_entry=None: name=%s sub_sha1=%s pkg_sha1=%s\n", + src_name, sub_sha1, pkg_sha1) return 0 # 注册别名 entry（绕过 register_struct 的 Ty 去重） if GenApi.register_struct_alias(pool, local_name, pkg_sha1, src_entry) is None: + # [REEXPORT-DBG] 临时诊断：别名注册失败（STRUCT_MAX 上限或分配失败） + stdio.printf("[REEXPORT-DBG] register_struct_alias=None: name=%s pkg_sha1=%s src_sha1=%s\n", + local_name, pkg_sha1, sub_sha1) return 0 GenApi.add_visible_struct(pool, local_name) return 1 diff --git a/App/lib/core/Gen/StructGenMixin.vp b/App/lib/core/Gen/StructGenMixin.vp index f4aca57..596b812 100644 --- a/App/lib/core/Gen/StructGenMixin.vp +++ b/App/lib/core/Gen/StructGenMixin.vp @@ -891,6 +891,19 @@ class StructGenMixin: return None # 模块可解析但类未注册：fail-fast（暴露 vpi 注入/注册缺陷， # 不再裸名跨库抓其他模块同名类） + # [REEXPORT-DBG] 临时诊断：区分"裸名未注册"与"注册在其它 sha1" + dbg_cnt_bare: int = 0 + dbg_i_bare: int + for dbg_i_bare in range(self.StructCount): + dbg_ent_b: GenTypes.StructEntry | t.CPtr = self._get_struct_entry(dbg_i_bare) + if dbg_ent_b is not None and dbg_ent_b.Name is not None: + if string.strcmp(dbg_ent_b.Name, bare_q) == 0: + dbg_cnt_bare += 1 + if dbg_cnt_bare <= 3 and dbg_ent_b.ModuleSha1 is not None: + stdio.printf("[REEXPORT-DBG] 裸名 '%s' 已注册: sha1=%s FC=%d\n", + bare_q, dbg_ent_b.ModuleSha1, dbg_ent_b.FieldCount) + stdio.printf("[REEXPORT-DBG] 类 '%s' 未注册: mod=%s mod_sha1=%s 裸名同名注册数=%d\n", + bare_q, mod_buf_q, mod_sha1_q, dbg_cnt_bare) self.Gen.TypeGenErr.fatal_error(node, f"lookup_field_by_class: 类 '{class_name}' 未找到（模块 '{mod_buf_q}' 可解析 sha1={mod_sha1_q}，但无同名注册类；请检查 vpi stub 注入或编译顺序）", "AttributeError") stdlib.free(mod_buf_q) return None