Puerts项目中的IL2CPP Optimize Size选项兼容性问题解析

问题背景

在Unity开发微信小游戏时，开发者可能会遇到一个特定错误："RuntimeError: function signature mismatch"。这个错误通常出现在使用IL2CPP后端编译时启用了"IL2CPP Optimize Size"选项的情况下。Puerts作为Unity与JavaScript/TypeScript的桥接框架，在此配置下会出现兼容性问题。

问题现象

当启用"IL2CPP Optimize Size"选项时，生成的代码与常规WebGL构建存在显著差异。具体表现为：

1. 泛型委托调用方式改变
2. 值类型参数传递方式变化
3. 某些泛型实例化方法指针缺失
4. 接口方法调用异常

技术原理分析

1. 泛型委托调用差异

在常规模式下，泛型委托调用会生成特定类型的调用代码。而在优化大小模式下，IL2CPP会使用通用共享实现Il2CppFullySharedGenericAny来处理泛型调用，这实际上是一个void*类型指针。

常规模式示例：

JSObject_t* Func_2_Invoke(...) {
  return Func_2_Invoke_gshared_inline(...);
}

优化大小模式示例：

JSObject_t* Func_2_Invoke(...) {
  JSObject_t* il2cppRetVal;
  ((void (*)(...))Func_2_Invoke_gshared_inline)(..., &___0_arg, &il2cppRetVal, ...);
  return il2cppRetVal;
}

2. 值类型参数传递变化

优化模式下，即使是基本值类型（如int、bool）也会通过指针传递而非直接传递值：

bool Func_2_Invoke(...) {
  bool il2cppRetVal;
  ((void (*)(...))Func_2_Invoke_gshared_inline)(..., &___0_arg, &il2cppRetVal, ...);
  return il2cppRetVal;
}

3. 方法指针缺失问题

在优化模式下，某些泛型实例化后的方法可能没有实现，导致GetMethodPointer返回空指针，进而引发静态包装器执行崩溃。

4. 接口方法调用异常

对于值类型实现的接口方法，优化模式下可能出现"An unresolved indirect call to a value type failed"异常，特别是在使用迭代器访问Current属性时。

解决方案

Puerts团队通过代码修改解决了这些问题，主要处理了以下方面：

1. 兼容泛型委托的不同调用方式
2. 正确处理值类型参数的指针传递
3. 处理缺失方法指针的情况
4. 修复接口方法调用的异常问题

开发者建议

对于使用Puerts开发微信小游戏的开发者，建议：

1. 如果遇到类似函数签名不匹配的错误，首先检查是否启用了"IL2CPP Optimize Size"选项
2. 确保使用最新版本的Puerts，该版本已包含对这些问题的修复
3. 在复杂泛型场景下进行充分测试
4. 关注值类型在跨语言边界传递时的行为差异

总结

IL2CPP的代码大小优化选项会显著改变生成的代码结构，特别是对泛型和值类型的处理方式。Puerts框架通过适配这些变化，确保了在优化模式下的稳定运行。理解这些底层机制有助于开发者在遇到类似问题时更快定位和解决。