Puerts项目中的UFunction PropertiesSize为0导致崩溃问题分析
问题背景
在Puerts项目与Unreal Engine 5.4.4的集成过程中,开发者发现当使用Mixin功能创建UFunction时,会出现PropertiesSize为0的情况,最终导致ProcessEvent调用时发生内存崩溃。这个问题主要出现在编辑器环境下,特别是在Windows平台上。
问题现象
当通过Mixin机制创建UFunction时,复制生成的函数对象存在PropertiesSize字段异常的情况。具体表现为:
- 通过StaticDuplicateObject复制的UFunction对象,其PropertiesSize字段变为0
- 而原始Super对象的PropertiesSize字段是正确的
- 复制后的函数对象ChildProperties中仍能看到正确的参数成员
- 在ProcessEvent调用时,由于PropertiesSize为0,导致内存分配和清零操作出现异常
技术分析
崩溃点分析
崩溃发生在Unreal Engine的核心函数ProcessEvent中,具体代码段如下:
if (!bUsePersistentFrame) {
Frame = (uint8*)UE_VSTACK_ALLOC_ALIGNED(VirtualStackAllocator, Function->PropertiesSize, Function->GetMinAlignment());
const int32 NonParmsPropertiesSize = Function->PropertiesSize - Function->ParmsSize;
if (NonParmsPropertiesSize) {
FMemory::Memzero(Frame + Function->ParmsSize, NonParmsPropertiesSize);
}
}
当Function->PropertiesSize为0而Function->ParmsSize为16时,NonParmsPropertiesSize计算得到-16,导致Memzero操作非法内存访问。
问题根源
通过调试发现,问题出在JSGeneratedClass.cpp中的函数复制逻辑:
UFunction* Tmp = Cast<UFunction>(StaticDuplicateObject(Super, Class, Super->GetFName(), RF_AllFlags, UFunction::StaticClass()));
StaticDuplicateObject虽然复制了UFunction对象,但并未正确复制所有必要字段,特别是PropertiesSize字段。奇怪的是,复制后的函数对象ChildProperties中仍能看到正确的参数成员结构,这表明参数信息实际上是被复制了的,但计算属性大小的机制出现了问题。
解决方案
经过分析,发现调用StaticLink函数可以解决这个问题。StaticLink是Unreal Engine中用于完成类/函数最终链接的重要函数,它会计算并设置PropertiesSize等关键字段。
修复方案是在复制UFunction后立即调用StaticLink:
UFunction* Tmp = Cast<UFunction>(StaticDuplicateObject(Super, Class, Super->GetFName(), RF_AllFlags, UFunction::StaticClass()));
Tmp->StaticLink(true); // 添加这行修复代码
问题重现场景
这个问题在以下场景中容易重现:
- 在C++中定义一个类A并创建成员方法FuncA
- 在TypeScript中创建类TS_A,使用Mixin功能混入FuncA方法
- 创建TS_A实例并调用被Mixin的方法
- 或者当蓝图没有实现父类的虚方法时,在TypeScript中覆盖该方法
技术影响
这个问题不仅影响Mixin功能,还会影响以下场景:
- 当蓝图没有实现父类的虚方法时,在TypeScript中覆盖该方法
- 当删除蓝图中已存在的方法后,在TypeScript中重新定义
- 某些UI控件事件的处理函数覆盖
最佳实践建议
为避免类似问题,建议开发者:
- 在使用Mixin功能时,确保目标方法在C++或蓝图中已有基本实现
- 对于需要覆盖的蓝图虚方法,最好在蓝图中保留空实现
- 定期更新Puerts到最新版本,以获取问题修复
- 在自定义UFunction创建逻辑时,记得调用StaticLink完成最终设置
总结
这个问题的本质是Unreal Engine对象复制机制与Puerts的Mixin功能的交互问题。通过分析我们了解到,在Unreal Engine中创建或复制UFunction后,必须调用StaticLink来完成最终设置,否则可能导致PropertiesSize等关键字段不正确。这个发现不仅解决了当前问题,也为未来处理类似情况提供了重要参考。
ERNIE-4.5-VL-28B-A3B-ThinkingERNIE-4.5-VL-28B-A3B-Thinking 是 ERNIE-4.5-VL-28B-A3B 架构的重大升级,通过中期大规模视觉-语言推理数据训练,显著提升了模型的表征能力和模态对齐,实现了多模态推理能力的突破性飞跃Python00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
MiniMax-M2MiniMax-M2是MiniMaxAI开源的高效MoE模型,2300亿总参数中仅激活100亿,却在编码和智能体任务上表现卓越。它支持多文件编辑、终端操作和复杂工具链调用Python00
Spark-Prover-X1-7BSpark-Prover 是由科大讯飞团队开发的专用大型语言模型,专为 Lean4 中的自动定理证明而设计。该模型采用创新的三阶段训练策略,显著增强了形式化推理能力,在同等规模的开源模型中实现了最先进的性能。Python00
MiniCPM-V-4_5MiniCPM-V 4.5 是 MiniCPM-V 系列中最新且功能最强的模型。该模型基于 Qwen3-8B 和 SigLIP2-400M 构建,总参数量为 80 亿。与之前的 MiniCPM-V 和 MiniCPM-o 模型相比,它在性能上有显著提升,并引入了新的实用功能Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
GOT-OCR-2.0-hf阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00