1.每个节点不是红的就是黑色 2.根节点永远是黑色 3.每个叶子节点都有null节点,颜色都是黑色的 4.如果一个节点是红色的,那么他的子节点必须是黑色的 5.从一个节点到该节点的所有子节点上包含相同的黑色节点