第二章 拆箱：模块的格式与结构

章节摘要：验关要开箱，本章就是开箱章。我们把 Wasm 模块按规范逐层拆开：先看二进制容器里每个节（section）装着什么、如何被验证器逐项核验；再学人类可读的 WAT 文本格式与类型系统，打通"看得懂的字节"这条能力；最后剖析线性内存与表这两个运行时支柱的数据结构。读完本章，你应当能拿工具拆开任意一个模块文件并逐节解读，而不是只把 Wasm 当黑盒调用。

一条主线：一次完整的开箱验货

上一章我们查了出身，本章跟着同一个动作走到底：把一箱字节平铺在工作台上，从封条读到货物清单。

起点是那个几乎人人见过却少有人拆过的场景：项目构建产物里多了一个 module.wasm 文件，大小几十 KB，双击打不开，文本编辑器里打开是一堆乱码。多数人的做法是调用加载 API 一跑了之；本章要做的恰恰相反——用十六进制查看器与标准工具把这个文件大卸八块，看开头八个字节为什么是那串"空字节 asm"的封条，看类型节、函数节、内存节如何依次排队，看函数体里的字节如何被栈式语义逐条解释。开完二进制的箱，再学 WAT 文本格式——它是同一份货物的透明包装，语法是古老的 S 表达式，语义与二进制严格等价，学它能让你直视模块结构而不必隔着十六进制转储。最后落到运行时的两块承重板上：线性内存如何划定模块可见的字节平原，表如何登记间接调用可用的函数目录。

沿途站点：三节与两件工具

2.1 二进制格式规范拆的是包装箱本身：魔数封条、节的前缀结构与排列规则、LEB128 变长编码，以及验证器如何在没有执行任何指令的情况下判定整箱合规。本节会用工具转储一个真实模块，对着十六进制数逐段标注。

2.2 文本格式与类型系统教的是"透明包装"的读法：S 表达式如何嵌出模块的层级、折叠格式如何压缩样板、类型系统里四个数值类型与一组引用类型各自把守什么。本节合并了旧版"类型系统"的内容——类型声明本来就是 WAT 的骨架，拆开讲反而破碎。验证报错的读法也在这一节：编译器抛出的"类型不匹配在偏移多少"是排查的第一线索。

2.3 内存与表模型解剖运行时的两大资源：线性内存的页粒度、最大最小声明、边界检查的语义；表的元素类型与间接调用约定，以及全局变量这个"最小公分母"式的状态载体。三者合起来构成模块的状态模型。

途中会反复用到两件工具：wabt 工具包负责文本与二进制互转、对象转储与反汇编，浏览器开发者工具则能直接查看已加载模块的转储视图。第四章会系统讲工具链，本章先用起来。

拐点与结论

本章的拐点是视角切换：从"调用方"切换到"被调用方"。多数教程停在 JavaScript 侧调 export 函数；拆过一次箱之后，你会站在模块的角度重新理解一切——导入不是"宿主提供的工具"，而是"模块申报的需求"；导出不是"暴露的方法"，而是"模块授予的能力"；内存不是"可以随便写的缓冲区"，而是"经过边界核验的封地"。这个视角在排查加载失败、验证报错、体积超标等实际问题时，比任何技巧都好使。

另一个值得带走的结论：Wasm 的二进制格式是"为验证而生"的格式。它不追求人类直接可读（那是 WAT 的职责），也不追求硬件直接执行（那是引擎编译器的职责），它追求的是让一台没有任何上下文的机器，能在毫秒级断定"这箱货合规与否"。理解了这个设计取舍，很多看似别扭的格式决定——比如函数体与签名分家、节必须有序——就都顺理成章。

读完你应该

• 能说出模块二进制的头部结构：魔数、版本号，以及紧随其后的节的通用前缀编码；
• 能列出 MVP 阶段的常见节及其职责，并说明节的顺序约束为什么存在；
• 能用 wabt 工具完成 wat 与 wasm 的双向转换，并读懂验证报错里的偏移量信息；
• 能手写带参数、返回值、局部变量、控制流的 WAT 函数，解释每个数值类型的用途；
• 能描述线性内存的页机制与边界检查语义，说明表在间接调用中扮演的角色。

下一章的接力

箱子拆开了、清单读过了，第三章钻进货物的分子层面：指令集与执行模型。栈机如何推演、控制流为何必须是结构化的、加载存储指令如何与内存节里申报的那片平原咬合——格式与指令在下一章汇合成完整的执行故事。