C++中BinaryNode *& t是什么？AVL树代码中的指针引用疑问

首先明确：BinaryNode *& t不是指向引用的指针，而是指向BinaryNode的指针的引用——说白了，就是给一个BinaryNode*类型的指针变量起了个别名t。

语法拆解（从右往左读更清晰） #

• 最右侧的&表示这是一个引用；
• 左侧的BinaryNode *表示这个引用的目标是「指向BinaryNode的指针」；
  整体含义：t是外部传入的BinaryNode*指针的别名，对t的修改会直接作用到外部的原指针上。

为什么AVL树的remove函数要这么用？ #

AVL树的删除操作中，经常需要修改指针本身：比如删除根节点时，要把根指针替换成它的子节点；或者删除某个节点后，调整子树的根指针，甚至更新父节点的子指针。

如果函数参数写成BinaryNode* t（值传递），那么函数里拿到的只是原指针的副本——修改副本不会影响外部的原指针，这就没法正确更新树的结构。而用指针的引用BinaryNode*& t，函数里对t的任何修改，都会直接同步到外部的原指针变量，这样才能保证树的结构被正确修改。

举个简单对比：

• 值传递场景：

  void func(BinaryNode* t) {
      t = t->left; // 只修改了副本，外部原指针不变
  }
  

• 指针引用场景：

  void func(BinaryNode*& t) {
      t = t->left; // 直接修改外部的原指针，外部变量会指向左子节点
  }
  

为什么容易混淆？ #

从左往右读BinaryNode *& t时，容易误以为是「指向引用的指针」，但C++明确禁止指向引用的指针（因为引用只是对象的别名，不是实体，没有自己的内存地址）。所以正确的读法是从右往左，先看&（引用），再看BinaryNode*（引用的目标是指针）。

内容的提问来源于stack exchange，提问作者HandsomeRob