分离轴定理判断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算接触但不算穿透；若需严格穿透（内部重叠），把<=改为<
标准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.max_x &&
a.max_x >= b.min_x &&
a.min_y <= b.max_y &&
a.max_y >= b.min_y;
}
这个写法等价于“x方向投影有交集 且 y方向投影有交集”。顺序无关，编译器会短路求值，一旦x轴不重叠就立刻返回 false，效率高。
立即学习“C++免费学习笔记（深入）”；
- 不要写成
a.min_x < b.max_x && a.max_x > b.min_x—— 这排除了刚好贴边的情况（如a.max_x == b.min_x），而多数物理/碰撞系统需要把接触视为“已重叠” - 若使用整数坐标且要求严格内部重叠（像素级不共享边），才用
<和> - 函数可加
[[nodiscard]]，避免忽略返回值
3D扩展与性能注意点
3D只需增加z轴判断，结构清晰，无额外分支或循环：
bool intersects3D(const AABB& a, const AABB& b) {
return a.min_x <= b.max_x && a.max_x >= b.min_x &&
a.min_y <= b.max_y && a.max_y >= b.min_y &&
a.min_z <= b.max_z && a.max_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本身是数学对象，只要自己定义一致，不影响算法
边界情况比想象中多，尤其是浮点比较和初始化顺序，这两处卡住的人最多。
