CGAL WASM编译库内存越界问题排查求助

一、先搞定WASM C++代码的日志输出 #

不用复杂配置，直接用这些方法打日志：

• C++里直接用printf或std::cout，Emscripten编译时会自动把输出重定向到浏览器控制台（Node.js环境直接输出到终端）。比如打印数组长度和指针：

  printf("Received weights: count=%d, ptr=%p\n", weight_count, weight_ptr);
  

• 要调用JS控制台的话，用Emscripten的EM_ASM宏，灵活度更高：

  EM_ASM(console.log("Processing weight at index", $0, ":", $1);, i, weights[i]);
  

• 编译时加-s ASSERTIONS=1，会触发内存越界的断言报错，直接显示具体错误位置，比模糊的“内存访问越界”有用得多。

二、定位内存越界的核心步骤 #

1. 校验TS端的序列化与数据完整性 #

• 在TS里把权重转成TypedArray（比如Float32Array）后，先打印数组长度、首尾元素值，确认和你预期的一致。比如：

  const weights = new Float32Array([1.0, 2.0, 3.0]);
  console.log("TS weights length:", weights.length, "first:", weights[0], "last:", weights[weights.length-1]);
  

• 绝对要把数组长度和指针一起传给C++，C++端不能用硬编码的长度遍历。

2. 检查WASM内存传递逻辑 #

• TS里分配WASM内存时，字节数计算要准确：比如Float32Array每个元素占4字节，总字节数是weights.length * 4。分配后拷贝数据要注意HEAP的索引：

  const byteLength = weights.length * 4;
  const ptr = Module._malloc(byteLength);
  Module.HEAPF32.set(weights, ptr / 4); // HEAPF32的索引是字节数/4
  // 调用C++函数
  Module._process_weights(ptr, weights.length);
  Module._free(ptr); // 记得释放内存
  

• 确认_malloc返回的ptr是有效地址，不要传递TS里的数组直接引用，必须拷贝到WASM堆内存。

3. C++端做边界校验 #

• 在C++函数开头先打印传入的长度和指针，和TS端的日志对比，确认数据传对了：

  extern "C" void _process_weights(float* weights, int count) {
      printf("C++ received: count=%d, ptr=%p\n", count, weights);
      // 遍历前先检查count是否合理，比如不能为负或超过预期最大值
      if (count <= 0) {
          printf("Invalid count!\n");
          return;
      }
      // 逐个打印元素，确认和TS端一致
      for (int i = 0; i < count; ++i) {
          printf("Weight %d: %f\n", i, weights[i]);
      }
      // 再调用CGAL逻辑
  }
  

• 如果CGAL对权重有格式要求（比如必须是非负整数、特定范围），C++端先做校验，避免非法值导致CGAL内部越界。

4. 对比本地测试与WASM环境 #

• 把C++本地测试用的权重数组，在TS里完全复制出来传递给WASM，如果不报错，说明是TS传递的权重数据本身有问题；如果还是报错，说明内存传递逻辑有漏洞。

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