insert_fixup必须调用，因为insert仅按BST规则插入并涂红，可能违反“红-红不相邻”规则；需自底向上旋转+变色修复，否则树性质崩溃。
红黑树插入后为什么必须调用 insert_fixup
因为 insert 本身只按二叉搜索树规则把节点加到叶子位置，新节点默认涂成红色，但可能直接违反红黑树的「红-红不相邻」规则（即父节点也是红色）。这时候必须从新节点向上追溯、旋转+ recolor，直到整棵树恢复性质。漏掉 insert_fixup 就等于只插了半个树——看着像红黑树，实际查起来会漏节点或崩高。
insert_fixup 的三种 case 怎么区分和处理
核心是看叔节点（uncle）颜色和当前节点在父节点中的左右位置。所有修复都围绕「把红色冲突往上推」或「局部旋转变色收口」展开：
- Case 1：叔节点是红色 → 父和叔全变黑，祖父变红；然后把当前节点指针跳到祖父，继续向上检查
- Case 2：叔节点是黑色，且当前节点是父节点的右孩子，父节点是祖父的左孩子 → 先对父节点左旋，把结构转成 Case 3
- Case 3：叔节点是黑色，且当前节点是父节点的左孩子，父节点是祖父的左孩子 → 父变黑、祖父变红，再对祖父右旋
注意：Case 2 和 Case 3 是镜像关系，右子树方向要交换左右旋和判断条件。写错方向会导致旋转后子树断连。
Python 实现中哪些细节最容易导致指针错乱
红黑树依赖精确的父子指针维护，Python 里尤其容易出问题：
立即学习“Python免费学习笔记（深入）”；
-
node.parent必须在每次rotate后显式更新，比如左旋后原node成了新根的左子，它的parent要设为新根，而新根的left指向它 —— 少一行赋值就悬空 - 插入时若树为空，新节点必须设为根且
color = BLACK，否则违反「根必黑」规则 - 所有旋转函数（
rotate_left、rotate_right）都要返回新子树根，调用处必须重新赋值给parent.left或parent.right，不能只改内部引用 - 判断
node is self.nil而不是node is None，因为哨兵节点self.nil是统一的黑色叶子，参与颜色比较和边界判断
要不要自己手写红黑树？
绝大多数业务场景不需要。Python 标准库没有红黑树，但 sortedcontainers 包的 SortedDict 和 SortedSet 底层是 AVL 变种，接口稳定、性能接近；如果硬要 log(n) 有序操作又不想引入第三方，bisect + list 在小数据量下更简单可靠。真要手写，重点不是插完就完，而是写完立刻用 check_red_black_properties 验证五条性质 —— 尤其是「任意路径黑节点数相等」这条，靠肉眼根本看不出错在哪一层。
