c++ - 通过引用传递表达式与通过引用传递变量

Question

在下面显示的代码中，func(a3) 进入 if 条件并产生输出“hi”。但是，当函数的参数是表达式时，会观察到不同的行为。

例如，func(a1->right) 不进入 if 条件。

#include <iostream>
using namespace std;
class Node {
   public:
    int data;
    Node *left, *right, *parent;

   public:
    Node(int data) : data(data) {
        left = nullptr;
        right = nullptr;
        parent = nullptr;
    }
    ~Node() {}
};
void func(Node*& node) {
    Node* p = node->parent;
    p->right = node->left;
    if (node->left) {
        cout << "hi\n";
        node->left->parent = p;
    }
    node->parent = p->parent;
}
int main() {
    Node* a1 = new Node(10);
    Node* a2 = new Node(20);
    Node* a3 = new Node(30);
    Node* a4 = new Node(40);
    Node* a5 = new Node(50);
    a1->left = a2; a2->parent = a1;
    a1->right = a3; a3->parent = a1;
    a3->left = a4; a4->parent = a3;
    a3->right = a5; a5->parent = a3;
    /*
         a1
       /   \
     a2     a3
           /  \
           a4   a5
     */

    /* Case 1: prints hi */
    func(a3);

    /* Case 2: doesn't print hi */
    // func(a1->right);


    /* Case 3: prints hi */
    // Node* ptr = a1->right;
    // func(ptr);
}

我有两个问题:

1. 将表达式引用 传递给 func 而不是变量引用 时出现不同行为的原因是什么？

2. 将表达式引用传递给函数的惯用方式是什么。

编辑:gdb 输出

(gdb) b 17
Breakpoint 1 at 0x555555554856: file pointer_ref.cpp, line 17.
(gdb) r
Starting program: /home/a.out 

Breakpoint 1, func (node=@0x555555767e80: 0x555555767ed0) at pointer_ref.cpp:18
18      Node* p = node->parent;
(gdb) p node->data 
$1 = 30 // a3
(gdb) n
19      p->right = node->left;
(gdb) p p->data
$2 = 10 // a1
(gdb) n
20      if (node->left) {
(gdb) p p->right->data
$3 = 40 // a4
**(gdb) p node->left->data
Cannot access memory at address 0x0**
// ^^^ This seems to be the problem location
// After changing p->right to node->left,
// somehow, node->left becomes null 
(gdb) p node->left
$4 = (Node *) 0x0
(gdb) 

Answer 1

您已将引用传递给 a1->right。因此，您对该字段所做的任何更改都会在该函数中看到。 p->right = node->left; 实际上将 a1->right 设置为不同的节点。

在情况 3 中，您传递对局部变量 ptr 的引用，该变量不会更改，因为它是一个拷贝。

如果你添加:

    cout << "node was " << node << std::endl;
    p->right = node->left;
    cout << "node is " << node << std::endl;

您会看到您的节点发生了变化。