矩形完全在另一个矩形内部的充要条件是:被包含矩形的left≥容器left、top≥容器top、right≤容器right、bottom≤容器bottom;需注意坐标系方向、宽高符号、浮点精度及是否允许边界重合。

判断矩形是否完全在另一个矩形内部的边界条件
核心就是检查「被包含矩形」的四条边界是否全部严格落在「容器矩形」的对应边界之内。C++ 中没有内置矩形包含判断,必须手动比较坐标。关键不是“有没有重叠”,而是“是否完全不越界”。
假设矩形用 left、top、right、bottom 表示(左上为原点,y 向下增长),那么 rectA 在 rectB 内部的充要条件是:
rectA.left >= rectB.left && rectA.top >= rectB.top && rectA.right <p>注意:是否允许边重合(即 <code>>=</code> 还是 <code>></code>)取决于业务定义。UI 布局通常允许贴边(用 <code>>=</code>),物理碰撞检测可能要求留空隙(用 <code>></code>)。</p><h3>使用 sfml::FloatRect 时的常见错误</h3><p>sfml 的 <code>sfml::FloatRect</code> 提供了 <code>contains</code> 方法,但它只判断「点是否在矩形内」,不支持矩形包含矩形。直接传入 <code>sfml::FloatRect</code> 对象会编译失败或静默调用点版本,导致逻辑错误。</p>
- 错误写法:
outer.contains(inner)—— 实际调用的是contains(float x, float y),把inner当作浮点数隐式转换,结果不可预测 - 正确做法:手动比较四个成员变量
inner.left、inner.top、inner.width、inner.height,算出right = left + width、bottom = top + height后再比 - 注意 sfml 坐标系 y 向下,
top 成立,但若手动构造时 <code>height为负,bottom可能小于top,需先归一化
处理浮点矩形时的精度陷阱
用 float 或 double 存储坐标时,直接用 == 或 比较可能因舍入误差误判。尤其当矩形由变换(如缩放、旋转后取 AABB)生成时,边界值常带微小误差。
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
推荐做法是引入 epsilon 容差,但仅用于“是否相等”的判断;对于“是否在内部”,容差方向必须一致:
// 允许被包含矩形右边界略微超出(比如 1e-5),仍视为在内部
const float eps = 1e-5f;
return inner.left + eps >= outer.left &&
inner.top + eps >= outer.top &&
inner.left + inner.width - eps <p>不要对所有比较都加同一方向的 eps,否则可能把本该被拒绝的 case 放过。</p><h3>axis-aligned 矩形与 rotated 矩形的区别</h3><p>以上所有方法仅适用于轴对齐矩形(axis-aligned bounding box, AABB)。如果矩形发生了旋转,<code>contains</code> 不再是简单坐标比较问题,而需做多边形包含判断(如射线法或分离轴定理 SAT)。</p><p>常见误区是把旋转后的 AABB(即包围旋转矩形的最小轴对齐框)当作原始矩形来判断——这会导致“假阳性”:外框包含,但实际旋转矩形部分已伸出。</p>
- 真需求是「旋转矩形 A 是否完全在旋转矩形 B 内部」?→ 必须用凸多边形包含算法,至少检查 A 的 4 个顶点是否全在 B 内,且 B 的 4 个顶点是否全在 A 外(或根据定义调整)
- 只想快速粗筛?可先用 AABB 判断外框,再对通过的 case 做精确判断
- OpenCV 的
cv::pointPolygonTest或 Boost.Geometry 的within可复用,但要注意坐标系和浮点精度
没明确说明旋转时,默认按 AABB 处理;一旦涉及 transform,坐标比较就失效了。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










