今天看了《Linux C程序设计王者归来》动态内存管理一节。发现了一个很容易犯错的地方,特写此博客,以作总结。
结论:堆中的内存在释放之前都可以被引用。堆中的内存虽然在释放之前是一直可以引用的,但是指向该内存区域的指针却是有生命期区别的。
正确的代码如下:
#include<stdio.h>
#include<stdlib.h>
void f1(int **p)
{
*p = (int *)malloc(sizeof(int));
}
void f2(int *p)
{
printf("The heap is %d\n",*p);
}
int main(void)
{
int *p;
f1(&p); //传地址调用
*p = 4;
f2(p);
free(p);
return 0;
}
错误的代码如下:
#include<stdio.h>
#include<stdlib.c>
void f1(int *p)
{
p = (int *)malloc(sizeof(int));
}
int main(void)
{
int *p;
f1(p); //传值调用
printf("set heap\n");
*p = 4;
free(p);
return 0;
}
在Linux系统和VS2017环境下分别调试错误代码。
Linux:在gcc编译时加入-Wall选项,显示一个警告,f1中调用了未初始化的变量。忽略警告,运行可执行程序,会提示segmentation fault。原因是函数f1传入的p是一个值,而不是一个引用。所以函数f1中对p的修改在函数返回的时候就消失了,不会被main()函数所察觉。在main()函数中p的指针仍然指向一块未知区域。因此,在对p所指向的区域进行赋值时出现了段错误。
VS2017环境下默认开启SDL检查,所以Ctrl+F7编译时会弹出一个错误,此时调用未初始化变量提示的是错误。
可见两种环境下处理方式还是有区别的。
想到了C++中的引用的特性,将此代码改为如下所示:
#include<stdio.h>
#include<stdlib.h>
void f1(int * &p)
{
p = (int *)malloc(sizeof(int));
}
void f2(int *p)
{
printf("The heap is %d\n", *p)
}
int main(void)
{
int *p;
f1(p);
*p = 4;
f2(p);
free(p);
return 0;
}
由此想到C++的&引用可能就是由二级指针扩展来的。