Wasm环境下#[wasm_bindgen]结构体向量的内存布局保障与JS解析

我想在JavaScript中直接解析Rust通过#[wasm_bindgen]暴露的结构体向量内存，无需借助serde序列化跨Wasm边界，就能在JS侧确定性重构结构体。但不确定Rust是否能保证结构体字段的内存顺序、字节序等属性，让JS侧可以安全解析。

Rust代码 #

#[wasm_bindgen]
pub struct S {
    a: u8,
    b: u16,
}

#[wasm_bindgen]
pub struct Container {
    ss: Vec<S>,
}

#[wasm_bindgen]
impl Container {
    pub fn new() -> Self {
        let ss = (0..10_u8)
            .map(|i| S {
                a: i,
                b: (2 * i).into(),
            })
            .collect();
        Self { ss }
    }
    
    pub fn items_ptr(&self) -> *const S {
        self.ss.as_ptr()
    }

    pub fn item_size(&self) -> usize {
        std::mem::size_of::<S>()
    }

    pub fn buffer_len(&self) -> usize {
        self.ss.len() * self.item_size()
    }
}

JavaScript代码 #

import { memory } from "rust_wasm/rust_wasm.wasm";
import * as wasm from "rust_wasm";

const container = wasm.Container.new();
const items = new Uint8Array(memory.buffer, container.items_ptr(), container.buffer_len());

function getItemBytes(n) {
    const itemSize = container.item_size();
    const start = n * itemSize;
    const end = start + itemSize;
    return items.slice(start, end);
}

我尝试通过以下方式解析单个结构体的字节：

const itemBytes = getItemBytes(3);
const a = itemBytes[0];
const b = itemBytes[1] << 8 + itemBytes[2]

但这种写法依赖于结构体S的内存布局与定义一致、u16为大端字节序等条件，请问能否让Rust强制保证这些属性，让JS侧可以安全解析？

解决方案 #

1. 强制结构体内存布局：添加#[repr(C)]标记 #

Rust默认的结构体内存布局是未定义的（编译器可能会重新排序字段以优化内存），但给结构体加上#[repr(C)]标记后，就能强制遵循C语言的结构体布局规则，完全保证字段顺序、对齐方式和内存大小的确定性。

修改后的结构体定义：

#[wasm_bindgen]
#[repr(C)] // 关键标记，强制C风格内存布局
pub struct S {
    a: u8,
    b: u16,
}

#[wasm_bindgen]与#[repr(C)]可以兼容使用，不会产生冲突。

2. 字节序的确定性：Wasm规范强制小端 #

WebAssembly规范明确规定，所有整数类型的内存表示均为小端字节序（Little Endian），所以无需担心字节序的不确定性，JS侧按小端解析即可。

3. 修正JS解析逻辑 #

原解析代码存在运算符优先级问题（<<优先级高于+），且手动处理字节容易出错，推荐使用DataView安全解析，它可以直接指定字节序：

const itemBytes = getItemBytes(3);
const dv = new DataView(itemBytes.buffer, itemBytes.byteOffset, itemBytes.byteLength);
const a = dv.getUint8(0); // 读取第一个字节的u8
const b = dv.getUint16(1, true); // 从第2个字节开始读取u16，true表示小端字节序

4. 结构体大小与对齐的确定性 #

加上#[repr(C)]后，结构体S的大小固定为4字节：u8占1字节，后面填充1字节以满足u16的2字节对齐要求，最后u16占2字节，总大小与size_of::<S>()的返回值完全一致，这个大小是确定不变的。

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