游戏开发实战：分离轴算法（SAT）在2D碰撞检测中的应用

1. 从“碰碰车”到“像素不穿帮”：为什么你的游戏需要靠谱的碰撞检测？

嘿，各位游戏开发的朋友们，今天咱们来聊聊一个听起来有点“硬核”，但实际上无处不在、决定了你游戏手感好坏的基础技术——碰撞检测。想象一下，你正在玩一个2D平台跳跃游戏，主角跳起来，稳稳地落在平台上，或者一脚踩空掉进深渊；又或者在一个弹幕射击游戏里，你的飞机灵巧地穿梭在密集的子弹雨中，每一次惊险的擦肩而过，背后都是碰撞检测在默默工作。如果碰撞检测不准，会发生什么？你的角色可能会“穿墙而过”，子弹可能会“打中空气”，敌人可能会“卡进地形”里。这些Bug轻则让玩家出戏，重则直接导致游戏无法进行。

所以，一个高效、准确的碰撞检测系统，是游戏物理和交互的基石。在2D游戏里，我们最常处理的物体形状无非就是矩形、圆形、三角形，或者由这些基本形状组合而成的凸多边形。对于简单的矩形（AABB，即轴对齐包围盒）和圆形，检测方法相对直观。但一旦你的游戏角色是个不规则的凸多边形，比如一个旋转后的菱形盾牌，或者一个复杂的飞船模型，再用简单的矩形去套，就会产生大量的误判，要么漏检，要么检测区域过大，手感非常“糙”。

这时候，我们就需要更强大的武器。今天我要跟你深入聊的，就是专门用来对付凸多边形碰撞的“神器”——分离轴定理，也就是大家常说的 SAT。别被这个名字吓到，它的核心思想其实非常形象，就像它的名字一样：“分离”。如果两个物体没有撞在一起，那么你一定能找到一条想象中的“轴线”，把这两个物体完美地分隔在这条线的两侧，谁也碰不到谁。反过来，如果两个物体已经撞上了，那你就绝对找不到这样一条“分隔线”。这个定理就是SAT的全部哲学基础。我刚开始学的时候也觉得有点抽象，但一旦用代码实现出来，你就会发现它既优雅又强大，是处理2D凸多边形碰撞的不二之选。接下来，我就带你从原理到代码，亲手实现它，并分享几个我踩过坑才总结出来的优化技巧。

2. 庖丁解牛：SAT算法原理的“生活化”解读

好了，道理我们都懂了，叫“分离轴”。但具体到代码里，我们怎么知道一条轴是不是“分离轴”呢？这里就需要引入一个关键操作：投影。

你可以把“投影”想象成在阳光下看物体的影子。假设我们有一束光，从一个特定的方向（也就是我们的“轴”的方向）照射过来，那么物体在这个方向上就会留下一个“影子”，这个影子在轴上就是一个线段区间。SAT算法的精髓就在于：检查两个物体在所有潜在分离轴上的“影子”是否有重叠。

如果存在哪怕一条轴，使得两个物体的“影子”线段完全分开，没有一丝一毫的重叠，那么恭喜，这两个物体肯定没有碰撞。反之，如果在每一条需要检查的轴上，两个“影子”都或多或少有重叠部分，那么很遗憾，它们俩肯定已经“亲密接触”了。

那么问题来了，“所有潜在分离轴”是哪几条？难道要检查无数条吗？对于两个凸多边形来说，有一个非常美妙的结论：潜在的分离轴，就是两个多边形每条边的法线方向。是的，你只需要检查这些有限的边法线就够了。对于一个四边形，有4条边，就有4条法线需要检查；对于一个三角形，有3条边，就是3条法线。两个多边形A和B，你需要检查的轴就是A的所有边法线加上B的所有边法线。

注意：这里说的是边的“法线”，也就是垂直于该边的向量。我们需要的是单位法线向量（长度为1），这很重要，因为后面计算投影距离时需要一个标准的方向。

我们来拆解一下这个判断过程，它分为三个清晰的步骤：

1. 选取一条待检测的轴（比如多边形A的某条边的法线）。
2. 将两个多边形的所有顶点，都投影到这条轴上。投影的结果就是每个多边形在轴上得到一个线段区间 [min, max]。这个 min 和 max 分别是所有顶点投影到轴上后，标量值的最小值和最大值。
3. 判断两个区间是否重叠。这是一个简单的区间判断：如果 A.max < B.min 或者 B.max < A.min，