红黑树插入后颜色修正的核心逻辑在insert_fixup函数中，它仅处理父节点为红色的情形，从新节点向上递归或循环调整以恢复“父子不双红”和“路径黑高一致”性质。
红黑树插入后颜色修正的核心逻辑在哪
颜色修正不是独立步骤，而是插入新节点后触发的自平衡修复流程，核心在 insert_fixup 函数里——它只处理「父节点为红色」这一违反性质的情形，其余情况（如根变红、叔节点为黑）都靠它递归或循环调整。
为什么必须从新节点开始向上修正，而不是直接调父节点
因为红黑树的性质约束是局部的：新节点插入后唯一可能被破坏的是「父子不双红」和「路径黑高一致」，而破坏点必然出现在从新节点到根的某段路径上。从新节点出发，每次修正都确保当前子树满足红黑性质，再把问题上推（或旋转后就地解决），避免遗漏中间状态。
-
new_node默认涂红，所以仅当其parent也是红色时才触发修正 - 若
parent是黑色，插入即结束，无需任何操作 - 修正过程中会反复检查
uncle（叔节点），它的颜色决定走「变色」还是「旋转+变色」分支
四种插入修正 case 的实际判断顺序和易错点
标准教材常把 case 分成 4 种，但真正编码时关键不是编号，而是对 parent 是左/右孩子、uncle 是否存在且为红、以及 new_node 相对于 parent 的方位这三者的组合判断。最容易错的是忽略指针空检查和 case 之间的边界条件。
- 先统一用
if (uncle != nullptr && uncle->color == RED)处理双红叔节点：此时只需变色，然后把current上移到grandparent继续检查 - 否则进入旋转分支：
if (parent == parent->parent->left)判断祖父的左右子关系，再嵌套判断new_node == parent->right决定是否先做一次内旋 - 所有旋转后必须立即重设根节点颜色为黑：
root->color = BLACK，否则后续查找会因根非黑而逻辑错乱 - 不要在旋转前修改节点颜色——旋转只是改变拓扑，颜色修正必须在结构稳定后进行
为什么 insert_fixup 通常用 while 循环而非递归实现
虽然逻辑天然递归（问题上推至祖父），但 C++ 实际工程中普遍用 while (current != root && current->parent->color == RED) 循环，原因很实在：避免栈溢出风险，且红黑树高度为 O(log n)，循环次数可控；同时方便在每次迭代中统一更新 parent、grandparent、uncle 指针，减少重复计算。
一个典型漏掉的细节是：旋转后，原 new_node 可能已不再是当前处理节点，必须重新赋值 current = parent 或 current = grandparent，否则下轮循环会操作错误节点。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
