如果函数的参数是一个指针,不要指望用该指针去申请动态内存。
一个失败的例子如下所示:
void GetMemory(char *p, int num)
{
p = (char *)malloc(sizeof(char)*num);
}
void Test(void)
{
char *str = NULL;
GetMemory(str,100);//str 仍然为NULL
strcpy(str,"hello");//运行出错
}
原因如下:
首先,我们要知道一点:当函数的参数(形参)是指针时,它是非引用形参(非引用形参表示对应实参的局部副本。对这类形参的修改仅仅改变了局部副本的值。)现在,我们回忆一下常用的指针参数的应用,会发现主要做的工作是对指针所指内容进行修改,并不是对指针本身做修改,一个例子如下:
void reset(int *ip)
{
*ip = 0;//有效,将指针ip所指的内容作修改
ip = 0; //无效,只是改变局部副本的值,ip还是没有变化
}
最后,咱们再分析第一个例子:因为编译器总是要为函数的每个参数制作临时副本,指针参数p的副本时_p,编译器使 _p = p。如果函数体内的程序修改了_p所指的内容,就导致参数p所指的内容作相应的修改。这就是指针可以用作输出参数的原因。而在第一个例中,_p申请了新的内存,只是把_p所指的内存地址改变了,但是p丝毫未变,也就是说在函数GetMemory结束后,并没有成功的申请好地址。而且每执行一次GetMemory就会泄露一块内存,因为没有free释放内存。
那么如果非要使用指针参数来申请内存,则就应该使用“指向指针的指针”,见如下例子:
void GetMemory2(char **p, int num)
{
*p = (char*)malloc(sizeof(char)*num);
}
void Test2(void)
{
char *str = NULL;
GetMemory2(&str,100);//输入的指针str的地址,对应于上面的**p,那么就赋给了str一个给定内存
strcpy(str,"hello");
cout<<str<<endl;
free(str);
}
不过呢,“指向指针的指针”这个概念不好理解,我们可以用函数返回值来传递动态内存。
char *GetMemory3(int num)
{
char *p = (char*)malloc(sizeof(char)*num);
return p;
}
void Test3(void)
{
char *str = NULL;
str = GetMemory3(100);
strcpy(str,"hello");
cout<<str<<endl;
free(str);
}
参考文献:
《C++ Primer 》第四版 P200
《高质量C++/C编程指南》