红黑树节点必须用node*而非node，因动态结构需堆分配与可变指针跳转；值类型会导致拷贝失效、重复释放及递归定义编译错误，标准结构含left/right/parent指针，所有操作依赖其赋值与解引用。

红黑树节点结构里为什么必须用 Node* 而不是 Node？

因为红黑树是动态结构，节点必须在堆上分配，且父子关系需要可变指针跳转。Node 值类型会导致拷贝时指针失效、内存重复释放，甚至递归定义编译失败（struct Node { Node left, right; } 不合法）。所以标准写法是：

struct Node {
    int key;
    bool color; // true for red, false for black
    Node* left;
    Node* right;
    Node* parent;
};

所有子树连接、旋转、插入后重着色，都依赖这些 Node* 成员的赋值和解引用。

插入新节点时，如何安全修改 parent 和 grandparent 指针？

关键不是“能不能改”，而是“改之前是否为空”。未初始化的野指针或悬空指针一解引用就崩。实操中必须： - 插入前将新节点的 left、right、parent 全部初始化为 nullptr - 在找到插入位置后，先绑定 parent，再让父节点指向它（注意区分左右子） - 向上找 grandparent 时，必须逐层判空：

if (node->parent && node->parent->parent) {
    Node* grand = node->parent->parent;
}

漏掉任一判空，Segmentation fault 就在下一行。

rotate_left 里哪些指针必须手动置 nullptr？

左旋操作中，原根节点 x 变成左子，它的右子 x->right（即新根 y）会把左子让给 x，但这个交接过程极易漏清指针。常见错误是忘记设 x->right = y->left 之后的 y->left->parent = x，或者旋转后没更新 y->parent。更隐蔽的坑是：如果 y->left 原本为空，y->left->parent = x 就会崩溃。所以安全写法是：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

void rotate_left(Node*& root, Node* x) {
    Node* y = x->right;
    x->right = y->left;
    if (y->left != nullptr) y->left->parent = x;
    y->parent = x->parent;
    if (x->parent == nullptr) {
        root = y;
    } else if (x == x->parent->left) {
        x->parent->left = y;
    } else {
        x->parent->right = y;
    }
    y->left = x;
    x->parent = y;
}

注意 root 用引用传参，否则改不了树根；所有可能为空的指针解引用前都做了检查。

删除节点后，为什么 fixup 过程里容易 double-free？

红黑树删除比插入复杂得多，尤其当被删节点只有单子时，常会用「后继节点」替换其位置，此时若直接 delete 原节点，而后继节点又持有对它的引用（比如 parent 指向它），后续遍历或修复就可能访问已释放内存。真正安全的做法是： - 把待删节点的键/值复制到后继，仅删除后继（叶子或单子） - 或统一用「标记删除 + 延迟回收」，把 Node* 放进对象池，不调 delete - 所有 fixup 中的指针移动（如 w = x->parent->right）必须紧接判空，且修复结束前绝不 delete 任何参与旋转的节点 - 调试时加个析构日志：

~Node() { std::cout 能立刻暴露重复释放。<p>红黑树的指针操作本身不难，难的是每一步都要问自己：这个指针此刻一定非空吗？它指向的内存还活着吗？上层有没有还在用它？漏掉一次检查，core dump 就在运行时等着。</p>

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！