二叉树镜像反转是交换每个节点左右子树指针而非值，需先判空、再递归子树、最后交换指针；推荐自底向上顺序，避免空指针与逻辑错乱。

二叉树镜像反转的核心，就是让每个节点的左子树和右子树“互换位置”，不是交换值，而是交换指针（或引用）本身。递归实现的关键不在“怎么写”，而在于“交换和递归的顺序是否合理”——稍有偏差，就只翻转了根、漏掉子树，或者引发空指针访问。

理解交换的本质：是改指针，不是改数据

镜像反转不改变任何节点的 Val 或 data 字段，只调整结构关系。比如一个节点原本 left 指向 A、right 指向 B，翻转后必须变成 left 指向 B、right 指向 A。这一步必须显式完成，不能靠遍历顺序“假装翻转”。

• C/Cpp 中用临时变量或 std::swap 安全交换指针
• Go/Python 等支持多重赋值的语言可直接写 left, right = right, left
• 切忌只写 swap(left, right) 就结束函数——那只是翻了当前层，子树内部仍是原样

递归顺序：先递归再交换，还是先交换再递归？

两种顺序都可行，但语义和容错性不同：

• 推荐先递归左右子树，再交换：自底向上翻转，确保子树已成镜像后再调换它们的位置，逻辑更符合“分治”直觉，也避免对刚交换过的子树重复处理
• 先交换再递归：自顶向下翻转，需注意交换后 root->left 已是原右子树，递归调用时传入的是新左子树（即原右），只要不混淆含义，结果一致
• 无论哪种，空节点判断（root == null / nullptr / nil）必须作为第一行，否则可能解引用空指针

代码落地：三步写对，不漏不崩

以 C 语言为例，写出健壮的镜像函数只需三步：

• 检查 root 是否为 NULL，是则 return，终止递归
• 递归调用 mirror(root->left) 和 mirror(root->right)
• 用临时指针交换 root->left 与 root->right

Go 版可压缩为两行核心逻辑：
invertTree(root.Left)
invertTree(root.Right)
root.Left, root.Right = root.Right, root.Left

常见陷阱与验证方法

新手常踩的坑，往往出现在边界和验证环节：

• 只交换根节点，忘了递归调用 → 树形没变，只有顶层“看起来翻了”
• 递归调用写在交换之后，却用交换前的指针去递归（如 swap 后仍调 mirror(old_left)）→ 逻辑错乱
• 验证是否成功？不要只看打印结果；建议构造一棵小树（如根-左-右各一个节点），手绘翻转前后结构，再比对指针走向
• 对称树判断可复用此函数：invertTree(copy) 后与原树做结构比较，相等即为对称