AABB是坐标轴对齐的矩形，由min_x、max_x、min_y、max_y四个边界值定义；不能用==判断，因其比较内存布局而非几何关系，正确方法是检测X/Y轴是否同时重叠。
什么是AABB，为什么不能直接用 == 判断
AABB（Axis-Aligned Bounding Box）就是坐标轴对齐的矩形，只由左上角（或中心+半宽高）和右下角两个点定义，不旋转。它没有“形状”概念，只有四个边界值：min_x、max_x、min_y、max_y。所以不能像多边形那样用顶点相交判断，更不能用 == 比较两个结构体——那只是比内存布局是否一致。
核心逻辑是：两个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 下方
}关键点：
- 用 ! 包裹整个分离条件，比写四组“都大于等于”更清晰不易错
- 所有比较用 而非 <code>，因为当 <code>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 ，但慎用——它会让本该分离的物体提前触发碰撞<br>
- 对于大量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时，是否还响应点击？这得你自己定规则，代码里不自动处理。
