AABB碰撞判定核心是判断两矩形在各坐标轴上投影区间是否全部重叠：仅当x、y（及z）轴均满足min₁≤max₂且min₂≤max₁时才相交；必须用≤而非<以确保边接触视为碰撞，推荐min/max表示法保障数值稳定与向量化性能。
什么是 AABB 碰撞判定的核心逻辑
两个 AABB（Axis-Aligned Bounding Box）是否相交，本质是判断它们在 x 和 y（三维加 z）三个轴向上是否存在重叠区间。只要任一轴上不重叠，就完全不相交；只有所有轴都重叠，才算发生碰撞。
关键不是“算距离”，而是“看区间是否交叉”——这决定了它极快、无分支（可向量化）、且数值稳定。
标准实现：用 min/max 坐标写法最安全
假设每个 AABB 用左下角 min 和右上角 max 表示（即 vec2 min, max），这是最不易出错的约定：
- 避免用中心+半宽高表示时忘记乘 2 或符号翻转
- 不依赖坐标系朝向（y 向上/向下都适用）
- 天然兼容浮点和整数，且边界行为明确（
min == max视为退化矩形，按需处理）
判定代码就是四行比较：
立即学习“C++免费学习笔记（深入）”；
bool intersect(const AABB& a, const AABB& b) {
return a.min.x <= b.max.x &&
b.min.x <= a.max.x &&
a.min.y <= b.max.y &&
b.min.y <= a.max.y;
}注意：全部用 <=，不是 <。否则当两个矩形边刚好贴合（如 a.max.x == b.min.x）会被误判为不相交——而多数物理或渲染场景中，边接触即视为碰撞。
常见错误：用中心+尺寸导致的偏移与溢出
有人习惯用 center 和 halfSize 表达 AABB，此时容易写出如下有隐患的代码：
// ❌ 危险！浮点误差 + 重复计算放大误差
float dx = fabsf(a.center.x - b.center.x);
float dy = fabsf(a.center.y - b.center.y);
return dx <= (a.halfSize.x + b.halfSize.x) &&
dy <= (a.halfSize.y + b.halfSize.y);问题包括：
-
fabsf引入额外函数调用开销，且在 SIMD 下不如直接比较 min/max 高效 - 加法
a.halfSize.x + b.halfSize.x可能因浮点舍入略小于真实和，导致漏判 - 若
halfSize是负数（非法但未校验），结果不可控
更糟的是，这种写法在 halfSize 很大时还可能触发浮点溢出（虽然少见）。坚持用 min/max 能彻底规避这些路径。
三维扩展与性能提示
扩展到 3D 只需加 z 轴判断：
return a.min.x <= b.max.x && b.min.x <= a.max.x &&
a.min.y <= b.max.y && b.min.y <= a.max.y &&
a.min.z <= b.max.z && b.min.z <= a.max.z;现代编译器（如 GCC/Clang -O2）通常能将这六个比较自动向量化为 2–3 条 SIMD 指令。但前提是：
- 结构体内存布局连续（
struct { float x,y,z; }推荐） - 不要把
min和max拆成分离数组（AoS vs SoA 要分清场景） - 避免在循环内反复取址或解引用未对齐指针
真正影响性能的往往不是算法本身，而是数据怎么放、怎么取。
