所谓自动变量,就是平时我们所说的局部变量,这种变量存在于函数堆栈,函数返回后生存期结束。我们也知道,如果一个函数返回一个指针,这个指针指向的存储区域不能能是栈或者静态存储区域,只能是堆,这样函数返回指针后,在函数外部才可以使用这个指针及其所指向区域。
这里要说的是另一个问题,如果函数的参数中有指针,并且在函数内部为指针malloc了一块空间,这时候问题就会出现了。例如,
void Malloc_Memory(char *p, int num)
{
p = (char *)malloc(sizeof(char) * num);
}
void Test(void)
{
char *str = NULL;
Malloc_Memory(str, 100); // str 仍然为 NULL
strcpy(str, "hello"); // 运行错误
}
毛病出在函数Malloc_Memory中。编译器总是要为函数的每个参数制作临时副本,指针参数p的副本是 _p,编译器使 _p = p。如果函数体内的程序修改了_p的内容,就导致参数p的内容作相应的修改。这就是指针可以用作输出参数的原因。在本例中,_p申请了新的内存,只是把 _p所指的内存地址改变了,但是p丝毫未变。所以函数Malloc_Memory并不能输出任何东西。事实上,每执行一次Malloc_Memory就会泄露一块内存,因 为没有用free释放内存。
如果非得要用指针参数去申请内存,那么应该改用“指向指针的指针”
void Malloc_Memory(char **p, int num)
{
*p = (char *)malloc(sizeof(char) * num);
}
void Test2(void)
{
char *str = NULL;
Malloc_Memory(&str, 100); // 注意参数是 &str,而不是str
strcpy(str, "hello");
cout<< str << endl;
free(str);
}