游戏引擎固定时间步与插值策略：帧率波动的终结解法

在现代游戏引擎的开发中，帧率波动是一个持续存在的挑战。当玩家在不同性能的设备上游玩、或者系统后台存在其他负载时，可变的帧时间会导致物理模拟结果出现显著差异 —— 同一个物理现象在不同帧率下表现出截然不同的行为。这种不确定性会直接破坏游戏的物理一致性与碰撞检测的可靠性。本文将系统性地阐述固定时间步与插值策略的工程化实现，为读者提供一套可落地、可量产的解决方案。

问题的本质：可变帧时间对物理模拟的侵蚀

可变帧时间的核心问题在于物理积分的非确定性。以一个简单的抛体运动为例，当使用原始的 deltaTime 进行积分时，帧时间为 16 毫秒与帧时间为 8 毫秒时，相同时间内的模拟步数相差一倍。虽然单步积分结果看似正确，但累积误差的分布模式会发生根本性改变。这种差异在高精度物理模拟（如子弹时间、精确碰撞检测）中会被急剧放大，导致物理行为的不一致。

可变帧时间还会引发一个更为隐蔽的问题：能量守恒的失效。许多物理引擎依赖数值积分方法来更新物体的运动状态，而大多数积分方法（如欧拉法）并非能量守恒的。当步长不固定时，能量会在模拟过程中以不可预测的方式增减，使得原本应该稳定运动的物体出现加速、减速甚至穿透墙壁的异常行为。这一问题在涉及弹簧系统、绳索模拟等需要保持系统能量守恒的场景中尤为突出。

此外，可变帧时间会使得性能分析变得极为困难。当开发者试图定位物理性能瓶颈时，同一段物理逻辑在不同帧率下的执行时间差异会导致性能数据无法有效对比。这对于持续优化游戏性能来说是致命障碍，使得开发者难以判断某项优化是否真正有效。

固定时间步的累加器模式

解决可变帧时间问题的标准方案是采用固定时间步的累加器模式。这一方案由著名游戏工程师 Glenn Fiedler 在其文章 "Fix Your Timestep" 中系统性地阐述，至今仍是游戏引擎设计的基础范式。其核心思想是将时间管理与物理更新解耦：物理模拟以固定的时间步长运行，而渲染则独立于物理更新进行。

累加器模式的工作原理如下：维护一个累加器变量，用于追踪自上次物理更新以来已经流逝但尚未被物理模拟处理的真实时间。在每一帧的开始，首先计算自上一帧以来流逝的真实时间，并将其加入累加器。然后，只要累加器中的时间足以覆盖一个完整的固定时间步，就执行一次物理更新，并从累加器中减去相应的时间量。重复此过程，直到累加器中的时间不足以再执行一次物理更新为止。最后，进入渲染阶段，使用当前状态与上一状态进行插值渲染。

这一模式的优势在于物理模拟始终以确定性的步长运行。无论真实帧率如何波动，物理状态每一步的演化都基于相同的时间增量，从而保证了物理行为的一致性。当帧率较高时，累加器可能在单帧内触发多次物理更新；当帧率较低时，物理更新可能被跳过或合并。这种弹性使得同一份物理逻辑能够在不同性能水平的设备上产生一致的模拟结果。

时间步长的选取与上限保护

固定时间步的选取是一个需要权衡多方面因素的决定。最常用的时间步长是 1/60 秒，即约 16.667 毫秒。这一数值与 60 FPS 的显示刷新率对齐，使得在大多数情况下每帧恰好执行一次物理更新，从而简化调试与性能分析。然而，这并非唯一的选择 —— 某些高精度物理场景可能需要 1/120 秒甚至更短的步长，而某些对性能要求极高但物理精度要求相对宽松的场景则可能采用 1/30 秒。

选择更短的固定时间步长意味着更高的物理精度和更好的稳定性，但同时也意味着更高的计算开销。以 1/60 秒和 1/120 秒为例，后者需要两倍的物理计算量。在移动设备上这可能直接导致电池续航的显著下降，而在服务器端的多人游戏场景中则可能造成不必要的计算资源浪费。因此，时间步长的选取应当基于目标平台的性能预算和物理模拟的精度需求综合决定。

