【指针与引用作为形参】在二叉树创建中的应用

本文旨在通过二叉树的递归创建，分析指针与引用，函数形参与实参的具体实现。

二叉树的遍历，通常是利用创建好的二叉链表的首地址，也即根节点地址。主函数先定义一指针，再通过二叉树创建函数返回根结点地址，或者将定义的指针作为形参来实现修改。

这就涉及函数形参与实参的调用机制。实参赋给形参过程是复制的过程，而被调函数结束时，内部所有变量所分配的内存会被释放掉。这便是无法直接在同一层上通过形参去改变形参。

c++提供两种基本方式，指针与引用。可以实现通过调用功能函数对主参值的修改。

1：代码实现

（1）“值传递”——被调函数返回给主函数根节点地址

#include<iostream>
#include<cstdlib>
using namespace std;

typedef char ElemType;

typedef struct TreeNode{
    ElemType val;
    struct TreeNode *lchild, *rchild;
    
}TreeNode, *BiTree;

/*
方法1：通过返回根节点的指针的指针； 
*/
 BiTree createBiTree1(){
        
    ElemType ch;
    cin >> ch;
    
    BiTree T;
    if(ch == '#') {
        T=NULL;
        cout << "空结点，地址为 " << T << endl;
    }
    else{
        static int a = 1;
        T = (BiTree) malloc(sizeof(TreeNode));
        cout <<"分配第"<< a++ <<"个结点存储地址：" << T << endl;
        
        T->val = ch;
        cout << "value succeed! It's: "<< ch << endl;

        T->lchild = createBiTree1();
        T->rchild = createBiTree1();            
    }

    return T; 
}

//先序遍历 
void preOrderTraversal(BiTree T){
    
    if(T){
        cout<< T->val << " ";
        preOrderTraversal(T->lchild);
        preOrderTraversal(T->rchild); 
    }    
}

//中序 
void inOrderTraversal(BiTree T){
    
    if(T){
        preOrderTraversal(T->lchild);        
        cout<< T->val << " ";        
        preOrderTraversal(T->rchild); 
    }    
}

//后序
void lastOrderTraversal(BiTree T){
    
    if(T){
        preOrderTraversal(T->lchild);        
        preOrderTraversal(T->rchild);
        cout << T->val << " ";     
    }    
}

    
int main(){
    
    BiTree root;
    cout<<"请输入："<<endl; 
    root = createBiTree1();//*

    cout<<"二叉树创建成功!"<<endl;
    cout<<endl; 
    
    cout<< "根节点地址：" << root << endl;
      
    cout<<"先序遍历结果："<< endl; 
    preOrderTraversal(root);
    cout<<endl; 
            
    cout<<"中序遍历结果："<< endl; 
    inOrderTraversal(root);
    cout<<endl; 
    
    cout<<"后序遍历结果："<< endl; 
    lastOrderTraversal(root);
    cout<<endl; 
    
    return 0;
}

从结果可以看出，root地址等于被调函数内第一个结点地址。其内部结点创建也是按照非空再分配存储空间的逻辑，若为空结点，则不分配。

（2）采用指针的指针（双指针）作为形参。由于要创建的是指向结构体的指针的值，所以可采用指针的指针。如果只用指针则无法实现修改。

#include<iostream>
#include<cstdlib>
using namespace std;

typedef char ElemType;

typedef struct TreeNode{
    ElemType val;
    struct TreeNode *lchild, *rchild;
    
}TreeNode, *BiTree;

/*
方法2：通过形参传递修改指向结构指针的值。
必须要用指针的指针才能实现修改。 
*/

void createBiTree2(BiTree *T){
    ElemType ch;
    cin >> ch;
    if(ch == '#') {
        *T=NULL;
        cout << "空结点，地址为 " << *T << endl;
    }
    else{
        static int a =1;
        *T = (BiTree)malloc(sizeof(TreeNode));
        if(!*T)
            cout<<"bad_alloc!"<<endl;
        cout <<"分配第"<< a++ <<"个结点存储地址：" << *T << endl;
        
        (*T)->val = ch;
        cout << "value succeed! It's: "<< ch << endl;
        
        createBiTree2(&(*T)->lchild);
        createBiTree2(&(*T)->rchild);        
    }
} 

