C++如何判断两个AABB矩形是否发生碰撞 _ 坐标重叠判定逻辑【干货】

在碰撞检测领域，AABB（轴对齐包围盒）之所以备受青睐，很大程度上得益于它的简洁与高效。想实现两个AABB矩形之间的碰撞检测，核心思路其实很直接：两个矩形不发生碰撞，当且仅当它们在x轴或y轴上完全分离；反过来，只要x轴重叠且 y轴也重叠，那就妥妥地撞上了。

这里有必要解释一下，为什么大家更倾向于用“分离轴”的思路，而不是去求交集。因为AABB是轴对齐的，没有旋转这回事，所以只需要盯着两个方向看：x和y。如果其中一个方向上，两个矩形的投影压根儿不重叠，那整个矩形就不可能相交——这其实就是分离轴定理（SAT）在2D轴对齐场景下的一个简化版。相比之下，去算交集区域、判断点是否在内部，不仅更重，还容易引入浮点除法和分支预测失败的风险，得不偿失。

新手很容易踩坑，写出类似这样的代码：if (left1 left2 && top1 top2)。但问题是，坐标系定义稍微一乱（比如top到底是小值还是大值），整个逻辑就翻车了。所以这里有几个关键的约定建议：

• 如果y轴向下增长（比如屏幕坐标），那么top < bottom；如果y轴向上增长（比如数学坐标），那么top > bottom。这个规则必须前后一致，不能含糊。
• 一个更推荐的做法是，用“中心+半宽高”来表示矩形，彻底避开左右/上下这类容易产生歧义的命名：struct AABB { float cx, cy, hx, hy; };。
• 实际比较时，用abs(cx1 - cx2) < (hx1 + hx2)来判断x轴重叠，y轴同理。这种方式更直观，也天然抗坐标系干扰。

标准实现：基于左/右/上/下边界的判断

假设所有坐标按常见的屏幕惯例（y轴向下），每个矩形由left、right、top、bottom定义，且满足left < right、top < bottom：

bool intersect(const AABB& a, const AABB& b) {
     return !(a.right  <= b.left  ||  // a在b左边
              b.right  <= a.left  ||  // b在a左边
              a.bottom <= b.top   ||  // a在b上方
              b.bottom <= a.top);     // b在a上方
}

注意这里的细节点：用的是<=而不是<，目的是确保边刚好接触时也被判定为碰撞。在绝大多数物理或碰撞场景下，“接触即碰撞”是默认行为。如果你需要严格的内部重叠（排除边缘接触），那只需把<=全换成<即可。

• 如果输入的数据是乱序的（比如top > bottom），记得先做归一化：float t = min(a.top, a.bottom); float b = max(a.top, a.bottom);。
• 这个函数没有任何浮点异常风险，不依赖std::abs或者sqrt，非常干净，特别适合高频调用（比如每帧要跑上千次检测）。

性能与边界情况提醒

说白了，这个判断本质上就是几组纯比较运算。在现代CPU上，通常2到4个周期就能跑完，比去折腾std::minmax或者构造临时的std::pair快一个数量级。但有三点容易被忽略，值得单独拎出来说说：

• 空矩形的问题：如果某个矩形的left == right，或者top == bottom，那么这个矩形会被判定为永不相交。如果你的业务逻辑里允许这种退化矩形存在，那就得提前检查并另行处理。
• 浮点误差：当坐标来自矩阵变换或长期累加时，微小的浮点误差可能会带来困扰。必要时可以加一个epsilon容差，但千万别直接加在边界比较里（那样会破坏AABB的语义）。正确的做法是在输入归一化阶段做预处理。
• 扩展到3D：如果矩形携带z坐标（比如3D里的AABB），逻辑完全一致，只需要把比较扩展成三组：!(a.maxz < b.minz || b.maxz < a.minz)。

其实真正让人头疼的，从来不是写对这四行比较逻辑，而是要确保所有上游模块输出的left/right等字段，都严格遵守同一套方向约定。坐标系混用造成的问题，比算法本身写错难调试得多。