使用指针将节点插入二叉树

Question

我正在尝试使用以下结构创建将节点插入 BST 的方法：

// node structure
struct Node {
    int val;
    struct Node* left;
    struct Node* right;
};

// binary tree structure
struct BinaryTree {
    struct Node* root;
};

最初我创建了这个方法来向树中添加节点：

// add value to binary tree
void _AddNode(struct Node* node, int val) {
    if (node == NULL)
        *(&node) = CreateNode(val);
    else if (val <= node->val)
        _AddNode(node->left, val);
    else
        _AddNode(node->right, val);
}
void AddNode(struct BinaryTree* tree, int val) {
    _AddNode(tree->root, val);
}

使用此函数构建树，当我尝试遍历、打印、访问树中的数据时，我收到 Segmentation fault: 11 错误。

但是，当我修改函数以传入双指针并有效地执行相同的操作时：

// add value to binary tree
void _AddNode(struct Node** node, int val) {
    if (*node == NULL)
        *node = CreateNode(val);
    else if (val <= (*node)->val)
        _AddNode(&(*node)->left, val);
    else
        _AddNode(&(*node)->right, val);
}
void AddNode(struct BinaryTree* tree, int val) {
    _AddNode(&tree->root, val);
}

为什么后者有效，而前者无效。

Answer 1

但是，当我修改函数以传入一个双指针并有效地做同样的事情时，它起作用了

基本相同的东西，在根本上不同的数据。您最初尝试中的(&node) 为您提供了一个指向局部变量的指针。当您取消引用并分配给结果时，您正在修改局部变量。这样的修改对调用者来说是不可见的。

另一方面，如果你向你的函数传递（比如）一个合适的双指针，比如_AddNode(&(*node)->left, 42)，那么函数参数的值指向同一个东西：调用者的(*node)->left。如果您取消引用该指针并分配给结果，那么自然 对调用者可见。

看来原来的和修改后的功能是一样的

显然，它们在词汇上并不相同。您的意思似乎是它们在您看来是等价的，但由于行为上的差异反驳了这种等价性，因此这两个函数的明显差异实际上产生了不同的语义，这是理所当然的。似乎让你感到困惑的关键是，在 C 中，函数参数总是按值传递，所以每个函数参数都以调用者传递的值开头，但是不是调用者对应参数的别名。指针类型的参数也不例外。