C++如何判断一个矩形是否在另一个矩形内部

判断一个矩形是否完全位于另一个矩形内部，说白了就是检查它的四条边有没有越界。相比“有没有重叠”，这个问题的关键在于“必须完全不超出”。C++ 标准库并没有直接提供这样的函数，需要手动比较坐标。先给出核心条件：

判断矩形是否完全在另一个矩形内部的边界条件

假设矩形用 left、top、right、bottom 表示（左上为原点，y 轴向下增长），那么 rectA 在 rectB 内部的充要条件是：

rectA.left >= rectB.left &&
rectA.top >= rectB.top &&
rectA.right <= rectB.right &&
rectA.bottom <= rectB.bottom

这里有个细节：到底用 >= 还是 >？取决于业务定义。UI 布局通常允许贴边（用 >=），物理碰撞检测可能要求留出空隙（用 >）。在动手写代码前，最好先和产品/设计确认清楚边界规则。

使用 sfml::FloatRect 时的常见错误

很多刚接触 SFML 的朋友会想：sf::FloatRect 不是有个 contains 方法吗？直接传另一个矩形进去不就行了？——注意，这其实是个大坑。contains 只接受点坐标（float x, float y），如果你传进去一个 FloatRect 对象，编译器会尝试隐式转换，结果要么编译失败，要么调用错误的函数重载，导致逻辑莫名其妙。

• 错误写法：outer.contains(inner) —— 它实际被解释为 contains(float, float)，把 inner 当成两个浮点数来用，结果完全不可控。
• 正确做法：手动提取四个成员变量，算出 right = left + width、bottom = top + height，然后一个一个比。
• 特别提醒：SFML 的坐标系 y 向下，top < bottom 通常成立。但如果手动构造矩形时传入了负的宽高，bottom 可能小于 top，这时需要先做归一化处理。

处理浮点矩形时的精度陷阱

浮动数比较从来都不是“一刀切”的事。直接用 <= 判断边界，很可能因为舍入误差误判——比如旋转或缩放后生成的 AABB，边界值往往带一个极小的尾巴。

一个稳妥的做法是引入 epsilon 容差，但注意容差的方向必须统一。不能对所有比较都加同一个方向的 eps，否则可能把本该拒绝的 case 放过去。举个常见的正确写法：

// 允许被包含矩形右边界略微超出（比如 1e-5），但仍视为在内部
const float eps = 1e-5f;
return inner.left + eps >= outer.left &&
       inner.top + eps >= outer.top &&
       inner.left + inner.width - eps <= outer.left + outer.width &&
       inner.top + inner.height - eps <= outer.top + outer.height;

这里 left 判断时加了 eps，right 判断时减了 eps，保证容差方向一致（都往内部“放宽”一点点）。如果反过来乱加，会导致边界失效。

axis-aligned 矩形与 rotated 矩形的区别

以上所有讨论都只适用于轴对齐矩形（AABB）。一旦矩形发生了旋转，坐标比较就完全不管用了。必须用多边形包含算法（比如射线法或分离轴定理 SAT）。

常见误区：有人会把旋转矩形的 AABB（即包围它的最小轴对齐框）当作原始矩形去判断包含关系，这会导致“假阳性”——AABB 包含了，但实际旋转的部分可能已经伸了出去。

• 如果需求是“旋转矩形 A 是否完全在旋转矩形 B 内部”，那么至少需要检查 A 的 4 个顶点是否都在 B 内，且 B 的 4 个顶点是否都在 A 外（具体定义可能略有不同，取决于业务逻辑）。
• 如果想先快速粗筛，可以先用 AABB 判断外框，再对通过的 case 做精确的凸多边形包含判断。
• OpenCV 的 cv::pointPolygonTest 或 Boost.Geometry 的 within 可以直接复用，但要注意坐标系与浮点精度的一致性。

一句话总结：没有明确说旋转，就默认按 AABB 处理；一旦涉及变换，坐标比较的“简单大法”就失效了，得上更正式的几何算法。