diff --git a/App/lib/core/Gen/Type/TypeGenCType.vp b/App/lib/core/Gen/Type/TypeGenCType.vp index 247c2af..0691e45 100644 --- a/App/lib/core/Gen/Type/TypeGenCType.vp +++ b/App/lib/core/Gen/Type/TypeGenCType.vp @@ -53,23 +53,14 @@ class TypeGenCType(TypeGenBase.TypeGenBase): """CTypedef 表(register/lookup/ScanCTypedefDeclarations/_eval_const_int_expr)""" # ============================================================ - # 字段必须在**类体**声明(跨模块可见性要求,不是风格问题) - # - # 缘由:`.vpi`(声明存根)只携带**类体 AnnAssign 字段**与 `__init__` 里**带注解**的 - # `self.x: T = ...`;而方法体里的裸 `self.x = ...` 只被**定义模块自己**的成员收集 - # (HandlesClassDef 的 self.x 扫描)收录 ⇒ 同一字段"定义模块的成员表里有、引用模块的 - # 没有",且两侧 struct 布局不同源。 - # 现场:`GenApi._g_gen.TypeGenCType.CTypedefNames`(Repl.vp:802)在引用模块里属性链 - # 求值为空 → 带注解赋值被判定"无值可存"而终止编译(该字段原仅由 `self.CTypedefNames = - # tn` 赋值,.vpi 与跨模块成员表里都没有它)。 - # 判据:凡会被**别的模块**读到的字段,一律在类体写注解;只在类内使用的临时状态才允许 - # 只写 `self.x = ...`。 + # 本类**不**重复声明 CTypedef* 字段:它们由父类 TypeGenBase 的**类体**声明 + # (TypeGenBase.vp:73-84),跨模块可见性随父类声明一并提供(继承前缀)。 + # 判据:字段只在其**归属类**的类体声明一次;子类若再声明同名继承字段,该名字 + # 会变成子类"自有字段",自有表与继承前缀出现重名条目 ⇒ `base + 表内下标` + # 的继承字段偏移整体错位(现场:TypeGenResolve.vp 的 + # `self.Gen.TypeGenCType.LastBuiltinsTypedefResult = "t.CPtr"` 落到 i32 槽 → + # "指针隐式转整数已禁止" fail-fast;正确槽是同名继承字段的 i8* 槽)。 # ============================================================ - CTypedefNames: list[str] | t.CPtr - CTypedefTypeStrs: list[str] | t.CPtr - CTypedefNameIdx: sizet* - CTypedefNameIdxCap: int - CTypedefNameIdxBuilt: int # ============================================================ # CTypedef 名索引(开放寻址;槽存 index+1,0=空槽)