【关键字】：C/C++、二重指针、递归

本人最近想实现一个B+树，虽然对B+树的理论有一定的认识，但由于考研花去大量时间复习功课，对C的一些细节有所遗忘，因此决定从二叉树的实现开始。但刚写完二叉树的创建函数且在编译通过之后，调试时却出现了问题。二叉树是一种递归定义的数据结构，因此其创建函数也必定是递归的。其创建函数描述如下：

                  图1 二叉树创建函数

理论上没有错误，同时在创建二叉树时也能成功，但通过本人编写的先序遍历该二叉树时，却显示0，即空的二叉树，相关操作代码如下：

//具体的操作步骤

TREE tree = 0; //TREE为二叉树结构体的指针型别

createBinaryTree(tree);

//先序遍历

由于结果错误，因此开始调试，通过观察发现当createVinartTree(tree)操作完成后tree的属性仍然为0，即仍然tree=0。后来又通过仔细分析，发现问题出在函数的参数上。虽然该函数传入的是指针型别，属于实参，但是该函数内部主要以原指针作为操作对象，因此相对于指针来说，传入的只是结构体指针的形参。所以，在函数内部操作的只是一个副本，因此二叉树的创建失败。

为了解决这个问题，笔者决定验证自己的想法是否正确，于是写了如下一段测试代码,代码如下：

//版本1

typedef struct student {

    char* name;

    int age;

}Student,*STUDENT;

void getInstance(STUDENT s);

int main(){

    Student* st = 0;

    printf("指针st的地址=%d\n",&st);

    getInstance(st);

    printf("st新实例的地址=%d\n",st);

    return 1;

}

void getInstance(STUDENT s){

    printf("指针S的地址 =%d\n",&s);

    s = (Student*)malloc(sizeof(student));

    printf("s新实例的地址=%d\n",s);

}

这个函数的传值形式与之前二叉树的函数差不多，因此可以类比，具体运行之后得到的记过是（如图）：

图2 版本1的运行结果

结果很显然，指针传入函数之后产生了一个新的副本，对副本的任何操作，都不会影响到原指针指向的结构体，与二叉树创建失败类似，目的指针的副本指向了目标结构体，产生了内存泄漏。

这个问题的解决也十分的简单，将结构体的指针作为实参传入函数即可，这样就可以直接操作目标指针，也就不会出现错误的结果。运用二重指针可以轻松实现，具体修改如下：

//版本2

typedef struct student {

 char* name;

 int age;

}Student,**STUDENT;

void getInstance(STUDENT s);

int main(){

 Student* st = 0;

    printf("指针st的地址=%d\n",&st);

  getInstance(&st);

    printf("st新实例的地址=%d\n",st);

 return 1;

}

void getInstance(STUDENT s){

 printf("指针S的地址 =%d\n",s);

 *s = (Student*)malloc(sizeof(student));

 printf("s新实例的地址=%d\n",*s);

}

修改部分如黑体部分所示，具体的运行结果如下图：

 图3 版本2的运行结果

测试成功，函数内部操作的指针就是实际传入的指针，即通过二重指针实现了目标操作指针的实参传递，因此能达到预想的结果。这也说明了二重指针的实际用处。