1. 项目概述为什么几何位置关系是游戏开发的基石在Unity3D游戏开发里判断两个几何形状的位置关系比如一个角色胶囊体是否踩到了地面平面一颗子弹球体是否击中了敌人立方体或者一个玩家是否进入了某个触发区域任意凸体这几乎是每一帧都在发生的核心运算。新手可能会觉得Unity的物理引擎不是都帮我们做好了吗用个OnCollisionEnter不就行了这话对但也不全对。依赖物理引擎的碰撞检测对于简单的交互确实方便但它有“黑盒”特性性能开销大且在某些需要精确、即时判断的逻辑中显得笨重。比如你需要在一帧内判断成百上千个对象是否在某个扇形攻击范围内或者需要在不触发物理反馈的情况下如UI遮挡检测、技能预判知道形状是否相交这时候手动计算几何位置关系就成了必须掌握的“硬功夫”。掌握它意味着你从“功能实现者”向“系统设计者”迈进了一步能写出更高效、更可控的游戏逻辑。今天我们就抛开物理引擎的“拐杖”深入探讨如何在Unity中从原理到代码亲手实现这些基础的几何关系判断。2. 核心数学工具与Unity基础接口解析在动手写判断逻辑之前我们必须准备好“工具箱”。Unity提供了一套强大的数学库UnityEngine.Mathematics以及Vector3、Matrix4x4等结构这是我们所有计算的基础。2.1 向量运算一切关系的起点位置关系的本质是数学关系。在Unity的三维空间里点用Vector3表示方向也用Vector3表示长度为1时为单位向量。点积 (Dot Product):Vector3.Dot(a, b)。这是判断前后、内外、角度关系的利器。结果是一个标量。几何意义是向量a在向量b方向上的投影长度与b长度的乘积。如果a和b都是单位向量点积就是它们夹角的余弦值cosθ。应用1判断前后。给定一个方向forward和一个点到目标点的向量toTarget如果Dot(forward, toTarget) 0则目标在前方反之在后方。应用2判断夹角。float cosAngle Dot(dirA.normalized, dirB.normalized);cosAngle越接近1夹角越小。叉积 (Cross Product):Vector3.Cross(a, b)。结果是一个新的向量垂直于a和b构成的平面。其长度等于|a| * |b| * sinθ。常用于计算法向量、判断左右。应用判断左右。给定前进方向forward和到目标的方向toTargetVector3 cross Cross(forward, toTarget);。如果cross.y 0目标在左侧cross.y 0目标在右侧这是在常规3D世界Y轴向上的情况。距离与平方距离Vector3.Distance(a, b)和(a - b).sqrMagnitude。这是一个重要的性能技巧开方运算sqrt比较耗时。在很多仅需比较距离大小的场合如判断是否在某个半径内使用平方距离sqrMagnitude进行比较可以避免开方。例如判断距离是否小于10if ((posA - posB).sqrMagnitude 10f * 10f)。2.2 射线与平面从一维到三维的探测Ray和Plane是Unity封装好的几何结构相关方法是判断相交的快捷方式。射线 (Ray):包含一个起点origin和一个方向direction。常用Physics.Raycast进行物理检测但我们也可以进行纯数学计算。平面 (Plane):由一个点point和一个法向量normal定义。Plane类提供了GetDistanceToPoint方法返回点到平面的有符号距离。正负号表示点在法向量所指的哪一侧。判断点在平面的哪一侧float distance myPlane.GetDistanceToPoint(point);distance 0点在正面法向量方向distance 0点在背面distance 0点在平面上。射线与平面相交Plane.Raycast方法可以计算射线与平面的交点距离非常高效。2.3 边界体积包围盒与球体对于复杂的网格模型我们通常用简单的几何体包围盒、球体来近似表示其占据的空间以进行快速、粗略的相交测试。包围盒 (Bounds):一个轴对齐的包围盒AABB, Axis-Aligned Bounding Box。Bounds结构体包含中心点center和尺寸extents。Bounds.Intersects方法可以快速判断两个AABB是否相交。注意AABB不会随物体旋转而旋转因此对于旋转的物体它可能不是最紧密的包围。包围球 (Bounding Sphere):包含中心点center和半径radius。判断两个球体是否相交极其简单比较两球心距离与半径之和。if ((sphereA.center - sphereB.center).sqrMagnitude (sphereA.radius sphereB.radius) * (sphereA.radius sphereB.radius))。注意这些Bounds通常是Renderer.bounds或Collider.bounds它们是由Unity根据网格或碰撞体自动计算的世界空间包围盒。在性能敏感的循环中应先获取并缓存这些Bounds而不是每帧都去访问属性因为属性计算可能有开销。3. 基础形状间位置关系判断实战有了数学工具我们就可以开始组合实现具体的形状判断了。我们从最简单的点开始。3.1 点与基础几何体的关系这是所有复杂判断的基础单元。点与球体计算点到球心的距离与半径比较。bool IsPointInsideSphere(Vector3 point, Vector3 sphereCenter, float sphereRadius) { return (point - sphereCenter).sqrMagnitude sphereRadius * sphereRadius; }点与AABB轴对齐包围盒判断点是否在每个轴向上都位于最小点和最大点之间。bool IsPointInsideAABB(Vector3 point, Bounds bounds) { return bounds.Contains(point); // 或者手动计算 // Vector3 min bounds.center - bounds.extents; // Vector3 max bounds.center bounds.extents; // return point.x min.x point.x max.x // point.y min.y point.y max.y // point.z min.z point.z max.z; }点与OBB有向包围盒比AABB复杂。需要将点变换到OBB的局部空间即对齐其旋转和缩放然后在局部空间按AABB的方式判断。这涉及到使用OBB变换矩阵的逆矩阵。点与平面如前所述使用Plane.GetDistanceToPoint。点与凸多边形/多面体常用“分离轴定理”的基础形式。对于凸体如果点在内部那么它应该在每个面的“正面”即法向量所指方向。遍历所有面用点积判断点是否在所有面的内侧。if (Vector3.Dot(point - faceCenter, faceNormal) 0) // 点在外部。3.2 球体与球体的关系这是效率最高的相交测试之一。bool AreSpheresIntersecting(Vector3 centerA, float radiusA, Vector3 centerB, float radiusB) { float sqrDistance (centerA - centerB).sqrMagnitude; float sumRadius radiusA radiusB; return sqrDistance sumRadius * sumRadius; } // 更进一步可以计算渗透深度用于物理响应 float penetrationDepth sumRadius - Mathf.Sqrt(sqrDistance);3.3 AABB与AABB的关系利用Bounds.Intersects是最简单的方法。手动实现原理是如果两个AABB在所有轴向上都发生重叠则它们相交。bool AreAABBsIntersecting(Bounds a, Bounds b) { // 手动实现逻辑 bool overlapX Mathf.Abs(a.center.x - b.center.x) (a.extents.x b.extents.x); bool overlapY Mathf.Abs(a.center.y - b.center.y) (a.extents.y b.extents.y); bool overlapZ Mathf.Abs(a.center.z - b.center.z) (a.extents.z b.extents.z); return overlapX overlapY overlapZ; }3.4 球体与AABB的关系这是非常常见的组合如角色与场景物品。核心思想是找到AABB上距离球心最近的点然后判断该点与球心的距离。bool IsSphereIntersectingAABB(Vector3 sphereCenter, float sphereRadius, Bounds bounds) { // 1. 将球心坐标约束(clamp)到AABB的范围内得到AABB上距离球心最近的点 Vector3 closestPointOnAABB; closestPointOnAABB.x Mathf.Max(bounds.min.x, Mathf.Min(sphereCenter.x, bounds.max.x)); closestPointOnAABB.y Mathf.Max(bounds.min.y, Mathf.Min(sphereCenter.y, bounds.max.y)); closestPointOnAABB.z Mathf.Max(bounds.min.z, Mathf.Min(sphereCenter.z, bounds.max.z)); // 2. 计算球心到该最近点的距离平方 float sqrDistance (sphereCenter - closestPointOnAABB).sqrMagnitude; // 3. 与球体半径平方比较 return sqrDistance (sphereRadius * sphereRadius); }3.5 胶囊体与胶囊体的关系胶囊体可以看作是一条线段即两个球心之间的线段加上一个半径。判断两个胶囊体相交可以简化为判断两条线段的最短距离是否小于两胶囊半径之和。计算两条线段间的最短距离涉及向量投影较为复杂但Unity的Physics类提供了ComputePenetration方法可用于计算穿透向量对于自定义检测一个常见的近似方法是采样线段上的多个点进行球体测试。实操心得在实际游戏开发中除非有极特殊的定制需求否则胶囊体间的精确检测应优先考虑使用Unity的碰撞体CapsuleCollider和物理引擎。手动实现的复杂度和性能未必更优。我们的学习重点应放在理解其原理以便在需要时进行简化或近似处理。4. 高级技巧分离轴定理SAT与复杂凸体判断当我们需要判断两个任意凸多边形2D或凸多面体3D是否相交时分离轴定理Separating Axis Theorem, SAT是业界标准的算法。它的核心思想非常直观如果能找到一条直线2D或一个平面3D使得两个物体在该直线或平面的法向量上的投影完全不重叠那么这两个物体就一定没有相交。反之如果在所有可能的候选轴上投影都重叠那么它们就相交。4.1 SAT算法原理分步解读我们以2D凸多边形为例3D原理相同轴更多获取候选分离轴对于两个多边形A和B候选轴取自它们每条边的法向量。因为如果两个多边形相交分离轴很可能与某条边平行。投影将两个多边形的所有顶点投影到当前候选轴上。投影操作就是计算顶点向量与该轴单位向量的点积得到一个标量值。求投影区间分别找出多边形A和B的所有顶点投影值的最小值和最大值这样就得到了两个区间[minA, maxA]和[minB, maxB]。判断区间重叠如果maxA minB或maxB minA则区间不重叠意味着找到了一个分离轴两个多边形不相交算法可以立即返回false。遍历所有轴如果对所有候选轴进行上述测试都没有找到分离轴即所有轴上的投影区间都重叠那么结论就是两个多边形相交。4.2 在Unity中实现SAT以2D凸多边形为例假设我们有两个凸多边形用ListVector2存储顶点按顺时针或逆时针顺序。bool AreConvexPolygonsIntersectingSAT(ListVector2 verticesA, ListVector2 verticesB) { // 获取多边形A的边法向量作为候选轴 for (int i 0; i verticesA.Count; i) { Vector2 edge verticesA[(i 1) % verticesA.Count] - verticesA[i]; Vector2 axis new Vector2(-edge.y, edge.x).normalized; // 2D中边的垂直向量即法向量 if (!IsOverlappingOnAxis(verticesA, verticesB, axis)) { return false; // 找到分离轴不相交 } } // 获取多边形B的边法向量作为候选轴 for (int i 0; i verticesB.Count; i) { Vector2 edge verticesB[(i 1) % verticesB.Count] - verticesB[i]; Vector2 axis new Vector2(-edge.y, edge.x).normalized; if (!IsOverlappingOnAxis(verticesA, verticesB, axis)) { return false; // 找到分离轴不相交 } } // 所有轴上都重叠说明相交 return true; } // 辅助函数判断两个多边形在给定轴上的投影是否重叠 bool IsOverlappingOnAxis(ListVector2 vertsA, ListVector2 vertsB, Vector2 axis) { // 投影多边形A float minA float.MaxValue, maxA float.MinValue; foreach (var vert in vertsA) { float proj Vector2.Dot(vert, axis); minA Mathf.Min(minA, proj); maxA Mathf.Max(maxA, proj); } // 投影多边形B float minB float.MaxValue, maxB float.MinValue; foreach (var vert in vertsB) { float proj Vector2.Dot(vert, axis); minB Mathf.Min(minB, proj); maxB Mathf.Max(maxB, proj); } // 检查区间是否重叠 // 如果 maxA minB 或 maxB minA则不重叠 return !(maxA minB || maxB minA); }注意事项SAT算法要求多边形是凸的。对于凹多边形需要先进行三角剖分或分解为多个凸多边形再分别判断。在3D中候选轴来自两个多面体的每个面的法向量以及所有边的两两组合的叉积方向计算量会显著增加。因此在3D游戏中对于复杂凸体碰撞通常还是依赖物理引擎如Unity的MeshCollider配合凸包生成或专门的物理库。5. 性能优化与空间分割策略当场景中有成千上万个需要检测的对象时即使两两判断的算法是O(1)总体复杂度也会达到O(N²)这是不可接受的。此时必须引入空间分割算法。5.1 四叉树2D与八叉树3D这是最经典的空间分割数据结构。以四叉树为例它递归地将2D空间划分为四个象限直到每个叶子节点包含的对象数量低于某个阈值。进行碰撞检测时只需遍历与查询区域有交集的节点内的对象极大地减少了需要两两比较的对象对数量。在Unity中的简化应用对于大型2D游戏如RTS、ARPG可以自己实现或使用Asset Store的四叉树插件。在Update中将动态对象从其原先的节点移除并根据新位置插入到新的节点中。检测时根据攻击范围或视野范围快速检索相关节点内的目标列表。5.2 网格法Spatial Grid将世界空间划分为均匀的网格单元格。每个对象根据其位置归属到一个或多个单元格。检测时只需检查对象所在单元格及相邻单元格内的其他对象。这种方法实现简单特别适合对象分布相对均匀的场景。实现要点public class SpatialGrid { private float cellSize; private DictionaryVector2Int, ListGameObject grid new DictionaryVector2Int, ListGameObject(); private Vector2Int GetCellIndex(Vector3 position) { int x Mathf.FloorToInt(position.x / cellSize); int z Mathf.FloorToInt(position.z / cellSize); // 假设是XZ平面 return new Vector2Int(x, z); } public void Add(GameObject obj) { var index GetCellIndex(obj.transform.position); if (!grid.ContainsKey(index)) grid[index] new ListGameObject(); grid[index].Add(obj); } public ListGameObject GetNearby(Vector3 position, float radius) { var centerIndex GetCellIndex(position); int cellsRadius Mathf.CeilToInt(radius / cellSize); ListGameObject result new ListGameObject(); for (int dx -cellsRadius; dx cellsRadius; dx) { for (int dy -cellsRadius; dy cellsRadius; dy) { var checkIndex new Vector2Int(centerIndex.x dx, centerIndex.y dy); if (grid.TryGetValue(checkIndex, out var cellList)) { // 这里可以加入更精确的距离过滤 result.AddRange(cellList); } } } return result; } }5.3 性能优化编码技巧平方距离优先如前所述在比较距离时永远先使用sqrMagnitude。尽早跳出在复杂判断中先进行廉价的粗略测试如AABB或球体包围盒测试如果粗略测试都不通过就没必要进行更精确但昂贵的测试如SAT或网格碰撞。缓存与复用缓存变换矩阵、法向量、包围盒等不变或变化不频繁的数据。避免在每帧的循环中通过transform.position或renderer.bounds重复获取。分帧处理对于非即时需要的检测如AI的感知系统可以将检测任务分摊到多帧完成避免单帧卡顿。使用合适的物理层即使使用自定义检测也应善用Unity的Layer在检测前通过Layer进行初步筛选减少不必要的对象遍历。6. 实战应用案例与常见问题排查6.1 案例实现一个扇形技能攻击范围检测需求玩家面向一个方向检测前方扇形区域内所有敌人。解决方案距离过滤首先以玩家为中心用球体检测筛选出所有在最大攻击半径R内的敌人。角度过滤对于筛选出的每个敌人计算从玩家到敌人的方向向量dirToEnemy。计算dirToEnemy与玩家前方向量forward的点积得到cosθ。设扇形半角为α例如60度则cosα Mathf.Cos(Mathf.Deg2Rad * α)。如果Vector3.Dot(forward, dirToEnemy.normalized) cosα则敌人在扇形角度内。可选-高度差过滤如果技能对高度有要求可以再检查玩家与敌人的Y坐标差。ListEnemy DetectEnemiesInSector(Vector3 playerPos, Vector3 playerForward, float radius, float angleDeg) { ListEnemy detectedEnemies new ListEnemy(); float cosAngle Mathf.Cos(Mathf.Deg2Rad * angleDeg * 0.5f); // 半角的余弦值 // 假设有一个所有敌人的列表 foreach (var enemy in allEnemies) { Vector3 toEnemy enemy.Position - playerPos; float sqrDist toEnemy.sqrMagnitude; // 1. 距离检测 if (sqrDist radius * radius) continue; // 2. 角度检测 toEnemy.Normalize(); if (Vector3.Dot(playerForward, toEnemy) cosAngle) { detectedEnemies.Add(enemy); } } return detectedEnemies; }6.2 常见问题与排查技巧问题1检测结果飘忽不定时有时无。排查这通常是“隧道效应”或帧同步问题。在高速移动的物体间如果仅在当前帧位置进行检测它们可能直接“穿过”彼此。解决方案使用“连续检测”思想。对于高速运动的物体如子弹检测不应是一个点而应该是一条从上一帧位置到当前帧位置的线段即射线或者是一个扫掠体如胶囊体。可以使用Physics.SphereCast或Physics.CapsuleCast或者自己计算运动轨迹与目标体的相交。问题2自定义检测与物理引擎检测结果不一致。排查首先确认比较的基准是否一致。物理引擎的Collider形状如MeshCollider的凸包近似可能与你用于自定义检测的几何体如一个简化的球体不同。其次检查你的检测代码是否在世界空间进行计算。物体的Transform位置、旋转和缩放会影响其实际几何形状确保你的计算已经应用了这些变换。问题3性能随着对象数量增加急剧下降。排查你很可能在用O(N²)的双重循环进行两两检测。解决方案立即引入空间分割数据结构如四叉树、八叉树或网格。即使是一个简单的均匀网格也能将性能提升一个数量级。同时回顾“性能优化编码技巧”部分。问题4判断点在多边形内即使是凸多边形算法在边界情况出错。排查经典的“射线法”或“环绕数法”在点位于多边形顶点或边上时可能会因浮点数精度问题产生歧义。解决方案使用耐受性epsilon进行比较。例如判断点积结果是否大于一个极小的负数如-1e-6而不是判断是否大于0。或者采用更稳健的算法如将边视为包含其起点但不包含终点的半开区间。问题5SAT算法对于3D物体实现起来非常复杂且容易出错。实操心得在真实的3D游戏项目中除非是研究性质或对碰撞有极其特殊、物理引擎无法满足的需求如需要获取精确的接触流形否则不建议从头实现完整的3D SAT。更务实的做法是使用多个简单碰撞体球、盒、胶囊组合Compound Colliders来近似复杂形状。使用物理引擎的Physics.ComputePenetration方法来获取穿透深度和方向这比自己实现SAT要可靠得多。考虑使用专门的物理中间件但这对大多数独立开发者或中小项目来说可能过重。掌握几何位置关系的判断是解锁高级游戏玩法、优化性能、实现特定艺术效果的关键。它让你不再受限于物理引擎的黑盒能够精准地控制游戏世界中的每一次交互。从理解点积、叉积开始到实现球体、AABB的检测再到理解SAT这样的高级算法最后学会用空间分割来管理大规模检测这是一个循序渐进的过程。我个人的经验是在项目中先从最简单的需求开始手动实现体会其原理和瓶颈然后再决定是优化自己的代码还是回归物理引擎抑或是寻找更高级的解决方案。这种底层能力的积累会让你在遇到任何古怪的碰撞检测需求时都能心中有数手中有策。
)
