0. 前言

前文【二叉树的概念和原理】主要介绍了树的相关概念和原理，本文主要内容为二叉树的创建及遍历的代码实现，其中包括递归遍历和栈遍历。

1. 二叉树的实现思路

1.0. 顺序存储——数组实现

前面介绍了满二叉树和完全二叉树，我们对其进行了编号——从 0 到 n 的不中断顺序编号，而恰好，数组也有一个这样的编号 —— 数组下标，只要我们把二者联合起来，数组就能存储二叉树了。

那么非满、非完全二叉树怎么使用数组存储呢?

我们可以在二叉树中补上一些虚构的结点，构造出来一个满/完全二叉树来，存储到数组中时，虚构的结点对应的数组元素不存储数据(# 代表虚构的不存在)。如下图：

这样存储的缺点是，数组中可能会有大量空间未用到，造成浪费。

1.1. 链式存储——链表实现

我们画树的图时，采用的都是结点加箭头的方式，结点表示数据元素，箭头表示结点之间的关系，清晰明了。如果你对链表熟悉，那么肯定能觉察到这是典型的链式结构。链式结构完美解决了顺序结构中可能会浪费空间的缺点，而且也不会有数组空间限制。

下面来分析一下结点的结构。

树的结点包括一个数据元素和若干指向其子树分支。二叉树的结点相对简单，包括：

• 数据元素
• 左子树分支(结点的左孩子)
• 右子树分支(结点的右孩子)

怎么来实现呢?单链表的结点是使用一个指向其后继结点的指针来表示其关系的。同样地，我们也可以使用指针来表示结点和其左孩子、右孩子的关系。

分析到这，二叉树的结点就清晰了：

• 一个存储数据的变量——data
• 一个指向其左孩子结点的指针——left_child
• 一个指向其右孩子结点的指针——right_child

用 C 语言的结构体实现二叉树的结点（为了方便起见，我们的数据全为字符类型）：

2. 二叉树的创造

二叉树的定义是递归的定义，所以如果你想要创造一个二叉树，也可以借助递归去创造。如何递归创造呢?在现实中，一棵树先长根、再长枝干、最后长叶子。我们用代码创造树时，也遵守这个原则，即先创造根结点，然后左子树，最后右子树。整个过程和先序遍历相似。

我以前写过的文章中有二叉树创建过程的动态图[1]，这里不再赘述。

这里以创造下图中的树为例：

说明：当我们看到如左图的二叉树时，要立即能脑补出对应的右图。#结点是什么?

前面我们已经画出了类似的图，当时是 NULL 结点，它的作用是标识某个结点没有孩子，它是我们虚构出来的。在实际使用 C 语言创造二叉树时，需要使用 #或者什么其他的符号来代替 NULL.

上图的先序遍历顺序为：ABDEGCF，如果加上 # 结点，则为：ABD##EG###C#F##. 我们按照此顺序来创造二叉树。

代码如下：

请注意，函数 create_binary_tree 接受的是一个指向根结点的指针的指针，至于为什么要使用指针的指针，理由在介绍单链表的初始化时已经解释了。

3. 二叉树的遍历

在文章【二叉树的概念和原理】中已经介绍了遍历的原理了，下面使用 C 语言实现它。

3.0. 遍历实质

二叉树的定义是递归的定义，即在二叉树的定义中又用到了二叉树的定义。所以无论是在创造二叉树，还是在遍历二叉树，我们要做的只有三件事：访问根结点、找左子树、找右子树。所谓先序、中序、后序遍历，无非是这三件事的顺序罢了。

3.1. 递归实现

我们如果使用递归代码，很容易就能实现遍历，而且代码非常简洁。

【先序遍历】

【中序遍历】

【后序遍历】

事实上，大部分使用递归做的事，使用栈也可以做到。下面介绍遍历的栈实现。

3.2. 栈实现

我们利用了栈的后进先出的特性，

栈实现的代码较复杂，受篇幅限制，这里只介绍先序遍历和后序遍历，详细代码请移步至代码仓库查看。

【先序遍历】

使用栈的先序遍历

我们的树的结点是要全部都入栈的(暂不管顺序如何)，那么入栈的条件是什么?就是该结点可以被看作某棵树(子树)的根结点的时候。即，curr 指针指向的结点一定为某颗树(子树)的根结点。

在【二叉树的概念和原理】中，我们已经看到了，遍历完某个子树时，一定要回到其双亲结点。这种回溯如何实现?可以利用栈的先进后出、后进先出的特点，这个特点能在栈中完美保存结点在树中父子关系，栈顶元素即为当前子树的双亲结点。

【后序遍历】

后序遍历相较于前序和中序较为麻烦，不像前序和中序遍历那样。因为前序和中序的根结点在右子树之前，所以我们可以在出栈的时候同时进行打印根结点和进入右子树。

后序遍历的根结点在右子树之后，这就要求我们再遍历完左子树后，先返回到根结点，然后进入右子树，遍历完右子树之后，再回到根结点，才能打印它。

关键之处还在于左子树、右子树、根结点的顺序。

所以当 curr 指针遍历完左子树后，我们不能直接将根结点出栈，而是先从栈顶读取到根结点，然后 curr 指针返回到根结点，然后 curr 指针进入右子树进行遍历，当右子树遍历完成后，将根结点出栈，才能打印根结点。

这样一来，后序遍历就有两次回到根结点的动作，且这两次的后续动作不一样。第一次通过读取栈顶回到根结点，然后进入右子树;第二次通过出栈回到根结点，然后打印根结点。

这样看似解决了后序遍历的顺序问题，但其实又得到了一个新的问题，即，我们如何知道右子树被遍历完了?

我们有两次回到根结点的动作，对于写代码的人来说，我们知道两次回到根结点之后该干什么，知道右子树是否被遍历完了。但是对于 curr 指针来说，它不知道，两次回到根结点，它都不知道右子树是否被遍历完成了。

此时，对于curr 指针来说，就像有两条路摆在它面前让它选择其中一条，它难以抉择。如果当其中一条有过它的脚印，那么它就很容易选择那条没走过的路了。

所以我们现在还需要一个“脚印”指针——prev，prev指针用来记录 curr访问过的结点。

当 curr 指针第二次回到根结点的时候，一看，哦!我的脚印留在那呢!(prev指针指在右子树那里)curr 指针就直接放心打印根结点了。

以上代码中用到的栈的相关函数这里不再给出，详细代码请移步至代码仓库(文末获取)。

4. 总结

递归的代码虽然简洁，但是对新手来说却有点难以理解，这是因为接触的太少。栈的代码相对来说容易理解一些，但代码比较复杂，特别是后序遍历的代码。

不过当你真正理解了二叉树的定义、概念、原理之后，代码相关的问题就不再是问题了，最终只落在六个字上——无他，惟手熟尔。

以上就是二叉树的创建和遍历的实现。

参考资料

[1]二叉树创建过程的动态图: https://blog.csdn.net/m0_47335900/article/details/106856321

[2]GitHub: https://github.com/xingrenguanxue/Simple-DS-and-Easy-Algo

[3]Gitee: https://gitee.com/xingrenguanxue/Simple-DS-and-Easy-Algo

原文地址：https://mp.weixin.qq.com/s/2-0u8WGn8rVoy0lBeb465A