c++ - 关于在 C++ 中比较两个与指针相关的整数值的意外结果

Question

我有一个包含三个元素 {1、2、3} 的 BST。它的结构看起来像

  2
 / \
1   3

现在我尝试使用下面定义的 BS​​THeight() 计算每个节点的高度，并且在计算“2”的高度时遇到了一些问题，该值应该为 1，因为“1”和“3”的高度被定义为0. 我的问题是，直接使用'2 的两个孩子的高度（见下面突出显示的第 2 部分），它的高度总是 0。但是，如果我使用两个临时整数变量，它的值是正确的（参见下面突出显示的第 1 部分）。在功能方面，我看不出这两种方法有什么区别。谁能帮忙解释一下为什么？

void BSTHeight(bst_node *p_node)
{
    if (!p_node) 
        return;

    if (!p_node->p_lchild && !p_node->p_rchild) {
        p_node->height = 0;
    } else if (p_node->p_lchild && p_node->p_rchild) {
        BSTHeight(p_node->p_lchild);
        BSTHeight(p_node->p_rchild);
#if 0   // part 1
        int lchild_height = p_node->p_lchild->height;
        int rchild_height = p_node->p_rchild->height;
        p_node->height = 1 + ((lchild_height > rchild_height) ? lchild_height : rchild_height);
#else   // part 2
        p_node->height = 1 + ((p_node->p_lchild->height) > (p_node->p_rchild->height)) ? (p_node->p_lchild->height) : (p_node->p_rchild->height);
#endif
    } else if (!p_node->p_lchild) {
        BSTHeight(p_node->p_rchild);
        p_node->height = 1 + p_node->p_rchild->height;
    } else {
        BSTHeight(p_node->p_lchild);
        p_node->height = 1 + p_node->p_lchild->height;
    }
}

Answer 1

问题在于运算符优先级。加法的绑定比三元运算符强，因此您必须用括号将三元运算符 (?:) 括起来。

下面是修正版。请注意，您使用的所有括号都是多余的，我已将其删除。我添加了唯一需要的对：

1 + (p_node->p_lchild->height > p_node->p_rchild->height ?
     p_node->p_lchild->height : p_node->p_rchild->height);

更好的是使用std::max(from <algorithm>) 代替：

1 + std::max(p_node->p_lchild->height, p_node->p_rchild->height)