diff --git a/App/lib/core/Gen/Class/ClassGenDef.vp b/App/lib/core/Gen/Class/ClassGenDef.vp
index db11130..95aa0d9 100644
--- a/App/lib/core/Gen/Class/ClassGenDef.vp
+++ b/App/lib/core/Gen/Class/ClassGenDef.vp
@@ -347,6 +347,12 @@ novirtual class ClassGenDef(ClassGenBase.ClassGenBase):
 
             # 解析字段类型
             field_ty: llvmlite.LLVMType* = self.Gen.TypeGenResolve.resolve_annotation_type(pool, aa.annotation, trans._imported_modules, trans._from_imports, trans, 0)
+            # void 不是合法字段类型（用户 2026-10-01：void 只能用于 `void*` 与
+            # `typedef 不透明结构体 = void`）；`void*` 已在上游归并为 i8*，不会命中。
+            # 放任会按 LLVM void 建字段槽 ⇒ 结构体布局非法（拖到 llc 才暴露），
+            # 故此处编译期 fail-fast。
+            if field_ty is not None and self.Gen.StmtGenDecl._is_void_type(field_ty) != 0:
+                self.Gen.TypeGenErr.fatal_error(aa, f"字段 '{tgt.id}' 不能是 void 类型（void 只能用于 void* 与 typedef 别名）", "TypeError")
             # 单参 t.CArray[elem] + 列表字面量 → 静态数组 [N x elem]
             # （与局部 AnnAssign 路径一致，对齐 TPC ParseListAnnotation 语义）：
             # 否则字段保持 Ptr(elem)（如 t.CArray[str] → i8**），
diff --git a/App/lib/core/Gen/Class/ClassGenVTable.vp b/App/lib/core/Gen/Class/ClassGenVTable.vp
index dd91c57..148e8f5 100644
--- a/App/lib/core/Gen/Class/ClassGenVTable.vp
+++ b/App/lib/core/Gen/Class/ClassGenVTable.vp
@@ -779,6 +779,13 @@ novirtual class ClassGenVTable(ClassGenBase.ClassGenBase):
                                 # （append 返回后悬垂，G5 Test4 head.Value 读到垃圾）。
                                 # CArray 形参 → 元素指针 ty*（数组衰减，C 语义，与函数形参一致）。
                                 match resolved:
+                                    case llvmlite.LLVMType.Void():
+                                        # void 不是合法形参类型（用户 2026-10-01：void 只能用于
+                                        # `void*` 与 `typedef 不透明结构体 = void`）；`void*` 已在上游
+                                        # 归并为 i8*，不会命中此分支。放任会按 LLVM void 建形参 ⇒
+                                        # 非法 IR 拖到 llc 才暴露，改编译期 fail-fast。
+                                        self.Gen.TypeGenErr.fatal_error(arg, f"方法 '{class_name}.{method_name}' 形参 '{arg.arg}' 不能是 void 类型（void 只能用于 void* 与 typedef 别名）", "TypeError")
+                                        return 0
                                     case llvmlite.LLVMType.Struct(_, _, _):
                                         param_ty = llvmlite.Ptr(pool, resolved)
                                     case llvmlite.LLVMType.Array(aelem_ty, _):
@@ -923,6 +930,10 @@ novirtual class ClassGenVTable(ClassGenBase.ClassGenBase):
                                 # 与 add_param 保持一致：裸类形参 → Ptr(struct)（对象即指针）
                                 # CArray 形参 → 元素指针 ty*（数组衰减，与 add_param 一致）
                                 match resolved2:
+                                    case llvmlite.LLVMType.Void():
+                                        # void 不是合法形参类型（用户 2026-10-01，见上方同款判据）
+                                        self.Gen.TypeGenErr.fatal_error(arg2, f"方法 '{class_name}.{method_name}' 形参 '{arg2.arg}' 不能是 void 类型（void 只能用于 void* 与 typedef 别名）", "TypeError")
+                                        return 0
                                     case llvmlite.LLVMType.Struct(_, _, _):
                                         param_ty2 = llvmlite.Ptr(pool, resolved2)
                                     case llvmlite.LLVMType.Array(aelem_ty2, _):