另一个关键技术细节是时间步长的上限保护。在异常情况下（如标签页切换、系统休眠恢复），单帧可能积累远超正常范围的时间。如果不加控制地让累加器处理这些时间，会导致物理状态在单帧内发生剧烈变化，可能引发碰撞检测失败、数值溢出等严重问题。业界标准的做法是对单帧累加的时间进行上限约束，通常将上限设定为两到四个固定时间步的长度。例如，如果固定时间步为 1/60 秒，则单帧累加的时间不应超过 0.25 秒。这一约束在防止模拟崩溃的同时，也确保了物理状态的合理性。

帧间插值：视觉平滑与物理正确性的平衡

固定时间步虽然解决了物理模拟的一致性问题，但也引入了新的挑战：渲染帧率与物理更新频率的解耦。当物理以固定频率更新而渲染以可变频率进行时，两者的时钟周期不再对齐，导致渲染状态与物理状态之间存在时间差。如果直接使用最近一次物理更新的状态进行渲染，在物理更新频率较高而渲染帧率较低的情况下，视觉运动会出现明显的跳跃感和不连贯感。

帧间插值是解决这一矛盾的标准方案。其核心思想是保存物理状态的历史记录：在每次物理更新时，将当前状态保存为 "上一状态"，同时将新的更新结果保存为 "当前状态"。这两个状态分别代表最近一次完整物理更新时的物体状态和正在进行但尚未完成的物理更新的目标状态。在渲染时，根据当前时间在两个物理状态之间的时间比例，计算出一个插值因子（通常记为 alpha），然后对两个状态进行线性插值，得到当前渲染帧应当呈现的状态。

插值因子的计算依赖于累加器的剩余时间。具体而言，插值因子等于累加器中剩余时间除以固定时间步长。当累加器刚刚完成一次物理更新时，累值接近 0，此时渲染状态接近上一状态；当累加器即将触发下一次物理更新时，插值因子接近 1，此时渲染状态接近当前状态。这种设计确保了渲染状态始终是两个相邻物理状态之间的平滑过渡，从而消除了视觉跳跃。

对于不同类型的物理量，插值方法需要有所区别。位置信息通常使用标准的线性插值（lerp），即 rendered = previous * (1 - alpha) + current * alpha。这一方法在大多数情况下能够提供令人满意的效果。但对于旋转角度，简单的线性插值可能产生万向锁问题或路径反转，因此应当使用球面线性插值（slerp）来确保插值路径是大圆弧上最短路径。对于四元数旋转，Bevy 引擎提供了现成的 slerp 实现。

Bevy 引擎的实现范式

Bevy 引擎是目前对固定时间步与插值策略支持最为完善的游戏引擎之一，其官方示例清晰地展示了这一模式在 ECS 架构下的工程化实现。理解这一实现对于在其他引擎中复现该模式具有重要的参考价值。

Bevy 的实现将物理状态与渲染状态严格分离。它引入了 PhysicalTranslation 组件来存储物理模拟中的实际位置，同时使用 Transform 组件来存储渲染状态。这两者在概念上的分离是帧间插值能够工作的基础 —— 物理模拟只负责更新 PhysicalTranslation，而渲染系统则负责将物理状态插值后写入 Transform。

在物理更新方面，Bevy 使用 FixedUpdate 系统集来运行固定时间步的物理逻辑。在每次物理更新时，首先将当前物理状态保存为 "上一状态"（PreviousPhysicalTranslation），然后基于速度和时间步长计算新的物理状态。这一保存操作至关重要，因为它为后续的插值提供了必要的 "前一个状态" 数据。

插值渲染则由专门的系统负责执行。Bevy 通过 Time<Fixed> 资源提供了 overstep_fraction() 方法，该方法返回当前累加器在固定时间步中的进度比例，即前文所述的插值因子 alpha。使用这一因子，渲染系统对 PreviousPhysicalTranslation 和 PhysicalTranslation 进行线性插值，并将结果写入 Transform。这样，渲染层始终呈现的是一个 "介于两个物理状态之间" 的位置，而非最近一次物理更新的位置。

