指针作为函数参数传递时，编译器处理方式

在使用指针作为函数参数传递的时候出现了问题，根本不知道从何得解:源代码如下:

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));

}

使用二级指针就可以了。

还有有另外的一种方案，通过函数返回值传递动态内存:

BinNode *createNode()

{

BinNode *tree;

tree = (BinNode *) malloc(sizeof(BinNode));

return tree;

}

这个倒还说得过去，因为函数返回的是一个地址的值，该地址就是申请的内存块首地址。

原文：/article/7927451.html