diff --git a/App/lib/core/Gen/Func/FuncGenDef.vp b/App/lib/core/Gen/Func/FuncGenDef.vp
index 4c27bdd..9952933 100644
--- a/App/lib/core/Gen/Func/FuncGenDef.vp
+++ b/App/lib/core/Gen/Func/FuncGenDef.vp
@@ -254,6 +254,13 @@ novirtual class FuncGenDef(CallGenBase.CallGenBase):
                             # 注册完整定义再按值（ensure_struct_def_in_module，先例
                             # CallGenCtor.vp L478）；不命中（真 opaque）保持 Ptr(struct)。
                             match resolved:
+                                case llvmlite.LLVMType.Void():
+                                    # void 不是合法形参类型（用户 2026-10-01：void 只能用于
+                                    # `void*` 与 `typedef 不透明结构体 = void`）。放任会按
+                                    # LLVM void 建形参 ⇒ 非法 IR 拖到 llc 才暴露，改编译期 fail-fast。
+                                    # 注意 `void*` 已在上游归并为 i8*，不会命中此分支。
+                                    self.Gen.TypeGenErr.fatal_error(arg, f"形参 '{arg.arg}' 不能是 void 类型（void 只能用于 void* 与 typedef 别名）", "TypeError")
+                                    return 0
                                 case llvmlite.LLVMType.Struct(_, _, _):
                                     if is_extern_decl != 0 and self.Gen.StructGen.find_struct_by_type(resolved) is not None:
                                         self.Gen.StructGen.ensure_struct_def_in_module(pool, mod, resolved)
@@ -506,6 +513,9 @@ novirtual class FuncGenDef(CallGenBase.CallGenBase):
                                     # 同 forward_declare_functions / VpiReader
                                     # _AggregateParamTy，三处必须同步）。
                                     match resolved_e:
+                                        case llvmlite.LLVMType.Void():
+                                            # void 不是合法形参类型（用户 2026-10-01，见上方同款判据）
+                                            self.Gen.TypeGenErr.fatal_error(arg_e, f"形参 '{arg_e.arg}' 不能是 void 类型（void 只能用于 void* 与 typedef 别名）", "TypeError")
                                         case llvmlite.LLVMType.Struct(_, _, _):
                                             if self.Gen.StructGen.find_struct_by_type(resolved_e) is not None:
                                                 self.Gen.StructGen.ensure_struct_def_in_module(pool, mod, resolved_e)
@@ -614,6 +624,10 @@ novirtual class FuncGenDef(CallGenBase.CallGenBase):
                                 # 的 out 指向调用方数组首元素；传 Ptr(数组) 会使 out[i] 的
                                 # GEP 以整个数组为步长错位，摘要垃圾根因）
                                 match resolved:
+                                    case llvmlite.LLVMType.Void():
+                                        # void 不是合法形参类型（用户 2026-10-01，见上方同款判据）
+                                        self.Gen.TypeGenErr.fatal_error(arg, f"形参 '{arg.arg}' 不能是 void 类型（void 只能用于 void* 与 typedef 别名）", "TypeError")
+                                        return 0
                                     case llvmlite.LLVMType.Struct(_, _, _):
                                         param_ty = llvmlite.Ptr(pool, resolved)
                                     case llvmlite.LLVMType.Array(aelem_ty, _):
@@ -765,6 +779,10 @@ novirtual class FuncGenDef(CallGenBase.CallGenBase):
                                 # CArray 形参 → 元素指针 ty*（数组衰减，alloca 类型须与形参一致，
                                 # 否则 store ty* 到 [N x ty]* 容器类型不匹配）
                                 match resolved2:
+                                    case llvmlite.LLVMType.Void():
+                                        # void 不是合法形参类型（用户 2026-10-01，见上方同款判据）
+                                        self.Gen.TypeGenErr.fatal_error(arg2, f"形参 '{arg2.arg}' 不能是 void 类型（void 只能用于 void* 与 typedef 别名）", "TypeError")
+                                        return 0
                                     case llvmlite.LLVMType.Struct(_, _, _):
                                         param_ty2 = llvmlite.Ptr(pool, resolved2)
                                     case llvmlite.LLVMType.Array(aelem_ty2, _):