插值与外推的抉择

在实际工程中，开发者有时会面临插值与外推之间的选择。外推是指根据当前的速度和运动趋势，推算物体在未来某个时间点可能到达的位置。与插值相比，外推能够提供更 "前瞻" 的渲染状态，在某些高动态场景中可能减少视觉延迟。

然而，外推存在固有的不稳定性风险。当物体的运动方向或速度在短时间内发生突变时（如碰撞后的反弹），基于先前状态外推得到的预测位置会与实际情况产生显著偏差，从而导致视觉上的 "穿越" 或 "抖动" 现象。这种现象在快节奏动作游戏中尤为明显。相比之下，插值始终基于已知的物理状态进行计算，不存在预测偏差的问题，因此是更为稳妥的选择。

业界共识是：除非有明确的性能或视觉效果需求，且物体的运动状态高度可预测，否则应当优先采用插值而非外推。对于绝大多数游戏场景，插值能够在保证视觉平滑性的同时避免预测误差带来的负面影响。

工程落地的关键参数清单

将固定时间步与插值策略落地到实际项目中，需要关注以下关键参数与实现细节。首先是固定时间步长的选择，建议以 1/60 秒（16.667 毫秒）为基准，这是大多数平台下性能与精度的平衡点；如果物理精度要求更高且设备性能允许，可降至 1/120 秒；如果需要更高的计算效率且对物理精度要求相对宽松，可考虑 1/30 秒。

其次是时间上限的设置，单帧累计时间的上限建议设定为 0.25 秒，即 15 个 1/60 秒的时间步。这一上限能够有效防止模拟在异常情况下崩溃，同时确保物理行为不会过于失真。当实际帧时间超过这一上限时，应当将其截断到上限值，而非跳过整个物理更新。

第三是插值方法的选择，对于位置信息使用标准的线性插值；对于旋转角度使用球面线性插值；对于复杂物理量（如缩放因子）需要根据具体场景选择合适的插值方法。如果使用 Bevy 引擎，可以直接使用 Vec3::lerp 和 Quat::slerp。

第四是状态存储的安排，需要为每个需要插值的物理实体保存两个状态变量：当前状态和上一状态。这两个状态在每次物理更新时都会被更新，上一状态用于渲染插值的起点，当前状态用于渲染插值的终点。

常见反模式与失败规避

在实际工程中，固定时间步的实现存在一些常见的反模式需要规避。第一种反模式是 "跳过帧"，即当帧时间过长时不执行任何物理更新。这种做法会导致物体在跳跃的帧中完全静止，从而破坏运动的连续性。正确的做法是累计足够的时间后，在下一帧中多次执行物理更新以赶上真实时间的流逝。

第二种反模式是 "不保存历史状态"，即只维护一个当前状态而不保存上一状态。这会导致插值退化为直接使用当前状态，完全丧失帧间平滑的效果。正确的做法是在每次物理更新前，将当前状态复制到上一状态变量中，然后再计算新的当前状态。

第三种反模式是 "使用浮点数累加器而不处理精度问题"，即简单地对浮点数进行累加而不考虑累积误差。在长时间运行的情况下，浮点数的累加误差可能导致累加器与实际时间产生显著偏差。一种解决思路是使用整数累加器来追踪固定时间步的倍数，然后将整数转换为对应的物理时间。

结语

固定时间步与帧间插值是游戏引擎物理模拟的核心基础设施，其设计质量直接决定了游戏在不同硬件平台上的物理一致性与视觉表现。通过合理的累加器模式实现、时间步长的恰当选取、状态历史的妥善保存，以及插值因子的精确计算，开发者能够构建出既物理正确又视觉流畅的游戏体验。这一模式经过业界数十年的实践检验，已被证明是解决帧率波动问题的最有效方案。

资料来源：本文技术细节参考了 Bevy 引擎官方物理固定时间步示例（bevy.org/examples/movement/physics-in-fixed-timestep/）以及 Gaffer on Games 经典文章 "Fix Your Timestep" 所阐述的累加器模式。

systems