红黑树插入新节点必须先染红，因为仅可能破坏红节点不连续和根为黑两条规则，避免直接染黑导致黑高失衡；旋转是调整父子指针关系的局部操作，变色则是将冲突上推至祖父的轻量重构。
红黑树插入后为什么一定要先染红？
因为染红是破坏最少的操作——它只可能违反「红节点不能连续」和「根必须黑」两条规则，而不会碰触「黑高相等」这条核心约束。如果插完直接染黑，整条路径黑节点数+1，所有祖先到叶子的黑高全乱，修复成本远高于局部调色+旋转。
-
insert()默认把新节点设为RED，这是所有标准实现（如 CPython 的rbtree模拟、sortedcontainers底层）的起点 - 唯一例外是根节点：若树空，插完必须立刻
node.color = BLACK，否则违反性质2 - 常见错误：手写时忘了检查
parent is None就直接染红，导致根为红 → 后续所有平衡逻辑失效
左旋右旋不是“转着玩”，而是重挂子树的指针操作
旋转本质是改变父子关系，不改值、不移动数据，只调整三四个指针。很多人卡在“哪边变父、哪边变子”的直觉上，其实只要盯住旋转轴心（pivot）和它要“让位”的那个子节点就行。
- 左旋
left_rotate(node)：让node.right上位成新父，node变成它的左孩子，原node.right.left则“接”到node.right原来的位置 - 右旋
right_rotate(node)：对称操作，node.left上位，node变右孩子，原node.left.right接过去 - 容易踩的坑：
node.right为空时调用left_rotate→AttributeError；没同步更新父指针（比如旋转后忘记设new_parent.parent = old_parent.parent）→ 树断裂
变色（color flip）不是美术作业，是分裂式重构的信号
当当前节点、父节点、叔叔节点全为红时，color_flip 不是妥协，而是把局部冲突“上推”：把父和叔变黑（消除连续红），爷爷变红（把问题移交上层）。这相当于一次轻量级的节点分裂，代价远低于旋转。
- 触发条件必须严格：当前节点红 + 父红 + 叔叔存在且红 → 缺一不可
- 变色后要递归检查爷爷节点，因为它变红后可能又和它的父节点构成连续红（即向上冒泡）
- 典型误判：把
None当作黑色叶子就认为“叔叔不存在”，但实际应判断uncle is not None and uncle.color == RED；Python 里uncle is None就是黑（因 Nil 视为黑），不能直接进变色分支
Python 实现中最容易漏掉的底层细节
Python 没有指针，所有“旋转”“变色”都依赖对象引用和属性赋值。但很多人忽略 None 节点的统一建模，导致边界 case 崩溃。
立即学习“Python免费学习笔记（深入）”；
- 必须显式定义
NIL = Node(color=BLACK)并让所有空指针指向它，而不是用None—— 否则nil.parent或nil.color会报错 -
__eq__和__hash__不影响红黑逻辑，但调试时打印树结构会崩，建议加基础实现 - 递归修复函数（如
fix_insert）必须处理current is NIL的终止条件，否则无限递归
