WebAssembly规范中内存指令数值宽度定义的补充说明

在WebAssembly核心规范文档中，关于内存指令的正式语法规范部分存在一个需要补充的技术细节。本文将详细解释这个问题及其解决方案。

问题背景

WebAssembly规范使用形式化语法来描述其指令集，其中内存相关指令（如加载、存储等）的语法定义中引用了一个名为"nn"的符号变量。这个变量用于表示数值宽度（32位或64位），但在规范文档中缺少明确定义。

技术细节

在内存指令的语法产生式中，多处使用了"nn"来表示数值宽度。例如，在i32.load指令的定义中：

i\K{32}.\K{load}~\X{memarg}~\X{nn}?

这里的"nn"应该代表可选的数值宽度（32或64），但规范中缺少对"nn"的正式定义。这种缺失可能导致实现者对规范理解的不一致。

解决方案

正确的做法是在内存指令的语法产生式部分明确定义"nn"的含义。建议在规范中增加如下产生式定义：

\numeric width\ & \X{nn} &::=&
     \K{32} ~|~ \K{64} \\

这个定义清晰地表明：

1. "nn"代表数值宽度
2. 可能的取值为32或64
3. 使用标准的BNF形式化语法表示法

重要性

这种看似微小的补充实际上对规范完整性很重要：

1. 确保所有实现者对同一概念有统一理解
2. 保持规范的自包含性
3. 便于工具链开发者准确实现相关功能
4. 为未来可能的扩展预留清晰的语法位置

WebAssembly规范维护团队已经接受了这个建议，并在wasm-3.0分支中进行了修正。这体现了WebAssembly社区对规范精确性的重视，以及快速响应改进建议的开放态度。