如何检查节点到其后代叶子的所有路径的黑色高度？

Given a 红黑树，我需要写一个高效算法检查对于每个节点，从该节点到后代叶子的所有路径是否包含相同数量的黑色节点，即如果属性为 true 或 false，则算法应返回布尔值。

它将返回 RB 树的黑色高度。如果高度为0，则该树是无效的红黑树。

int BlackHeight(NodePtr root)
{
    if (root == NULL) 
        return 1;

    int leftBlackHeight = BlackHeight(root->left);
    if (leftBlackHeight == 0)
        return leftBlackHeight;

    int rightBlackHeight = BlackHeight(root->right);
    if (rightBlackHeight == 0)
        return rightBlackHeight;

    if (leftBlackHeight != rightBlackHeight)
        return 0;
    else
        return leftBlackHeight + root->IsBlack() ? 1 : 0;
}