ReactPhysics3D物理引擎中岛屿创建阶段的脏索引问题分析

问题背景

在ReactPhysics3D物理引擎的岛屿创建阶段，开发者发现了一个可能导致程序崩溃的边界条件问题。这个问题主要出现在同时使用触发器(Trigger)和刚体(RigidBody)的情况下，涉及到了物理引擎内部的数据一致性维护机制。

技术细节

在物理引擎的岛屿创建过程中，PhysicsWorld::createIslands()方法负责处理刚体之间的接触对(contact pairs)。方法中会遍历每个刚体的接触对列表，通过索引从当前帧的接触对数组中获取具体的接触对信息。

问题出现在以下代码段：

const uint32 nbBodyContactPairs = static_cast<uint32>(mRigidBodyComponents.mContactPairs[bodyToVisitIndex].size());
for (uint32 p=0; p < nbBodyContactPairs; p++) {
    const uint32 contactPairIndex = mRigidBodyComponents.mContactPairs[bodyToVisitIndex][p];
    ContactPair& pair = (*mCollisionDetection.mCurrentContactPairs)[contactPairIndex];

当引擎同时处理触发器和刚体时，mRigidBodyComponents.mContactPairs中可能会包含来自旧帧的脏索引数据。这些过期的索引在访问当前帧的接触对数组时会导致越界访问，进而触发数组的断言检查并使程序崩溃。

根本原因

问题的根源在于清理逻辑不完整。原始代码仅清理了启用状态的刚体组件的接触对：

const uint32 nbRigidBodyEnabledComponents = mRigidBodyComponents.getNbEnabledComponents();
for (uint32 b=0; b < nbRigidBodyEnabledComponents; b++) {
    mRigidBodyComponents.mContactPairs[b].clear();
}

这种部分清理的方式会导致未被清理的非启用刚体组件中残留旧帧的索引数据，当这些数据在后续帧中被错误使用时就会引发问题。

解决方案

修复方案是将清理范围扩大到所有刚体组件，而不仅仅是启用状态的组件：

for (uint32 b = 0; b < nbRigidBodyComponents; b++) {
    mRigidBodyComponents.mContactPairs[b].clear();
}

这种全面的清理方式确保了所有可能的脏数据都被清除，从根本上解决了索引过期的问题。

问题影响与修复意义

这个bug虽然看似简单，但可能对使用触发器和刚体交互的复杂物理场景造成严重影响。在物理引擎中，数据一致性是保证模拟正确性的基础，特别是在多帧状态维护方面需要格外小心。

该修复已被纳入ReactPhysics3D的v0.10.0版本，体现了物理引擎开发中一个重要的设计原则：状态清理应该全面彻底，不能因为性能优化而牺牲正确性。对于物理引擎这类基础系统，健壮性往往比微小的性能提升更为重要。