Emscripten字符串返回值的内存管理问题咨询

核心行为规则 #

当你在ccall/cwrap中指定返回类型为"string"时，Emscripten会执行两个固定动作：

• 将WASM内存中的C字符串复制一份到JavaScript字符串，供JS侧直接使用
• 不会自动释放原C字符串占用的WASM内存

基于这个规则，分两种场景处理：

• 静态字符串（如helloWorldStatic返回的字面量）：这类字符串存储在程序的只读数据段，本身不需要释放，也不能调用free（强行释放会触发未定义行为，可能无明显崩溃但存在潜在风险）。
• 动态分配的字符串（如helloWorldDynamic中strdup返回的内存）：如果不手动释放，会持续占用WASM内存直到模块退出，造成内存泄漏。

关于返回类型修饰符的疑问 #

你调换const char*和char*后代码仍能运行，原因是：

• C语言允许const char*隐式转换为char*（语法允许但属于不安全写法），WASM层面也不会做严格的类型校验。
• 无论函数声明返回const char*还是char*，ccall都会执行字符串复制操作，但：
  • 释放静态字符串内存会导致未定义行为
  • 不释放动态字符串内存会引发内存泄漏

正确的内存处理方案 #

• 静态字符串：直接使用即可，无需额外操作。
• 动态字符串：必须手动释放C端内存，推荐实现方式如下：
  1. 在C代码中导出内存释放函数：

     EMSCRIPTEN_KEEPALIVE
     void freeCString(char* str) {
         free(str);
     }
     

  2. 在TypeScript中先获取字符串指针，复制到JS后再释放：

     async function helloWorldDynamic(): Promise<string> {
         const module = await Module;
         // 获取动态字符串的内存指针（返回类型设为"number"）
         const strPtr = module.ccall(
             "helloWorldDynamic",
             "number",
             [],
             []
         );
         // 从指针复制出JS字符串
         const result = module.UTF8ToString(strPtr);
         // 释放C端分配的内存
         module.ccall("freeCString", null, ["number"], [strPtr]);
         return result;
     }
     

  若你坚持用"string"作为ccall的返回类型，需要额外保存指针再释放，但这种方式不如直接操作指针直观清晰。

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