红黑树节点必须用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 就会崩溃。所以安全写法是：
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 << "delete node " << key << "\n"; }能立刻暴露重复释放。
红黑树的指针操作本身不难，难的是每一步都要问自己：这个指针此刻一定非空吗？它指向的内存还活着吗？上层有没有还在用它？漏掉一次检查，core dump 就在运行时等着。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
