红黑树的五条性质必须在插入/删除的每步旋转与重染色中显式维护，漏掉任一约束都会导致退化为普通BST；需用enum class定义颜色、严格按4种case修复、更新parent指针，并优先使用STL实现。
红黑树的核心约束必须硬编码进插入/删除逻辑
红黑树不是靠“标记颜色”就能自动平衡的数据结构，它的五条性质（根黑、叶黑、红节点子必黑、路径黑高相等、红节点不能连续）必须在 insert 和 erase 的每一步旋转+重染色中显式维护。漏掉任意一条（比如只改颜色不旋转，或旋转后忘调 fix_insert），树立刻退化为普通二叉搜索树，后续查找可能退化到 O(n)。
常见错误是把颜色当装饰——比如插入后只设新节点为红，却不检查父节点是否也为红；或者旋转后没同步更新祖父/叔父节点的颜色和指针关系。
- 每次插入新节点后，必须从该节点向上回溯修复，直到根或满足红黑性质为止
- 旋转操作（
rotate_left/rotate_right）本身不改变颜色，但会改变父子层级，必须紧接着做颜色调整 - 标准实现中，空节点（
nullptr）视为黑节点，所有叶子节点（值节点的左右空指针）都隐式满足“黑”性质，无需额外分配内存
用 enum class 定义颜色比 bool 更安全
用 enum class Color { RED, BLACK }; 而不是 bool color;，能杜绝误赋值（如 node->color = 2;）、避免与整数混用，且调试时打印更直观。更重要的是，编译器能帮你捕获未处理的枚举分支——比如在 fix_insert 的 switch 中漏掉 Color::RED 分支，GCC/Clang 会警告。
别省这点事：用 bool 看似少打几个字母，但后期排查颜色错乱问题时，你会花十倍时间在日志里猜 true 到底代表红还是黑。
立即学习“C++免费学习笔记（深入）”；
- 节点结构体中声明为
Color color = Color::RED;（新节点默认红） - 所有颜色判断写成
if (node->color == Color::RED)，禁止用if (node->color) - 不要重载
operator bool()或隐式转换，破坏类型安全
insert 后的 fix_insert 有 4 种情况，但实际只需处理 2 类对称结构
fix_insert 的标准流程分“父为黑”（直接结束）和“父为红”（需修复）。后者又按叔父颜色和节点位置拆出 4 种 case，但左右对称 case 可复用同一套逻辑——只需写好 rotate_left 和 rotate_right，再用 if 判断当前是“左左”“左右”“右右”“右左”，对应调用即可。
容易踩的坑是 case 混淆：比如把“父左、自己左、叔父黑”（LL）错当成“父左、自己右、叔父黑”（LR），结果旋转方向反了，树直接断链。建议用注释明确标出每个 case 的相对位置：
// Case 1: parent is left child of grandparent, node is left child of parent → rotate_right(grandparent) // Case 2: parent is left child of grandparent, node is right child of parent → rotate_left(parent), then rotate_right(grandparent)
- 所有旋转函数必须更新子节点的
parent指针（如果结构体含 parent 字段） - case 中涉及颜色翻转时，只改祖父和叔父（如果有），父节点一定变黑，新节点一定变红（或保持黑）
- 递归调用
fix_insert时传入祖父节点，不是父节点——因为修复后当前子树根已变
STL 的 std::map 和 std::set 就是红黑树，别重复造轮子
除非你在写教学代码、嵌入式受限环境（无 STL）、或需要定制内存分配器/比较逻辑，否则直接用 std::map<int std::string></int> 或 std::set<mytype></mytype>。它们经过数十年优化，支持异常安全、迭代器失效规则明确、兼容 C++11/14/17 的移动语义。
手写红黑树最常被低估的复杂点是：迭代器遍历（operator++ 需中序后继查找）、erase 的三种节点形态处理（0/1/2 子节点）、以及自定义比较器与 key_compare 的绑定方式。这些在 STL 里已封装妥当，你调 find 就行，不用管它内部怎么找后继。
- 若需观察底层行为，可用 GCC 的
libstdc++源码（bits/stl_tree.h）对照学习 - 调试时打印树结构，别只看值——加个
print_tree函数输出缩进+颜色，比 gdb 单步高效得多 - 真正难的不是旋转，是让 erase 后仍满足黑高守恒：它可能触发长达 O(log n) 层的向上修复，比 insert 更隐蔽
