如何通过Emscripten/Wasm从JS调用传/返回值类型结构体的C函数？

好问题！在Emscripten里处理值类型结构体确实不像引用类型那样有明确的入门指引，我来帮你拆解两种常用的实现方式，以及背后的细节：

方式一：用Module.cwrap快速实现（推荐） #

cwrap会帮你自动处理内存布局和栈管理，不需要手动操作栈，是最省心的方式。

步骤： #

1. 包装C函数
   因为你的MyStruct是由3个double组成的值类型，我们可以用JS数组来对应结构体的成员（按C结构体的声明顺序）。在cwrap里指定返回类型为'array'，参数类型为['array', 'number']：

   const wrappedFoo = Module.cwrap('Foo', 'array', ['array', 'number']);
   

2. 调用函数并解析结果
   把输入结构体的成员按顺序放进数组，直接调用包装后的函数，返回结果就是对应结构体成员的数组：

   // 构造输入结构体对应的数组
   const inputStruct = [1.5, 2.5, 3.5];
   // 调用函数，传入输入结构体和第二个double参数
   const resultArray = wrappedFoo(inputStruct, 4.5);
   // 解析结果：resultArray[0] = a, resultArray[1] = b, resultArray[2] = c
   console.log(`Result: a=${resultArray[0]}, b=${resultArray[1]}, c=${resultArray[2]}`);
   

cwrap会自动帮你完成：分配栈内存、把数组内容拷贝到对应内存位置、调用C函数、把返回的结构体数据拷贝回JS数组，最后清理栈内存——全程不需要你手动操作栈。

方式二：直接调用Module._Foo（底层控制） #

如果需要更精细的内存控制，你可以直接调用编译后的C函数，但这时候需要手动管理Emscripten的栈内存，还要注意Emscripten对返回值结构体的优化处理：

Emscripten会对返回值为大型值类型结构体的函数做优化，把原函数MyStruct Foo(const MyStruct x, double y)编译成void Foo(MyStruct* result, const MyStruct* x, double y)——也就是第一个参数变成存放返回结果的指针，原参数依次后移。

步骤： #

1. 保存栈指针并分配内存
   先保存当前栈的起始位置，避免内存泄漏，然后分配栈内存来存放输入结构体和返回结果：

   // 保存当前栈指针，后续用于恢复
   const stackStart = Module.stackSave();
   // 计算结构体大小：3个double，每个8字节，共24字节
   const structSize = 3 * 8;
   // 分配栈内存用于存放返回结果和输入结构体
   const resultPtr = Module.stackAlloc(structSize);
   const inputPtr = Module.stackAlloc(structSize);
   

2. 写入输入结构体数据
   用Module.setValue把输入的double值写入分配好的栈内存：

   Module.setValue(inputPtr, 1.5, 'double');    // 写入x.a
   Module.setValue(inputPtr + 8, 2.5, 'double'); // 写入x.b
   Module.setValue(inputPtr + 16, 3.5, 'double');// 写入x.c
   

3. 调用C函数并读取结果
   按照优化后的函数签名调用Module._Foo，然后用Module.getValue读取返回结果：

   // 调用编译后的函数：第一个参数是结果指针，然后是输入结构体指针、第二个double参数
   Module._Foo(resultPtr, inputPtr, 4.5);
   // 读取返回的结构体数据
   const result = {
     a: Module.getValue(resultPtr, 'double'),
     b: Module.getValue(resultPtr + 8, 'double'),
     c: Module.getValue(resultPtr + 16, 'double')
   };
   console.log(`Result: a=${result.a}, b=${result.b}, c=${result.c}`);
   

4. 恢复栈内存
   最后一定要恢复栈指针，释放之前分配的栈内存：

   Module.stackRestore(stackStart);
   

关键疑问解答 #

• 是否需要访问Emscripten栈？

  • 用cwrap的话不需要手动操作栈，它会自动处理；
  • 直接调用_Foo的话必须手动管理栈内存，否则会造成栈溢出或内存泄漏。

• 相关文档在哪里？
  Emscripten官方文档的「Interacting with Code」章节里，「Direct Function Calls」部分详细说明了值类型结构体的处理逻辑（包括返回值优化规则），而「cwrap」的文档里也提到了用数组映射值类型结构体的用法。

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