//先序遍历 
void preOrderTraversal(BiTree T){
    
    if(T){
        cout<< T->val << " ";
        preOrderTraversal(T->lchild);
        preOrderTraversal(T->rchild); 
    }    
}

//中序 
void inOrderTraversal(BiTree T){
    
    if(T){
        preOrderTraversal(T->lchild);        
        cout<< T->val << " ";        
        preOrderTraversal(T->rchild); 
    }    
}

//后序
void lastOrderTraversal(BiTree T){
    
    if(T){
        preOrderTraversal(T->lchild);        
        preOrderTraversal(T->rchild);
        cout << T->val << " ";     
    }    
}

    
int main(){
    
    BiTree *root;
    cout<<"请输入："<<endl; 
    createBiTree2(root); //**
    
    cout<<"二叉树创建成功!"<<endl;
    cout<<endl; 
    
    cout<< "根节点地址：" << *root << endl; //*root
      
    cout<<"先序遍历结果："<< endl; 
    preOrderTraversal(*root);  //*root,下同。 
    cout<<endl; 
            
    cout<<"中序遍历结果："<< endl; 
    inOrderTraversal(*root);
    cout<<endl; 
    
    cout<<"后序遍历结果："<< endl; 
    lastOrderTraversal(*root);
    cout<<endl; 
    
    return 0;
}

（3）采用指针引用

相比于指针，c++更推崇使用‘引用’。这里引用指针，实现对主函数的指针修改。

 #include<iostream>
#include<cstdlib>
using namespace std;

typedef char ElemType;

typedef struct TreeNode{
    ElemType val;
    struct TreeNode *lchild, *rchild;
    
}TreeNode, *BiTree;

/*test：
形参为指针，被调函数结束后指针的值会被释放掉。
要修改就必须用指针的指针来实现修改。 
*/ 
void createBiTree3(BiTree &T){
    ElemType ch;
    cin >> ch;
    if(ch == '#') {
        T=NULL;
        cout << "空结点，地址为 " << T << endl;
    }
    else{
        static int a=1;
        T = (BiTree)malloc(sizeof(TreeNode));
        if(!T)
            cout<<"bad_malloc!"<<endl;
        cout <<"分配第"<< a++ <<"个结点存储地址：" << T << endl;
        
        T->val = ch;
        cout << "value succeed! It's: "<< ch << endl;
        createBiTree3(T->lchild);
        createBiTree3(T->rchild);    
    }    
} 
 
//先序遍历 
void preOrderTraversal(BiTree T){
    
    if(T){
        cout<< T->val << " ";
        preOrderTraversal(T->lchild);
        preOrderTraversal(T->rchild); 
    }    
}

//中序 
void inOrderTraversal(BiTree T){
    
    if(T){
        preOrderTraversal(T->lchild);        
        cout<< T->val << " ";        
        preOrderTraversal(T->rchild); 
    }    
}

//后序
void lastOrderTraversal(BiTree T){
    
    if(T){
        preOrderTraversal(T->lchild);        
        preOrderTraversal(T->rchild);
        cout << T->val << " ";     
    }    
}

    
int main(){
    
    BiTree root;
    cout<<"请输入："<<endl; 
    createBiTree3(root);
    cout<<"二叉树创建成功!"<<endl;
    cout<<endl; 
    
    cout<< "根节点地址：" << root << endl;
      
    cout<<"先序遍历结果："<< endl; 
    preOrderTraversal(root);
    cout<<endl; 
            
    cout<<"中序遍历结果："<< endl; 
    inOrderTraversal(root);
    cout<<endl; 
    
    cout<<"后序遍历结果："<< endl; 
    lastOrderTraversal(root);
    cout<<endl; 
    
    return 0;
}

方法3
运行结果：

若仅采用传指针（将方法3形参的&去掉），则没有遍历结果。从结果也看出，根节点地址与被调函数第一结点不一样。根节点地址是在定义时分配的，而被调函数则是在形参复制实参时分配的。两者不一样。即，尽管被调函数内部创建二叉树，但函数结束形参的地址就释放了，实参并没有得到修改。