Emscripten编译Wasm：部分向量前24字节偶现随机值求助

你这段代码的核心问题是局部vector在函数返回后会被自动析构，它们内部的存储内存会被释放回系统堆。你存在全局结构体pointers里的指针，本质上变成了野指针——指向的内存已经不属于这些vector了。

为什么v1、v3偶尔没问题，v2、v4经常出问题？因为内存释放后不会立刻被覆盖，v1、v3的内存块刚好暂时没被其他操作占用，所以JS还能读到旧数据；而v2、v4的内存块被后续操作复用改写了，就出现随机值。这完全是内存复用的随机性导致的，不是v1/v3的写法有什么特殊之处。

下面给你几种可行的修复方式：

方案1：把vector改成全局/静态变量 #

让vector的生命周期和程序一致，避免函数结束后析构：

typedef struct Pointers_
{
    int v1Size;
    int16_t *v1;
    int v2Size;
    int8_t *v2;
    int v3Size;
    float *v3;
    int v4Size;
    unsigned int *v4;
    int v5Size;
    float *v5;
} Pointers;

Pointers pointers;
// 把vector改成全局变量
vector<int16_t> v1; 
vector<int8_t> v2;
vector<float> v3;
vector<unsigned int> v4;
vector<float> v5;

Pointers *fillFunction(){
    // 先清空旧数据，避免残留
    v1.clear();
    v2.clear();
    v3.clear();
    v4.clear();
    v5.clear();

    // 填充数据
    v1.insert(v1.end(), { /* some values */ });
    v2.insert(v2.end(), { /* some values */ });
    // ...其他vector的填充逻辑

    pointers.v1Size = v1.size();
    pointers.v1 = v1.data();
    pointers.v2Size = v2.size();
    pointers.v2 = v2.data();
    // ...其他指针赋值

    return &pointers;
}

方案2：手动分配堆内存（用malloc） #

不依赖vector的自动管理，直接在堆上分配内存，这样内存不会随函数结束释放：

typedef struct Pointers_
{
    int v1Size;
    int16_t *v1;
    int v2Size;
    int8_t *v2;
    int v3Size;
    float *v3;
    int v4Size;
    unsigned int *v4;
    int v5Size;
    float *v5;
} Pointers;

Pointers pointers;

Pointers *fillFunction(){
    // 先释放之前分配的内存，避免内存泄漏
    if(pointers.v1) free(pointers.v1);
    if(pointers.v2) free(pointers.v2);
    if(pointers.v3) free(pointers.v3);
    if(pointers.v4) free(pointers.v4);
    if(pointers.v5) free(pointers.v5);

    // 定义要填充的数据
    int16_t v1Data[] = { /* some values */ };
    int8_t v2Data[] = { /* some values */ };
    // ...其他数据数组

    // 分配内存并复制数据
    pointers.v1Size = sizeof(v1Data)/sizeof(v1Data[0]);
    pointers.v1 = (int16_t*)malloc(pointers.v1Size * sizeof(int16_t));
    memcpy(pointers.v1, v1Data, pointers.v1Size * sizeof(int16_t));

    pointers.v2Size = sizeof(v2Data)/sizeof(v2Data[0]);
    pointers.v2 = (int8_t*)malloc(pointers.v2Size * sizeof(int8_t));
    memcpy(pointers.v2, v2Data, pointers.v2Size * sizeof(int8_t));
    // ...其他内存分配和复制逻辑

    return &pointers;
}

这种方式需要自己管理内存，记得在不需要数据时调用free释放，避免内存泄漏。

编译时的-O3优化可能会加剧这个问题——编译器可能会提前回收局部变量的内存，导致函数还没返回，vector的内存就被释放了。即使没有优化，这个问题本质上也是存在的，只是出现概率低一些。

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