双红冲突仅当新节点与父节点同为红色时触发修复，判定条件为node≠root且node→parent→color==red；变色仅用于叔节点为红的情况，否则必须旋转；旋转须严格按指针顺序更新，漏掉父指针会导致断链。
红黑树插入后双红冲突的判定条件
双红冲突只发生在新插入节点与其父节点同时为红色时，且祖父节点必然存在（否则父节点不可能是红），此时必须修复。关键不是“有没有红”，而是“父子同红”——node->color == RED && node->parent->color == RED。如果父节点是黑，哪怕叔节点是红，也无需触发修复；如果父节点为空（即根），更不会出现双红（根必须为黑）。所以实际检查入口应严格限定在 insert_fixup 的递归/循环起始点，且仅当 node != root && node->parent->color == RED 才进入修复分支。
变色与旋转的分工边界在哪
变色不改变结构，只调整颜色分布；旋转才真正重排指针。是否变色，取决于叔节点状态：若 uncle != nullptr && uncle->color == RED，则只需变色（父、叔变黑，祖父变红），然后把修复焦点上移到祖父——这是唯一允许“仅变色不旋转”的情况。一旦 uncle == nullptr || uncle->color == BLACK，就必须旋转：此时变色无法解决路径黑高失衡，必须靠旋转把红节点“错开”。常见错误是漏判 uncle == nullptr（即叔不存在），误以为它“默认黑”，直接跳进旋转逻辑却没提前变色，导致后续旋转后局部黑高仍不一致。
rotate_left 与 rotate_right 的指针更新顺序
旋转本质是三节点关系重定向，顺序错一步就断链。以 rotate_left(x) 为例，必须严格按以下顺序操作：
- 先保存
x->right为y - 将
y->left挂到x->right（即x->right = y->left） - 若
y->left != nullptr，则更新其父指针指向x - 将
y->parent设为x->parent - 再根据
x是其父的左/右子更新y在祖父处的位置 - 最后设
y->left = x，x->parent = y
漏掉任一父指针更新（尤其是 y->left->parent 或 y->parent），都会让树退化为链表或引发空指针解引用。调试时可加断言：assert(y != nullptr && x != nullptr)，但不能替代顺序校验。
修复逻辑中祖父节点的角色切换陷阱
在变色+旋转组合中，祖父节点可能从“被调整对象”变成“新插入点”。例如：当父为祖父左子、当前节点为父右子时，需先对父左旋，使结构转为“当前节点与父同侧”，再对祖父右旋。此时旋转后，原祖父成为新子树的右子，而原当前节点成为新的子树根——但它的颜色仍是红，且其新父（原父）也是红，所以必须紧接着执行变色（新父和新叔变黑，新祖父即原祖父变红）。容易忽略的是：旋转后必须重新获取当前节点的祖父和叔节点指针，不能复用旋转前缓存的地址，否则 uncle 可能指向已失效内存。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
