企业官网建设流程全解析

scriptc 的 Map、Set 与 TypedArray 实现：JS 精确语义原生落地的完整指南

【免费下载链接】scriptcTypeScript-to-Native Compiler项目地址: https://gitcode.com/GitHub_Trending/sc/scriptc

📌 scriptc 是一个 TypeScript-to-Native 编译器，它把 TypeScript 与 JavaScript 直接编译为可读 C、LLVM IR 乃至原生可执行文件，全程不携带 Node 或任何 JS 引擎。本文将详解 scriptc 如何为 Map、Set 与 TypedArray 这三大容器提供与 JavaScript 引擎完全一致的精确语义，并直接以高性能原生 C 代码落地。

为什么这件事很难：没有 JS 引擎的语义复刻

大多数 TS 运行方案（Bun、Deno 等）背后都藏着一个 JavaScriptCore 或 V8 引擎，Map、Set、TypedArray 的语义"免费"由引擎保证。scriptc 的路线完全不同：静态编译产物只包含一个小型原生运行时（位于 packages/runtime/src/），每个 JS 语义细节都必须由 C 代码手工复刻。这意味着三个经典"坑"都要在编译器层面精确处理：

• Map 的 SameValueZero 键比较：-0与+0视为同一键、所有NaN互为同键
• Set 的去重顺序：重复元素保留首次插入位置
• TypedArray 的构造语义：不同参数形态（长度、其他 TypedArray、数字数组字面量）各有不同的类型转换与复制规则

好消息是：scriptc 对这三者的处理不是近似模拟，而是逐条对齐 ECMAScript 规范的原生实现。

Map 原生实现：紧凑字典设计（compact-dict）

Map 的核心实现位于 scr_map.c，它采用与 V8 类似的"紧凑字典"结构：

1. 稠密条目数组：按插入顺序存放全部键值对，保证for (const [k, v] of map)的迭代顺序与 JS 完全一致；
2. 开放寻址桶表：一个存放条目索引的哈希表，让get/has接近 O(1)。

SameValueZero 的位级落地

JS 规范要求 Map 用 SameValueZero 比较键。scriptc 的做法非常巧妙：在写入前就把键归一化——-0归为+0，所有NaN折叠成同一个标准位模式，此后直接比较二进制位就是 SameValueZero 比较，无需任何运行时分支。字符串键则使用 FNV-1a 哈希。这段设计的注释可以直接看 scr_map.c。

删除、墓碑与迭代稳定性

删除条目不会腾挪数组（那样会打乱迭代索引），而是打"墓碑"：键和值立即释放，桶表槽位继续指向死条目以保持探测链完整。墓碑在数组扩容时才被压缩，且迭代进行中绝不压缩（通过iter_depth计数控制），这保证回调里随意set/delete也不会破坏正在进行的遍历。

引用环检测：按需启用的引用计数

原生运行时无 GC，靠引用计数回收。如果 Map 的键或值是对象，就可能出现"对象 A 的 Map 里存了指向 A 自己的值"这种引用环。scriptc 在构造时按图索骥：只有当键或值类型需要追踪（trace）时，才为该 Map 分配隐藏的环检测头并接入收集器；纯数字/字符串的 Map 则保持"精瘦的一字头"，完全零开销。

Set 原生实现：一种"Set 形"的 Map

Set 在运行时被建模为形状为 Set 的 Map（见 scr_runtime.h）：键即元素，值统一存 0。这带来三个好处：

• 去重语义天然精确：复用 SameValueZero 键哈希，new Set([1, -0, 1])保留首插位置，与 JS 逐位一致；
• new Set(iterable)种子构造由 scr_set_add_all 一条循环完成，按序去重；
• 对象元素 Set通过引用计数适配器的scr_set_new_ref构造，元素以指针恒等（identity）哈希，Symbol、类实例、闭包做键都正常工作。

编译器侧把set.forEach、for...of set、[...set]统一"脱糖"为对稠密条目数组的索引循环，scr_set_to_arr_*系列函数负责按插入序排空出 JS 数组。相关行为可用语料测试验证，如 1539-readonly-set-map.ts 与 1543-set-server-handles.ts。

TypedArray 原生实现：五种元素类型的精确构造

TypedArray 的编译器 lowering 位于 bytes.ts，运行时支持落在 scr_bytes.c。scriptc 为五种最常见的类型提供原生表示：

构造函数的每种参数形态都被逐一复刻：

• 无参：空数组；
• 长度参数：零填充，且执行运行时ToIndex检查——非法长度会抛出与 Node 相同的RangeError；
• 另一个 TypedArray 或 Buffer：独立拷贝（这正是new Uint8Array(await readFile(p))读文件链路的正确性基础）；
• 数字数组字面量/变量：逐元素类型转换；
• 其余无法静态确定的形态（如游离的ArrayBuffer构造）会被编译器显式围栏为诊断信息，而不是悄悄降级。

方法层面同样精确：slice、set、索引读写走原生内存操作；toSorted会先用slice快照、再做与Array.toSorted相同的稳定归并排序，默认比较器即数字升序，无需任何字符串转换机制。

语义验证：大规模语料测试护航

scriptc 的仓库携带了大量行为语料，确保"原生落地"与 JS 引擎输出逐位对齐，可重点浏览：

• TypedArray 基础行为：1400-typedarray-basics.ts
• 切片与set：1401-typedarray-slice-set.ts
• 整数 TypedArray 循环：1409-typedarray-integer-loops.ts
• Map/Set 只读迭代：1539-readonly-set-map.ts

另外，scriptc coverage命令可以分析任意程序中有多少语句能静态编译，并对每个无法静态处理的点给出带编码的诊断——Map/Set/TypedArray 的静态覆盖率正是这样被逐条度量与回归的。

总结：原生性能 + 规范级正确性

🎯 scriptc 用纯原生 C 代码复刻了 Map、Set、TypedArray 的规范语义：不依赖 JS 引擎，同时保留了迭代顺序、-0/NaN键比较、RangeError 抛出等容易出错的细节。如果你的 TypeScript 服务需要脱离 Node 运行、追求启动即满速，这套"编译期确定性 + 运行时精确语义"的组合值得关注。

【免费下载链接】scriptcTypeScript-to-Native Compiler项目地址: https://gitcode.com/GitHub_Trending/sc/scriptc