这几天在学习C过程中,在使用指针作为函数参数传递的时候出现了问题,根本不知道从何得解:源代码如下:
createNode(BinNode *tree,char *p)
{
tree = (BinNode *) malloc(sizeof(BinNode));
tree->data = *p;
}
该代码段的意图是通过一个函数创建一个二叉树的节点,然而在,调用该函数后,试图访问该节点结构体的成员时候,却发生了内存访问错误,到底问题出在哪儿呢?
一直不明白指针作为函数参数传值的机制,翻开林锐的《高质量C/C++编程指南》,找到了答案。
[如果函数的参数是一个指针,不要指望用该指针去申请动态内存]
原来问题出在C编译器原理上:编译器总是要为函数的每个参数制作临时副本,指针参数tree的副本是 _tree,编译器使 _tree = tree。如果函数体内的程序修改了_tree的内容,就导致参数tree的内容作相应的修改。这就是指针可以用作输出参数的原因。
即上面的函数代码经过编译后成为:
createNode(BinNode *tree,char *p)
{
BinNode *_tree;
_tree = tree;
_tree = (BinNode *) malloc(sizeof(BinNode));
_tree->data = *p;
}
如果没有
_tree = (BinNode *) malloc(sizeof(BinNode));
这个语句,在函数体内修改了_tree的内容,将会导致参数tree的内容作相应的修改,因为它们指向相同的内存地址。而
_tree = (BinNode *) malloc(sizeof(BinNode));
这个句,系统重新分配内存给_tree指针,_tree指针指向了系统分配的新地址,函数体内修改的只是_tree的内容,对原tree所指的地址的内容没有任何影响。因此,函数的参数是一个指针时,不要在函数体内部改变指针所指的地址,那样毫无作用,需要修改的只能是指针所指向的内容。即应当把指针当作常量。
如果非要使用函数指针来申请内存空间,那么需要使用指向指针的指针
createNode(BinNode **tree,char *p)
{
*tree = (BinNode *) malloc(sizeof(BinNode));
}
看看下面这个程序中就会明白
void getptr(int **p,int num)
{
*p=(int *)maccol(num*sizeof(int));/*这里为什么定义一个指向指针的指针,定义一个指针为什么不行,
在为主函数指针分配动态内存时不能用p==(int *)maccol(num*sizeof(int))吗?*/
return;
}
void main()
{
int *ptr;
int k;
getptr(&ptr,10);/*这里的实参为什么不能改成ptr,指针实参传给形参的不是地址吗?,ptr不就是指针的地址吗?*/
for(k=0;k<10;k++)
{
scanf("%d",&ptr[k]);
}
}
按上面注释意思,程序改成如下:(后面说明为什么不行)
void getptr(int *p
,int num)
{
p=(int *)malloc(num*sizeof(int));
return;
}
void main()
{
int *ptr;
int k;
getptr(ptr,10);
for(k=0;k<10;k++)
{
scanf("%d",&ptr[k]);
}
}
首先要说明的是int *ptr,
这时候ptr指向一个不明确的地址,在这种情况下getptr(ptr,10);
这一句传一个地址给getptr里面的p指针,这时候p指针获得的是ptr指针的一个副本,确切的说是ptr指向的对象的内存地址,
所以这种方式在函数里面可以用来传一个指针指向的数据,这个数据是引用,但是指针还是副本,就是p与ptr两个所指的数据是一样的,
但是两个在内存的地址是不一样的.而你这个程序要求的是给ptr动态分配内存,所以当分配了一块的内存,并且这个内存的首地址赋给p,
这时候p指向的东西改变了,但没有影响到ptr指针.ptr指针指向的还是他原来的数据,只是p指针的数据改变了.
所以这种情况引入一个指针的指针,让p指针指向ptr这个指针(而不是ptr的副本),这时候动态的分配的数据块传给*p,
这个*p就是ptr,所以给ptr分配内存成功.