Go rtreego 包围矩形相交为何不等于真实几何相交

Go 使用 github.com/dhconnelly/rtreego 查询空间对象时，SearchIntersect 判断的是对象返回的 Bounds() 包围矩形，而不是圆形、折线或多边形内部是否真的相交。因此，两个圆的包围矩形重叠，可能只说明它们是候选对象；最终结果还要调用业务对象自己的精确几何判断。

官方文档：https://pkg.go.dev/github.com/dhconnelly/rtreego

把 rtreego 当成“候选召回索引”最稳妥：先用包围矩形缩小搜索范围，再用真实形状的规则过滤候选。不要把 SearchIntersect 的返回数量直接当成真实相交数量。

• 索引层：Spatial 只需要提供 Bounds，树据此组织空间索引。
• 候选层：SearchIntersect 返回与查询 Rect 有非零相交体积的对象。
• 业务层：圆形、线段或多边形的精确相交，要由对象自己的方法完成。

为什么包围矩形相交会带来额外候选

rtreego 的 R-tree 负责高效存放和查询空间对象。对象实现 Spatial 后，只需返回一个 *Rect 作为索引边界。这个边界把真实形状包住，查询时树比较的是矩形之间的空间关系。

例如一个圆的包围矩形覆盖了圆外的四个角。另一个圆或查询矩形只碰到这些角时，矩形层面可能已经相交，但圆周和圆内部并没有发生相交。这个“多召回”不是索引失效，而是包围盒换取查询效率时留下的候选范围。

还要注意文档里的“non-zero intersection volume”。在二维场景中，可以把它理解为有正面积的矩形重叠；只有一条边或一个点接触，并不等于满足这个条件。至于业务上的“相交”是否包含相切，则应由你的精确几何规则单独决定。

让对象同时保存 Bounds 与真实几何

索引边界和真实几何不是二选一。推荐让对象保存圆心、半径等业务字段，用 Bounds 生成稳定的包围矩形，再额外提供 Intersects 方法。下面的示例只演示圆形，真实项目可以把同一职责替换成线段或多边形算法。

package spatial

import (
    "math"

    "github.com/dhconnelly/rtreego" // 只用于索引包围矩形
)

type Circle struct {
    ID string
    X  float64
    Y  float64
    R  float64
}

func (c *Circle) Bounds() *rtreego.Rect {
    // 包围矩形覆盖圆的外接正方形，供 R-tree 做候选召回
    rect, _ := rtreego.NewRect(
        rtreego.Point{c.X - c.R, c.Y - c.R},
        []float64{2 * c.R, 2 * c.R},
    )
    return &rect
}

func (c *Circle) Intersects(other *Circle) bool {
    // 比较圆心距离平方，避免不必要的开平方操作
    dx := c.X - other.X
    dy := c.Y - other.Y
    distanceSquared := dx*dx + dy*dy
    radiusSum := c.R + other.R
    // 相切也算相交；若业务要求正面积相交，把 

这里的 Bounds 只负责让对象满足 Spatial 接口，Intersects 才表达圆形的业务语义。若半径可能为零或为负，应在进入索引前按业务规则拒绝或规范化；不要让无效尺寸悄悄改变候选范围。

先 SearchIntersect，再做真实几何过滤

查询对象也先转换成包围矩形。树返回的结果是候选集合，随后用类型断言取回 *Circle，调用 Intersects 保留真实相交对象。这样索引和几何算法的职责清晰，后续把圆形改成多边形时也不会改动树的使用方式。

func FindIntersectingCircles(tree *rtreego.Rtree, query *Circle) []*Circle {
    // 第一次筛选只使用包围矩形，结果可能包含几何误报
    candidates := tree.SearchIntersect(*query.Bounds())
    exact := make([]*Circle, 0, len(candidates))

    for _, item := range candidates {
        circle, ok := item.(*Circle)
        if !ok {
            // 树里若混入其他 Spatial 实现，不把它误当成圆处理
            continue
        }
        if circle.Intersects(query) {
            exact = append(exact, circle)
        }
    }
    return exact
}

这段代码没有把候选数当成最终结果数。若查询边界与对象边界只接触，是否进入候选由 rtreego 的矩形体积规则决定；进入候选后，是否把圆相切算作相交，则由示例中的 决定。两层边界不要混为一个判断。

生产代码里的边界与更新规则

尤其不要只修改对象里的圆心或矩形指针。rtreego 文档明确提醒，改变对象返回的空间位置而不删除并重新插入会破坏树。对象更新、索引边界和精确几何字段应当作为一个变更单元处理。

常见问题

SearchIntersect 能直接判断多边形相交吗？

不能把它当作通用多边形拓扑判断。它使用 Spatial 对象提供的 Rect 做候选查询；多边形内部、边界相交和包含关系需要另行实现或使用专门几何库。

为什么不把 Bounds 做得更小来减少误报？

Bounds 必须覆盖真实对象，否则会漏掉本来应该返回的候选。正确做法是保持可靠的包围边界，再在候选集上执行精确判断。

圆相切是否应该算相交？

这是业务定义。示例使用小于等于，把相切算作相交；若只接受正面积重叠，则改用严格小于，并在测试和接口文档中固定这一约定。

资料：rtreego 官方包文档 https://pkg.go.dev/github.com/dhconnelly/rtreego。