Wasm局部变量访问前是否需验证？其零初始化行为属标准还是实现定义？

核心问题澄清 #

2019年的一篇Wasm技术文章提到“进入函数时必须将局部变量置零，除非能静态证明该局部变量在访问前始终被赋值”，但通过以下Wasm代码测试：

(module
    (func (export "get_before_set") (result i32)
        (local $dummy i32)
        local.get $dummy
    )
)

使用Wasmer运行后返回0，因此需要明确该行为是Wasm标准规定还是引擎实现定义。

规范层面的定义 #

Wasm官方规范并未强制要求引擎自动初始化局部变量。实际上，规范明确指出：访问未初始化的局部变量属于未定义行为。这意味着引擎可以返回任意值（包括0）、触发运行时错误，或者做出其他任何符合实现逻辑的处理，完全由引擎开发者决定。

主流引擎的实现行为 #

像Wasmer、V8、Wasmtime这类主流Wasm引擎，出于实现简便性或避免内存垃圾值引发潜在问题的考虑，通常会在函数入口将局部变量所在的栈空间默认清零，因此测试中会返回0。但这只是引擎的实现选择，并非标准强制要求——如果切换到其他引擎或启用特定编译优化选项，结果可能完全不同。

与2019年文章内容的差异 #

2019年文章中的描述，其实是当时部分引擎的实际实现行为，而非Wasm规范的强制要求。从Wasm规范发布至今，关于未初始化局部变量的定义始终是“未定义行为”，并没有出现强制清零的规则变更。

开发者建议 #

无论引擎是否默认清零，开发者都应该养成手动初始化局部变量的习惯，避免依赖引擎的非标准行为，确保代码在所有Wasm引擎中都能稳定运行。

内容的提问来源于stack exchange，提问作者Evian