如何通过坐标判定识别AABB轴对齐矩形碰撞情况？

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

两个AABB不相交，当且仅当它们在x轴或y轴上完全分离。这是最直接、最高效的确定方法，无需开方、三角函数或向量运算。

核心逻辑就是：只要有一个方向（x或y）上两矩形的投影不重叠，就一定没碰撞；只有x和y两个方向都重叠，才算发生碰撞。

常见错误是写成 if (overlapX && overlapY) return true; 却把重叠条件写反，比如用 min1 > max2 判分离却漏掉等于号——AABB边界接触也算碰撞，所以必须用严格不等号判断“分离”。

实操建议：

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

• 统一用左下角 min 和右上角 max 表示AABB（即 min.x , <code>min.y ），避免中心+半宽高带来的符号混淆
• 分离条件写为：rect1.max.x = rect2.max.x || rect1.max.y = rect2.max.y
• 反过来，碰撞条件就是上述表达式的逻辑非，可直接返回 !separated，更易读且不易出错

注意坐标系与Y轴方向的影响

很多图形API（如OpenGL、SDL）的Y轴向上，而窗口坐标系（Win32、DirectX默认）Y轴向下。如果混用不同来源的AABB数据，min.y 和 max.y 可能被颠倒，导致碰撞永远不触发或永远触发。

例如：从鼠标事件拿到的矩形用屏幕坐标（Y向下），而渲染用的AABB按OpenGL惯例（Y向上）存储，若不做归一化，min.y > max.y 就成了常态，所有 min/max 比较都会失效。

实操建议：

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

• 在构造AABB时强制校正：float y_min = std::min(y1, y2); float y_max = std::max(y1, y2);
• 不要假设输入顺序，尤其当AABB由两点动态生成（如拖拽选区）时
• 调试时打印出每个AABB的 min 和 max 值，确认 min.x 恒成立

浮点精度下的边界接触问题

使用 float 表示坐标时，rect1.max.x == rect2.min.x 这种“刚好贴边”的情况可能因计算误差变成 rect1.max.x 或略大，导致本该算碰撞的被判定为分离。

这不是算法缺陷，而是浮点表示局限。但游戏、UI等场景中，用户感知的“接触”往往允许微小容差（比如1像素内）。

实操建议：

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

• 对关键交互（如按钮点击、拖拽吸附），改用带epsilon的分离判断：rect1.max.x + eps ，其中 <code>eps 取 1e-5f 或根据坐标量级调整
• 避免在比较前做多次浮点运算（如先算中心再推min/max），尽量用原始输入值构造AABB
• 若项目全程用 int 坐标（如像素级UI），直接用整数比较，完全规避该问题

性能敏感场景下的内联与结构体设计

每帧检测数百个AABB时，函数调用开销和结构体拷贝会明显可见。C++里一个未内联的 bool intersects(const AABB& a, const AABB& b) 可能比内联版本慢15%以上（实测Clang 16 -O2）。

同时，内存布局影响缓存命中率：若AABB字段乱序（如 x_min, y_max, x_max, y_min），CPU预取效率下降，批量检测时延迟上升。

实操建议：

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

• 将判定函数声明为 inline，或定义在头文件中；现代编译器通常能自动内联，但显式标注更可靠
• AABB结构体字段按内存连续访问顺序排列：struct AABB { float min_x, min_y, max_x, max_y; };，确保x方向两个字段相邻
• 避免虚函数、继承或std::vector成员——纯POD结构体利于SIMD向量化（如批量求交时用AVX2一次比4组）

真正容易被忽略的是：AABB本身是否真的需要四个独立字段？有时候用 vec2 min + vec2 size 更自然，但碰撞判定代码会多两次加法（max = min + size），在极致性能路径里这笔开销值得抠。