如何通过AABB矩形碰撞检测算法判断游戏中的几何碰撞？

本文共计1037个文字，预计阅读时间需要5分钟。

ABB（轴对齐边界框）是一种与坐标轴对齐的矩形，仅由左上角（或中心+半宽高）和右下角两个点定义，不旋转。它没有形状的概念，只有四个边界值：

核心逻辑是：两个AABB不相交 ⇔ 至少在一个轴上完全分离。反过来，相交 ⇔ X轴重叠 且 Y轴重叠。

常见错误现象：
- 把“中心距离小于半宽之和”当成充分条件（漏了边界对齐前提，实际可行但需确保所有坐标系定义一致）
- 用 abs(center1 - center2) 却没校验 <code>min/max 是否合法（比如 min_x > max_x，说明矩形退化或构造出错）

标准分离轴判断写法（C++结构体示例）

假设你用如下结构体表示AABB：

struct AABB { float min_x, min_y; float max_x, max_y; };

那么碰撞检测函数应这样写：

立即学习“C++免费学习笔记（深入）”；

bool intersect(const AABB& a, const AABB& b) { return !(a.max_x < b.min_x || // a 在 b 左侧 b.max_x < a.min_x || // b 在 a 左侧 a.max_y < b.min_y || // a 在 b 下方 b.max_y < a.min_y); // b 在 a 下方 }

关键点：
- 用 ! 包裹整个分离条件，比写四组“都大于等于”更清晰不易错
- 所有比较用 < 而非 <=，因为当 a.max_x == b.min_x 时，它们刚好接触，按游戏惯例通常算“碰撞”（边界共享算相交）
- 如果你的坐标系Y轴向下（如SDL、某些UI库），min_y 反而是顶部，max_y 是底部，这个逻辑依然成立——只要结构体内定义自洽

性能与浮点误差怎么处理

纯整数坐标下，上述判断无误差。但实际中常是 float 或 double，尤其当矩形由变换、插值生成时，min_x 可能略大于 max_x（因计算误差），导致误判为无效矩形。

建议在构造或更新AABB后做一次归一化：

void normalize(AABB& box) { if (box.min_x > box.max_x) std::swap(box.min_x, box.max_x); if (box.min_y > box.max_y) std::swap(box.min_y, box.max_y); }

其他注意事项：
- 不要对每个碰撞调用 normalize()，只在构造/更新后调用一次
- 若需支持“几乎不碰”的宽松检测（比如角色脚底允许1像素悬空），可引入epsilon偏移：a.max_x + 1e-5f < b.min_x，但慎用——它会让本该分离的物体提前触发碰撞
- 对于大量AABB（如粒子、瓦片），考虑用BVH或粗筛（如先用整数格子桶过滤）再精判，单次判断本身已是最优O(1)

和SDL2 / SFML等库的Rect类型怎么对接

SDL2的 SDL_Rect 是 {x, y, w, h}，其中 x/y 是左上角，w/h 非负。转换时注意：
- min_x = rect.x
- max_x = rect.x + rect.w
- min_y = rect.y
- max_y = rect.y + rect.h

SFML的 sf::FloatRect 直接提供 left、top、width、height，同理转换。但注意：
- SFML文档明确说 left 和 top 就是 min_x、min_y，而 left + width 是 max_x ——别误以为 width 可能为负
- 如果你从变换矩阵生成AABB，必须用8个顶点的投影再求极值，不能只变4个角点再取 min/max（除非确认矩阵无缩放/剪切）

最容易被忽略的一点：很多引擎里“空矩形”（w == 0 或 h == 0）仍参与碰撞检测，但数学上它面积为0，按严格定义不应与任何东西相交。是否排除，取决于你的游戏逻辑——比如UI按钮尺寸为0时，是否还响应点击？这得你自己定规则，代码里不自动处理。