c-指向二进制搜索树节点的双指针



对你们中的一些人来说,这可能是一个愚蠢的问题,我知道我经常把事情搞混,但我需要理解代码,这样我就可以不再纠缠于它,而是专注于我为什么需要使用它的真正问题。

因此,在代码中,我看到了几个这样的任务:

struct bst_node** node = root;
node = &(*node)->left;
node = &(*node)->right;
is there an invisible parenthesis here?
node = &((*node)->right);

这个例子取自literateprograms.org.

所以在我看来&(*node)是不必要的,我也可以只写node->left,但代码似乎在我无法理解的地方工作,我想知道这是否是因为我误解了这些行发生的事情。特别是,在代码中的一个地方,它通过不断地将"已删除"的数据移动到树的底部来删除节点,从而在不必"破坏东西"的情况下安全地删除节点,我迷失了方向,因为我不知道

old_node = *node;
if ((*node)->left == NULL) {
*node = (*node)->right;
free_node(old_node);
else if ((*node)->right == NULL) {
*node = (*node)->left;
free_node(old_node);
} else {
struct bst_node **pred = &(*node)->left;
while ((*pred)->right != NULL) {
pred = &(*pred)->right;
}
psudo-code: swap values of *pred and *node when the 
bottom-right of the left tree of old_node has been found.
recursive call with pred;
}

可以保持树结构的完整性。我不明白这是如何确保结构完整的,我希望知道发生了什么的人能提供一些帮助。我将节点解释为堆栈上的局部变量,在函数调用时创建。由于它是一个双指针,它指向堆栈中的一个位置(我认为是这样,因为他们在函数调用之前做了&(*node)),它自己的堆栈或之前的函数的位置,然后指向堆上的所述节点。

在上面的示例代码中,我认为它应该向左或向右切换,因为其中一个为NULL,然后切换不为NULL的那个(假设另一个不是NULL?)正如我所说,我不确定这将如何工作。我的问题主要涉及这样一个事实:;(*节点)<=>节点,但我想知道是否不是这样。

node = &(*node)->right;

这里有看不见的括号吗?

node = &((*node)->right);

是。它正在获取*noderight成员的地址。CCD_ 5优先于CCD_ 6;请参见C++运算符优先级(该列表中的->为2,&为3)(它与C的一般优先级相同)。

所以对我来说;(*node)是不必要的,我还不如写node->left,

您的前提已关闭。没有表达式&(*node),如上所述,&适用于整个(*node)->left,而不是(*node)

在那个代码中,双指针就是一个指向指针的指针。正如这样:

int x = 0;
int *xptr = &x;
*xptr = 5;
assert(x == 5);

这是一样的,它改变了指针x:的值

int someint;
int *x = &someint;
int **xptr = &x; 
*xptr = NULL;
assert(x == NULL);

在你发布的代码片段中,为*node分配一个指针会改变node所指向的指针的值

typedef struct bst_node_ {
struct bst_node_ *left;
struct bst_node_ *right;
} bst_node;
bst_node * construct_node () {
return a pointer to a new bst_node;
}
void create_node (bst_node ** destination_ptr) {
*destination_ptr = construct_node();
}
void somewhere () {
bst_node *n = construct_node();
create_node(&n->left);  // after this, n->left points to a new node
create_node(&n->right); // after this, n->right points to a new node
}

再次注意,由于优先级规则,&n->left&(n->left)相同。我希望这能有所帮助。

在C++中,您可以通过引用将参数传递给函数,这本质上与传递指针相同,只是在语法上会导致代码更容易阅读。

这是有用的

&(*node)->left<=>&((*node)->left)

此代码编辑的变量为*node。我需要这个代码的上下文来提供更多信息

最新更新