分离轴定理判断aabb重叠只需检查各坐标轴投影是否相交:2d为x、y轴,3d加z轴;任一轴无交集则不重叠,所有轴均有交集(含边界接触)才算相交;标准实现用min/max直接比较,避免中心+半宽等易错方式。

用分离轴定理快速判断AABB重叠
两个AABB(Axis-Aligned Bounding Box)是否重叠,本质是看它们在x轴和y轴(三维加z轴)上投影是否有交集。只要任一轴上投影不重叠,整体就不重叠;只有所有轴都重叠,才算真正相交。这是分离轴定理在AABB上的最简应用,不需要叉乘或归一化,纯比较运算,零开销。
常见错误是写成“四边全在对方内部”这类逻辑,既难读又易漏边界情况(比如一个矩形完全包住另一个时,某些边可能不满足“在内部”的判定条件)。
- 只比较中心+半宽/高更易出错,尤其当坐标含浮点误差时,建议直接比边界
- AABB通常用
min_x、max_x、min_y、max_y表示,而非中心+尺寸,避免重复计算 - 注意:重叠包含“边界相接”,即
max_x == other.min_x算接触但不算穿透;若需严格穿透(内部重叠),把改为 <code>
标准C++实现(2D)
假设每个AABB由四个 float 成员表示:
struct AABB {
float min_x, max_x, min_y, max_y;
};
bool intersects(const AABB& a, const AABB& b) {
return a.min_x = b.min_x &&
a.min_y = b.min_y;
}
这个写法等价于“x方向投影有交集 且 y方向投影有交集”。顺序无关,编译器会短路求值,一旦x轴不重叠就立刻返回 false,效率高。
- 不要写成
a.min_x b.min_x—— 这排除了刚好贴边的情况(如a.max_x == b.min_x),而多数物理/碰撞系统需要把接触视为“已重叠” - 若使用整数坐标且要求严格内部重叠(像素级不共享边),才用
和 <code>> - 函数可加
[[nodiscard]],避免忽略返回值
3D扩展与性能注意点
3D只需增加z轴判断,结构清晰,无额外分支或循环:
bool intersects3D(const AABB& a, const AABB& b) {
return a.min_x = b.min_x &&
a.min_y = b.min_y &&
a.min_z = b.min_z;
}
关键点不是“怎么写”,而是“怎么组织数据”:
- 若批量检测(如场景中1000个AABB两两判断),别用嵌套循环暴力O(n²),先按某轴排序+扫描线,或用BVH加速
- 内存布局影响缓存:把
min_x、max_x放一起比交错存储(min_x、min_y、max_x、max_y)更友好 - 如果AABB来自变换后的模型,确保已重新计算为世界空间AABB——未对齐的包围盒不能用此方法
调试时怎么看是否真重叠
遇到“明明看着相交却返回false”,大概率是坐标理解错了。AABB的 min_x 不一定小于 max_x?检查初始化逻辑——特别是从顶点列表生成AABB时,忘了调用 std::minmax_element 或手写比较反了。
- 打印出两组坐标,人工验证:例如
a = {0,2,0,2}、b = {1,3,1,3}→ x: [0,2] vs [1,3] → 重叠;y同理 → 应返回true - 错误示例:
a.max_x = 1.0f、a.min_x = 3.0f(顺序颠倒),会导致所有判断失效 - 若用OpenGL/DirectX,注意y轴方向差异(屏幕坐标y向下为正),但AABB本身是数学对象,只要自己定义一致,不影响算法
边界情况比想象中多,尤其是浮点比较和初始化顺序,这两处卡住的人最多。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











