Godot-Jolt物理引擎中SeparationRayShape3D与复合形状碰撞的崩溃问题分析

问题背景

在Godot 4.3-beta1版本中使用godot-jolt 4.3-beta1物理引擎时，开发者发现了一个严重的运行时崩溃问题。当包含SeparationRayShape3D的刚体向由多个ConcavePolygonShape3D组成的静态复合体移动时，游戏引擎会直接崩溃。

问题现象

从技术角度看，这个崩溃发生在物理引擎尝试处理射线形状与复合形状碰撞的过程中。具体表现为：

1. 当RigidBody3D或CharacterBody3D（使用move_and_slide()）包含SeparationRayShape3D作为唯一碰撞形状
2. 该物体向由多个ConcavePolygonShape3D组成的StaticBody3D移动时
3. 物理引擎尝试获取被射线击中的网格三角形信息时
4. 由于内部三角形ID无效导致崩溃

值得注意的是，这个问题仅在使用godot-jolt物理引擎时出现，使用Godot内置物理引擎时不会发生。

技术分析

深入分析后发现，问题的根源在于#837提交引入的变更。这个变更原本是为了正确处理碰撞面的支持面信息，但在处理复合形状时出现了问题。

关键的技术细节包括：

1. 当SeparationRayShape3D与复合形状中的MeshShape交互时，使用了传递进来的SubShapeIDCreator
2. 复合形状的信息被编码到了mSubShapeID2中
3. 在尝试获取支持面时，这个编码导致无法正确识别实际的三角形ID

解决方案探索

开发团队考虑了多种解决方案：

1. 临时解决方案：为每个ConcavePolygonShape3D使用单独的StaticBody3D，避免复合形状的使用
2. 技术方案一：在需要收集面信息时进行第二次CastRay操作，专门获取正确的mSubShapeID2
3. 技术方案二：回退#837的变更，因为射线投射的碰撞可能不需要内部边缘剔除
4. 最终方案：使用SubShapeIDCreator的GetNumBitsWritten和PopID方法，在获取支持面时正确处理子形状ID

最终采用了第四种方案，这种方法既保持了功能的完整性，又解决了崩溃问题。

解决方案实现

具体实现方式是：

1. 在CastRay前记录SubShapeIDCreator的GetNumBitsWritten值
2. 当需要获取面信息时，使用PopID方法去除复合形状的编码部分
3. 将剩余的子形状ID传递给GetSupportingFace方法

这种方法确保了在复合形状场景下，仍能正确识别被射线击中的实际三角形。

影响与修复

该问题已在godot-jolt 0.13.0-stable版本中修复。对于遇到此问题的开发者，建议升级到最新版本。这个修复不仅解决了崩溃问题，还保持了物理引擎在处理复合形状时的正确性和稳定性。

对于物理引擎开发者而言，这个案例也提供了一个重要的经验：在处理复合形状和子形状ID时需要特别注意编码和解码的一致性，特别是在多层嵌套的形状结构中。