泛型比较函数必须满足严格弱序，否则insert会陷入无限递归；需用cmp.compare处理基础类型，自定义类型须确保cmp(a,b)
泛型比较函数必须满足严格弱序，否则 Insert 会陷入无限递归
Go 泛型树结构依赖用户传入的比较函数（如 func(a, b T) int），返回负数、0、正数分别表示小于、等于、大于。但很多人误以为只要 a == b 时返回 0 就够了——这是错的。若比较函数违反严格弱序（比如对浮点数用 == 判等、或对 NaN 返回非零值），Insert 在查找插入位置时可能反复在左右子树间跳转，最终栈溢出或死循环。
实操建议：
- 始终用
cmp.Compare（Go 1.21+）处理基础类型，它已实现符合要求的弱序逻辑 - 自定义类型务必保证：若
cmp(a,b) 且 <code>cmp(b,c) ，则 <code>cmp(a,c) ；且 <code>cmp(a,a)必须为 0 - 测试时用含重复值、NaN、指针地址混排的数据集验证比较结果一致性
AVLTree[T] 的旋转操作必须同步更新高度字段，否则 BalanceFactor 计算失准
AVL 树靠平衡因子（左子树高度 - 右子树高度）触发旋转。如果只改指针不更新 height 字段，后续所有 BalanceFactor 都是错的，导致该平衡时不平衡、不该平衡时瞎平衡，树迅速退化成链表。
实操建议：
- 每次旋转后立即重算当前节点及受影响子节点的
height：n.height = 1 + max(n.left.height, n.right.height) - 把高度更新封装进独立函数（如
updateHeight(n *Node[T])），避免在左旋/右旋代码里重复写三行 - 在
Insert和Delete的递归回溯路径上逐层调用updateHeight，不能只更新被旋转节点
泛型约束 comparable 不够用，需要显式要求 Ordered 接口
声明 type AVLTree[T comparable] struct 看似安全，但 comparable 只保证能用 == 判等，不提供大小关系。而 AVL 树必须支持“小于”“大于”语义，否则无法构建搜索逻辑。Go 标准库的 constraints.Ordered（或手动定义 type Ordered interface{~int|~int64|...}）才是正确起点。
实操建议：
- 用
type AVLTree[T constraints.Ordered] struct替代comparable，避免编译通过但运行时报错 - 若需支持自定义类型（如
type Timestamp time.Time），必须为其显式实现Compare方法，并让泛型参数约束包含该方法签名 - 不要试图在运行时用反射补足比较能力——性能损失大，且破坏泛型零成本抽象原则
删除节点后双旋转的触发条件比插入更复杂，必须检查祖父节点的平衡因子
插入时只需从插入点向上检查首个失衡节点并单旋/双旋即可。但删除可能导致更高层节点失衡，且同一路径上可能连续多个节点需要调整。常见错误是只修了父节点，漏掉祖父节点，结果树高差扩大，后续操作频繁触发修正。
实操建议：
- 删除后回溯路径上，对每个访问过的节点都计算
BalanceFactor，而非仅检查直接父节点 - 当发现某节点
bf == 2 || bf == -2，再根据其子节点的bf值决定单旋还是双旋（例如：左子节点bf == -1→ 先左旋再右旋） - 旋转后仍要继续向上回溯，因为一次旋转最多修复一层，而删除可能影响多层高度
高度更新和平衡检查必须贯穿整个回溯链，少一步，树就离平衡越来越远。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
