Emscripten中EM_JS与addOnPreRun的交互问题解析

问题背景

在Emscripten项目中，EM_JS宏是一种将JavaScript代码直接嵌入C/C++程序的便捷方式。开发者发现，在Emscripten 4.0.3版本中，原本在EM_JS顶层代码中能够正常使用的addOnPreRun函数突然无法访问，出现了"ReferenceError: addOnPreRun is not defined"的错误。

技术细节

这个问题源于Emscripten内部实现的变化。在4.0.2版本中，addOnPreRun函数的定义位置允许它在EM_JS的顶层代码中被调用。但在4.0.3版本中，由于内部重构，addOnPreRun的定义被移动到了更靠后的位置，导致EM_JS代码执行时该函数尚未定义。

解决方案

Emscripten核心团队提供了几种解决方案：

1. 使用EM_JS_DEPS：在C源代码中明确声明依赖关系

EM_JS_DEPS(deps, '$addOnPreRun')

2. 使用静态构造函数：通过C语言的构造函数机制延迟执行

EM_JS(void, myJSStartupCode, (), {
  console.log("foo");
});

__attribute__((constructor)) void ctor() {
  myJSStartupCode();
}

3. 调整代码结构：避免在EM_JS的顶层代码中直接调用运行时函数

最佳实践建议

虽然EM_JS允许在函数定义后编写顶层JavaScript代码，但这并非官方推荐的做法。更可靠的方式是：

• 将初始化代码放入专门的初始化函数中
• 使用Emscripten提供的标准初始化机制
• 考虑使用静态构造函数或模块初始化函数

技术思考

这个问题揭示了Emscripten模块初始化顺序的重要性。理解Emscripten的代码生成和链接过程对于编写可靠的跨语言代码至关重要。开发者应当注意：

1. JavaScript和C/C++代码的交互时机
2. 模块初始化顺序对功能的影响
3. 版本升级可能带来的行为变化

结论

通过这次问题的分析和解决，Emscripten团队进一步完善了模块初始化机制，同时也提醒开发者要遵循官方推荐的编码模式。对于需要在早期初始化的JavaScript代码，建议使用专门设计的机制而非依赖实现细节。