非法内存操作分析
结构体成员指针未初始化
没有为结构体指针分配足够的内存
#include <stdio.h>
#include <malloc.h>
struct Demo
{
int* p;
};
int main()
{
struct Demo d1;
struct Demo d2;
int i = 0;
for(i=0; i<10; i++)
{
d1.p[i] = 0; // 指针未初始化
}
d2.p = (int*)calloc(5, sizeof(int));
for(i=0; i<10; i++)
{
d2.p[i] = i; // 没有分配足够的内存
}
free(d2.p);
return 0;
}
内存初始化分析
内存分配成功,但并未初始化
#include <stdio.h>
#include <malloc.h>
int main()
{
char* s = (char*)malloc(10);
printf(s); // 未初始化
free(s);
return 0;
}
内存越界分析
数组越界
#include <stdio.h>
void f(int a[10])
{
int i = 0;
for(i=0; i<10; i++)
{
a[i] = i; // 数组越界
printf("%d\n", a[i]);
}
}
int main()
{
int a[5];
f(a);
return 0;
}
内存泄露分析
#include <stdio.h>
#include <malloc.h>
void f(unsigned int size)
{
int* p = (int*)malloc(size*sizeof(int));
int i = 0;
if( size % 2 != 0 )
{
return; // 未释放,内存泄漏
}
for(i=0; i<size; i++)
{
p[i] = i;
printf("%d\n", p[i]);
}
free(p);
}
int main()
{
f(9);
f(10);
return 0;
}
多次指针释放
#include <stdio.h>
#include <malloc.h>
void f(int* p, int size)
{
int i = 0;
for(i=0; i<size; i++)
{
p[i] = i;
printf("%d\n", p[i]);
}
free(p);
}
int main()
{
int* p = (int*)malloc(5 * sizeof(int));
f(p, 5);
free(p); //多次释放
return 0;
}
使用已释放的指针
#include <stdio.h>
#include <malloc.h>
void f(int* p, int size)
{
int i = 0;
for(i=0; i<size; i++)
{
printf("%d\n", p[i]);
}
free(p);
}
int main()
{
int* p = (int*)malloc(5 * sizeof(int));
int i = 0;
f(p, 5);
for(i=0; i<5; i++)
{
p[i] = i; // 使用已经释放的指针
}
return 0;
}
对于上面的问题,我们应该遵守一些规则:
用malloc申请了内存之后,应该立即检查指针值是否为NULL,防止使用值为NULL的指针
牢记数组的长度,防止数组越界操作,考虑使用柔性数组
动态申请操作必须和释放操作匹配,防止内存泄露和多次释放
free指针之后必须立即赋值为NULL