AABB碰撞判定只需检查x、y轴投影是否重叠：仅当两轴均重叠时才碰撞，边界接触视为碰撞，故分离条件须用严格不等号（如min1 >= max2），构造时需强制校正min/max避免输入顺序错误。
用分离轴定理快速判断AABB碰撞
两个AABB不相交，当且仅当它们在x轴或y轴上完全分离。这是最直接、最高效的判定方式，不需要开方、三角函数或向量运算。
核心逻辑就是：只要有一个方向（x或y）上两矩形的投影不重叠，就一定没碰撞；只有x和y两个方向都重叠，才算发生碰撞。
常见错误是写成 if (overlapX && overlapY) return true; 却把重叠条件写反，比如用 min1 > max2 判分离却漏掉等于号——AABB边界接触也算碰撞，所以必须用严格不等号判断“分离”。
实操建议：
- 统一用左下角
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 比较都会失效。
实操建议：
- 在构造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像素内）。
实操建议：
- 对关键交互（如按钮点击、拖拽吸附），改用带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预取效率下降，批量检测时延迟上升。
实操建议：
- 将判定函数声明为
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），在极致性能路径里这笔开销值得抠。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
