两个矩形不重叠的条件是x方向或y方向投影无交集，即rect1.x2≤rect2.x1 || rect1.x1≥rect2.x2 || rect1.y2≤rect2.y1 || rect1.y1≥rect2.y2；重叠条件为其逻辑反。
两个矩形不重叠的条件比重叠更容易判断
直接检查“是否重叠”需要处理 4 种相对位置（左、右、上、下），逻辑容易漏；更可靠的做法是先写出「绝对不重叠」的条件，再取反。AABB（Axis-Aligned Bounding Box）假设矩形边与坐标轴平行，因此只需比较 x 和 y 两个方向上的投影。
设矩形用左下角 (x1, y1) 和右上角 (x2, y2) 表示（即 x1 且 <code>y1 ），另一矩形为 <code>(a1, b1) 和 (a2, b2)：
- 在 x 轴上不重叠 ⇔
x2 或 <code>a2 - 在 y 轴上不重叠 ⇔
y2 或 <code>b2 - 两者任一成立 → 完全不重叠；仅当 x 和 y 方向都重叠时，矩形才真正相交
所以重叠判断就是：!(x2 ，等价于：<code>x1
C++ 实现时要注意坐标约定和边界处理
很多 bug 出在矩形表示方式不一致：有人用中心点+宽高，有人用左上角+宽高，还有人用 top/bottom 命名但 y 轴朝下（如屏幕坐标系）。AABB 检测本身不关心方向，但必须保证你的 x1 确实是最小 x，y1 是最小 y。
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 若输入是
top/left/width/height，需先转成 min/max 形式：y1 = top，y2 = top + height（前提是 y 向下增长） - 若 y 向上增长（如 OpenGL），则
y1 = top - height，y2 = top - 务必做预校验：
if (x1 >= x2 || y1 >= y2) return false;，避免退化矩形导致逻辑错乱
一个健壮的 inline 函数示例：
bool intersect(const float x1, const float y1, const float x2, const float y2,
const float a1, const float b1, const float a2, const float b2) {
if (x1 >= x2 || y1 >= y2 || a1 >= a2 || b1 >= b2) return false;
return x1 < a2 && a1 < x2 && y1 < b2 && b1 < y2;
}浮点数比较时不能直接用 == 或
当矩形由浮点运算生成（如变换、插值后），严格的小于/大于可能因舍入误差失效。例如本该刚好接触的两个矩形，可能被判定为“微小重叠”或“微小分离”。
- 若允许“接触即算重叠”，当前整数/浮点直接比较即可
- 若需容忍误差，把
换成 <code> 形式，但注意：不是简单替换所有比较符，而是对“临界距离”加容差 - 更稳妥的做法是定义“分离阈值”：
return (x1 - a2) ，其中 <code>eps是正数（如1e-6f） - 慎用
std::abs包裹差值再比较 —— 这会把“分离”和“重叠”混为一谈，逻辑不对称
性能关键场景下可提前退出，避免冗余计算
在游戏或物理引擎中每帧检测数百个矩形，分支预测失败会影响性能。现代 CPU 对短路求值（&&）优化很好，但顺序仍有讲究：把最可能为 false 的条件放前面，能更快剪枝。
- 比如已知大多数物体在水平方向离得很远，则先判断
x1 ，再进 y 轴检查 - 若矩形常按空间分区（如四叉树），可先粗略判断包围盒层级，再精确到叶子节点
- 避免重复计算：如果矩形数据结构里已缓存
min_x/max_x，就别每次现场算std::min(x1,x2)
真正容易被忽略的是：AABB 只适用于轴对齐矩形。一旦旋转，必须转用分离轴定理（SAT）或包围圆近似 —— 此时还硬套这个公式，结果一定错。
