关于指针的指针

今天下午用C语言写了个树的先序遍历的例子。代码一为：

注意下面代码是错的，具体错误在后面解释。

#include <stdio.h>
#include <stdlib.h>

//树的数据结构
typedef struct BTreeNode{
char data;
struct BTreeNode *lchild;
struct BTreeNode *rchild;
}BTreeNode,*BTree;

//访问树的结点
void Visted(char ch){
printf("%c ",ch);
}

//先序遍历
void PreOrder(BTree T){
if(T == NULL){
printf("树为空！\n");
return ;//递归出口
}
printf("%c",T->data);
//Visted(T->data);
if(T->lchild !=NULL){
PreOrder(T->lchild);
}
if(T->rchild !=NULL){
PreOrder(T->rchild);
}
}

//创建二叉树
int  CreateBTree(BTree T){
char ch; 
scanf("%c",&ch);
if(ch == '#'){
 T=NULL;
}else{
if(!(T=(BTreeNode *)malloc(sizeof(BTreeNode)))){
printf("Node create failed!\n"); 
return 0;
}
T->data = ch;
CreateBTree(T->lchild);
CreateBTree(T->rchild);
}
return 1;
}

int main(){
BTree root;
CreateBTree(root);
PreOrder(root);
return 0;
}

运行时输入

ab##c##

构建一棵树后，把根节点传入到PreOrder函数里面做遍历。发现竟然输出：“树为空”的提示信息。

说明创建树后根节点依然为NULL。

于是和舍友开始分析激烈的讨论，最后分析出了其中的原因。分析过程如下：

root是一个指针变量，把它传入到CreateBTree函数中，CreateBTree函数会创建一个结点并把结点的指针赋值给变量T。此时变量T的所指向的地址改变了。

但是改变形参并不会改变实参，故root指针变量的所指向的地址值不会改变，所以函数返回后root的地址所指向的仍然为NULL。

（其实可以这样理解，指针变量也是一种变量，故我们把root变量传入到CreateBTree函数中给形参T，函数中改变形参T的值并不会改变实参的值。所以root没变。）

所以要想返回形参T改变后的地址，应该用指向指针的指针才可以。即改变指针变量的地址所指向的内容的值，而不是改变指针变量本身的地址。

内容的值其实也是地址，即根节点的地址值。这样就可以把创建后的新地址值反馈回去。

于是就有了如下改动，下面代码二是正确的：

#include <stdio.h>
#include <stdlib.h>
typedef struct BTreeNode{
	char data;
	struct BTreeNode *lchild;
	struct BTreeNode *rchild;
}BTreeNode,*BTree;

void Visted(char ch){
	printf("%c ",ch);
}


void PreOrder(BTree *T){
	if(*T == NULL){
		printf("树为空！\n");
		return ;//递归出口
	}
	Visted((*T)->data);
	if((*T)->lchild !=NULL){
		PreOrder(&(*T)->lchild);
	}
	if((*T)->rchild !=NULL){
		PreOrder(&(*T)->rchild);
	}
}

int  CreateBTree(BTree *T){
	char ch;	
	scanf("%c",&ch);
	if(ch == '#'){
		 (*T)=NULL;
	}else{
		if(!((*T)=(BTreeNode *)malloc(sizeof(BTreeNode)))){
			printf("Node create failed!\n");			
			return 0;
		}
		(*T)->data = ch;
		CreateBTree(&(*T)->lchild);
		CreateBTree(&(*T)->rchild);
	}
	return 1;
}

int main(){
	BTree root;
	CreateBTree(&root);
	PreOrder(&root);
	printf("\n");
	return 0;
}

解析：传入的不再是root指针，而是root指针的地址。该地址所指向的值就是root指针的地址值。

相当于传入一个指针变量&root，*T=&root，在函数里并没有去改变地址&root，改变的只是该地址所指向的值。即实际上把一个地址实参传给形参，形参只是

改变了该地址实参所指向的内容，并没有改变实参的地址。故可以反馈回去。

如果用C++的话更简便，可以用引用调用。只需在前面错误的代码一的创建二叉树的函数里改变下参数即可。

即把CreateBTree(BTree T)改成CreateBTree(BTree &T)。

引用调用相当于某个变量的一个别名，实际上指向同一个东西，改变其值也会反馈回去。