大家好，我是前端西瓜哥。今天做一道比较基础的二叉树算法题。
题目
给你一个二叉树的根节点 root ， 检查它是否轴对称。
示例1：
输入：root = [1,2,2,3,4,4,3] 输出：true
示例 2：
输入：root = [1,2,2,null,3,null,3] 输出：false
本题 LeetCode 对应地址：
https://leetcode-cn.com/problems/symmetric-tree/
解法
如果你熟练写二叉树的先序、中序、后序遍历的递归写法套路，再看这题，可能一时不太能想到思路。
我一开始做这道题就是这样，我会将注意力放在一个节点上，尝试在上面写出花来。
但对这题来说并不受用，一开始或许可以对比根节点的左右子节点，但左右子节点的后继的子节点就不好取出来对比了。
对于这题，我们需要给递归函数，传入两个节点。
function isSymmetric(root) { if (!root) return true; return compare(root.left, root.right); }; function compare(left, right) { if (!left && !right) return true; if (!left || !right) return false; return left.val === right.val && compare(left.left, right.right) && compare(left.right, right.left); }
compare 递归函数接收两个节点，如果这两个节点对称，返回 true，否则返回 false。
首先是 left 和 right 都为 null 的情况，属于对称，返回 null。
null 的情况需要在最前方判断，因为后面我们要使用 left.val 的语法，如果 left 是 null，会报错。
然后就是 left 或 right 其中一个为 null 另一个不为 null 的情况。
因为前面的 if (!left && !right) return true; 如果不符合条件，代码往后走时，left 和 right 至少有一个不为 null。所以只要有 left 或 right 有一个 null，就说明一个为 null 一个不为 null，说明不对称，返回 false。
if (!left && !right) return true; // 代码能运行到这里，说明 left 和 right 至少有一个为 null if (!left || !right) return false;
如果你想更容易理解，可以改成这样子：
if (!left && !right) return true; // 下面代码没有利用上面的条件判断 if (left && !right) return false; if (!left && right) return false;
最后 left 和 right 都不为 null 的情况，我们需要对比以下节点
- left 和 right
- left.left 和 right.right
- left.right 和 right.left
当这些都为 true 的话，递归函数就返回 true；否则返回 false。
这里的 && 操作符支持短路运行，当前面的条件不符合，后面的函数就不会执行，起到剪枝的效果。
LeetCode 官方递归解法的缺陷
我看了一下 LeetCode 的官方解法，发现它有个地方和我的不一样：
function isSymmetric(root) { return compare(root, root); }; function compare(left, right) { // 实现同上 }
就是它是直接将 root 和 root 对比，我初一看，觉得挺优雅的，不需要像我一样写额外的 root 为空的判断。
但我很快发现了不妥的地方，那就是这种写法，在二叉树是对称的情况下，所有节点都要被访问两次。
虽然从时间复杂度上来说，它也是 O(n) 的量级，但从实际情况是，LeetCode 官方解法在二叉树对称情况下，花费的时间为我的解法的两倍。
如果二叉树不对称，因为 && 运算的短路特性，耗时倒和我的解法没有太大区别。
我是前端西瓜哥，分享前端和算法知识，欢迎关注我。
