【数据结构之二叉树】二叉树的创建及遍历实现

0. 前言

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

1. 二叉树的实现思路

 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1. /*二叉树的结点的结构体*/ 
2. typedef struct Node { 
3.     char data; //数据域 
4.     struct Node *left_child; //左孩子指针 
5.     struct Node *right_child; //右孩子指针 
6. } TreeNode; 

2. 二叉树的创造

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

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

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

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

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

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

代码如下：

1. /** 
2.  * 创造一个二叉树 
3.  * root: 指向根结点的指针的指针 
4.  */ 
5. void create_binary_tree(TreeNode **root) 
6. { 
7.     char elem; 
8.     scanf("%c", &elem); 
9.     if (elem == '#') { 
10.         *root = NULL; 
11.     } else { 
12.         *root = create_tree_node(elem); //创造一个二叉结点 
13.         create_binary_tree(&((*root)->left_child)); 
14.         create_binary_tree(&((*root)->right_child)); 
15.     } 
16. } 

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

3. 二叉树的遍历

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

3.0. 遍历实质

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

3.1. 递归实现

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

【先序遍历】

1. /** 
2.  * 先序遍历 
3.  * root: 指向根结点的指针 
4.  */ 
5. void preorder_traversal(TreeNode *root) 
6. { 
7.     if (root == NULL) { //若二叉树为空，做空操作 
8.         return; 
9.     } 
10.     printf("%c ", root->data); //访问根结点 
11.     preorder_traversal(root->left_child); //递归遍历左子树 
12.     preorder_traversal(root->right_child); //递归遍历右子树 
13. } 

【中序遍历】

1. /** 
2.  * 中序遍历 
3.  * root: 指向根结点的指针 
4.  */ 
5. void inorder_traversal(TreeNode *root) 
6. { 
7.     if (root == NULL) { //若二叉树为空，做空操作 
8.         return; 
9.     } 
10.     inorder_traversal(root->left_child); //递归遍历左子树 
11.     printf("%c ", root->data); //访问根结点 
12.     inorder_traversal(root->right_child); //递归遍历右子树 
13. } 

【后序遍历】

1. /** 
2.  * 后序遍历 
3.  * root: 指向根结点的指针 
4.  */ 
5. void postorder_traversal(TreeNode *root) 
6. { 
7.     if (root == NULL) { //若二叉树为空，做空操作 
8.         return; 
9.     } 
10.     postorder_traversal(root->left_child); //递归遍历左子树 
11.     postorder_traversal(root->right_child); //递归遍历右子树 
12.     printf("%c ", root->data); //访问根结点 
13. } 

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

3.2. 栈实现

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

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

【先序遍历】

使用栈的先序遍历

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

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

1. /** 
2.  * 使用栈实现的先序遍历 
3.  */ 
4. void preorder_traversal_by_stack(TreeNode *root) 
5. { 
6.     //创造并初始化栈 
7.     Stack stack; 
8.     init_stack(&stack); 
9.      
10.     TreeNode *curr = root; //辅助指针curr 
11.  
12.     while (curr != NULL || !stack_is_empty(&stack)) { 
13.         while (curr != NULL) { 
14.             printf("%c", curr->data); //打印根结点 
15.             push(&stack, curr); //根结点入栈 
16.             curr = curr->left_child; //进入左子树 
17.         } 
18.         if (!stack_is_empty(&stack)) { 
19.             pop(&stack, &curr); //出栈，回到上一个根结点 
20.             curr = curr->right_child; //进入右子树 
21.         } 
22.     } 
23. } 

【后序遍历】

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

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

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

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

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

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

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

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

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

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

1. /** 
2.  * 使用栈实现的后序遍历 
3.  */ 
4. void postorder_traversal_by_stack(TreeNode *root) 
5. { 
6.     Stack stack; 
7.     init_stack(&stack); 
8.  
9.     TreeNode *curr = root; //辅助指针curr，记录当前访问结点 
10.     TreeNode *prev = NULL; //脚印指针prev，记录上一个访问过的结点 
11.  
12.     while (curr != NULL || !stack_is_empty(&stack)) { 
13.         if (curr != NULL) { 
14.             push(&stack, curr); //根结点入栈 
15.             curr = curr->left_child; //进入左子树 
16.         } else { 
17.             get_top(&stack, &curr); //读栈顶元素，不是出栈 
18.             //右子树不为空，且右子树没被遍历 
19.             if (curr->right_child != NULL && curr->right_child != prev) {  
20.                 curr = curr->right_child; //进入右子树 
21.                 push(&stack, curr); //根结点入栈 
22.                 curr = curr->left_child; //进入左子树 
23.             } else { //右子树已被遍历或者右子树为空，可以打印根结点了 
24.                 pop(&stack, &curr); //根结点出栈 
25.                 printf("%c", curr->data); //打印根结点 
26.                 prev = curr; //记录 
27.                 curr = NULL; //置空，进入下一轮循环 
28.             } 
29.         } 
30.     } 
31. } 

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

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