定义 每个结点或者为黑色或者为红色根结点为黑色每个叶结点(实际上就是NULL指针)都是黑色的如果一个结点是红色的,那么它的两个子节点都是黑色的(也就是说,不能有两个相邻的红色结点)对于每个结点,从该结点到其所有子孙叶结点的路径中所包含的黑色结点数量必须相同