（1）每个节点是红色或者黑色的。
（2）根节点是黑色的。
（3）所有叶子结点（NIL）都是黑色的。
（4）如果一个节点是红色，则它的两个子节点都是黑色的。
（5）对每个节点，从该节点到其所有后代叶节点的简单路径上，均包含相同数目的黑色节点。
从根到叶节点的最长的可能路径不多于最短的可能路径的两倍。
1、被插入的节点是根节点，直接把此节点设为黑色。
2、被插入的节点的父节点是黑色，当前节点设为红色，然后什么也不需要做。
3、被插入的节点的父节点是红色
（1）当前节点的叔节点也是红色
① 将父节点设为黑色
② 将叔节点设为黑色
③ 将祖父节点设为红色
④ 将祖父节点设为当前节点（红色节点）；之后继续对当前节点进行操作。
（2）当前节点的叔节点是黑色，且当前节点是其父节点的右孩子
① 将父节点作为新的当前节点
② 以新的当前节点为支点进行左旋
（3）当前节点的叔节点是黑色，且当前节点是其父节点的左孩子
① 将父节点设为黑色
② 将祖父节点设为红色
③ 以祖父节点为支点进行右旋
红黑树的删除操作是在二叉搜索树的删除操作后，再去维护红黑树的性质。首先，如果我们删除的是红色点，那么对红黑树的性质没有影响，不需要为了维护红黑树的性质而做额外的操作；如果删除的是一个黑色点，那么我们一定会提上来一个点（类比二叉排序树的节点删除操作），那么我们就把黑色点累加到提上来的点上，也就是说这个点上包含两个颜色（红+黑 或者 黑+黑），这样的话，我们虽然删掉了一个黑色点，但是它的颜色被留下来了，此时仍然可以满足任意一条路径上所有的黑色点的数目都是一样的。
1、x指向一个“红 + 黑”节点，将x设为一个黑节点即可
2、x指向根，将x设为一个黑节点即可
3.1、x的兄弟节点是红色
（1）将x的兄弟节点设为黑色
（2）将x的父节点设为红色
（3）对x的父节点进行左旋
（4）左旋后，重新设置x的兄弟节点。
（注：3.1步做完之后当前节点x的兄弟节点一定是黑色，即3.1步执行结束后转换为3.2、3.3、3.4）
3.2、x的兄弟节点是黑色，x的兄弟节点的两个孩子都是黑色
（1）将x的兄弟节点设为红色
（2）设置x的父节点为新的x节点（将当前节点“黑+黑”的其中一个黑，赋给父节点）
注：3.2步完成之后的效果是将处理的节点往上移动一层
3.3、x的兄弟节点是黑色，x的兄弟节点的左孩子是红色，右孩子是黑色
（1）将x兄弟节点的左孩子设为黑色
（2）将x兄弟节点设为红色
（3）对x的兄弟节点进行右旋
（4）右旋后，重新设置x的兄弟节点
注：3.3步的作用是将情况3.3转换成情况3.4
3.4、x的兄弟节点是黑色，x的兄弟节点的右孩子是红色的，x的兄弟节点的左孩子任意颜色
（1）将x父节点颜色赋值给x的兄弟节点
（2）将x父节点设置为黑色
（3）将x兄弟节点的右子节点设为黑色
（4）对x的父节点进行左旋
注：执行完3.4就可解决红黑树的删除操作导致的性质不满足问题
红黑树的代码实现可移步至 红黑树的实现（C++）_青衫客36的博客-CSDN博客
