判断矩形重叠的核心逻辑是：x方向有交集且y方向有交集，即 !(a.x2 <= b.x1 || a.x1 >= b.x2 || a.y2 <= b.y1 || a.y1 >= b.y2)，确保边接触视为不重叠。
判断矩形重叠的核心逻辑是什么
两个轴对齐矩形（即边平行于坐标轴）不重叠，当且仅当其中一个完全在另一个的左侧、右侧、上方或下方。反过来说，重叠成立的充要条件是：x方向有交集 AND y方向有交集。这是最可靠、最高效的判断方式，不需要计算交点或面积。
- 不要用“求交集矩形面积 > 0”来判断，浮点误差或整数溢出可能让
area == 0误判边界接触（如边对边贴合）是否算重叠——而业务中通常把边接触视为「不重叠」或「临界不重叠」，需明确约定 - 所有坐标假设为左下角
(x1, y1)和右上角(x2, y2)，且满足x1 < x2、y1 < y2；若输入顺序不确定，先做标准化
C++代码实现（含边界处理）
标准写法直接用不等式判断，避免分支和额外变量：
bool isOverlap(const Rect& a, const Rect& b) {
return !(a.x2 <= b.x1 || // a 在 b 左侧（含左边界接触）
a.x1 >= b.x2 || // a 在 b 右侧（含右边界接触）
a.y2 <= b.y1 || // a 在 b 下方（含下边界接触）
a.y1 >= b.y2); // a 在 b 上方（含上边界接触）
}- 这里用
<=和>=是关键：确保边接触（如a.x2 == b.x1）返回false，即不认为重叠 - 若业务要求「边接触算重叠」，把所有
<=改成<，>=改成> -
Rect结构体字段名必须与实际定义一致，常见错误是混淆top/bottom和y1/y2的语义（比如误把y1当作 top）
容易被忽略的坐标系陷阱
二维坐标系方向直接影响 y 方向比较逻辑：
-
OpenGL / 数学惯例（y向上）：矩形通常用
bottom和top，此时y1 < y2成立，上述代码适用立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master下载组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
Windows GDI / Canvas 2D（y向下）：若用
y1表示顶部、y2表示底部，则y1 > y2，直接套用原逻辑会反转结果遇到图像/窗口坐标系时，先统一转为「y向上」语义：比如把
Rect{y_top, y_bottom}映射为y1 = y_bottom,y2 = y_top不要依赖注释或变量名（如叫
top就以为是大值），用断言验证：assert(rect.y2 > rect.y1);
性能与可读性取舍
这个判断本身是 O(1) 且无分支预测失败风险，但实际工程中常被封装进更复杂的结构：
- 如果频繁调用，把四个比较拆成独立布尔变量反而降低可读性，也无助于优化（现代编译器会自动优化为跳转序列）
- 若矩形数据来自网络或文件，务必先校验
x1 < x2 && y1 < y2，否则isOverlap可能返回反直觉结果（比如负宽矩形“永远不重叠”） - 用
std::minmax标准化输入虽安全，但多两次比较——除非你明确收到乱序坐标，否则别加
边界情况比想象中多：零宽矩形、极大坐标值、跨 int 溢出的差值……真正在意鲁棒性时，得配合坐标类型选择（比如用 int64_t 存差值，或改用 double 并设 epsilon）。但绝大多数场景，原始不等式就足够了。
