1、每个节点要么红色，要么是黑色；2、根节点一定是黑色的；3、每个空叶子节点必须是黑色的；4、如果一个节点是红色的，那么它的子节点必须是黑色的；5、从一个节点到该节点的子孙节点的所有路径包含相同个数的黑色节点；
参考 https://www.jianshu.com/p/23b84ba9a498