为何Cargo编译Rust WASM全局变量时结果不符合预期？

用户通过Rust编写了对应WASM全局变量导出的代码，目标是复刻WASM模块中的f32类型全局变量（包括常量和可变变量），但使用cargo build --target=wasm32-wasi编译后，导出的全局变量不符合预期：

原Rust代码 #

// 目标复刻的WASM模块结构：
// (module
//     (global $one (export "one") f32 (f32.const 1))
//     (global $some (export "some") (mut f32) (f32.const 0))

//     (func (export "get_one") (result f32) (global.get $one))
//     (func (export "get_some") (result f32) (global.get $some))

//     (func (export "set_some") (param f32) (global.set $some (local.get 0))))

#[no_mangle]
pub static one: f32 = 1.0;

#[no_mangle]
pub static mut some: f32 = 0.0;

#[no_mangle]
pub extern "C" fn get_one() -> f32 {
    one
}

#[no_mangle]
pub extern "C" fn get_some() -> f32 {
    unsafe { some }
}

#[no_mangle]
pub extern "C" fn set_some(value: f32) {
    unsafe {
        some = value;
    }
}

编译后Wasmer检查结果 #

wasmer inspect .\target\wasm32-wasi\debug\rust_wasm.wasm
Type: wasm
Size: 2.1 MB
Imports:
  Functions:
  Memories:
  Tables:
  Globals:
Exports:
  Functions:
    "get_one": [] -> [F32]
    "get_some": [] -> [F32]
    "set_some": [F32] -> []
  Memories:
    "memory": not shared (17 pages..)
  Tables:
  Globals:
    "some": I32 (constant)
    "one": I32 (constant)

预期导出的one和some应为F32类型，且some是可变全局变量，但实际均为I32常量。

• Rust静态变量的编译本质：Rust的static/static mut编译到wasm32-wasi目标时，并不会直接映射为WASM规范定义的「全局变量（Global）」，而是被存储在WASM的**线性内存（Memory）**区域中。导出的one和some实际上是这些变量在内存中的地址（I32类型的指针），所以Wasmer会显示为I32常量——因为变量的内存地址在模块加载后是固定不变的。
• 类型与可变性偏差：
  1. 类型上：导出的是内存地址（I32），而非变量本身的f32值，所以WASM层面识别为I32类型；
  2. 可变性上：static mut的可变性是Rust语言层面的内存读写权限，WASM看到的只是固定的内存地址（因此标记为constant），实际变量修改是通过读写该内存地址完成的，而非WASM全局变量的global.set操作。
• 实现方式不匹配：如果要直接导出WASM规范中的全局变量，不能使用普通的Rust静态变量，需要通过专门的方式实现，比如使用asm!宏手动定义WASM全局变量、编写WAT代码编译，或者借助wasm-bindgen等工具的特定宏来生成符合预期的WASM全局变量导出。

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