1.初识野指针
野指针通常是因为指针变量中保存的值不是一个合法
的内存地址而造成的
是不是NULL
野指针的由来
局部指针变量没有被初始化
#include <stdio.h> #include <string.h> struct Student { char* name; int number; }; int main() { struct Student s; strcpy(s.name, "Delphi Tang"); // OOPS! s.number = 99; return 0; }
使用已经释放过后的指针
#include <stdio.h> #include <malloc.h> #include <string.h> void func(char* p) { printf("%s\n", p); free(p); } int main() { char* s = (char*)malloc(5); strcpy(s, "Delphi Tang"); func(s); printf("%s\n", s); // OOPS! return 0; }
指针所指向的变量在指针之前被销毁
#include <stdio.h> char* func() { char p[] = "Delphi Tang"; return p; } int main() { char* s = func(); printf("%s\n", s); // OOPS! return 0; }
非法内存操作分析
结构体成员指针未初始化
没有为结构体指针分配足够的内存
#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; // OOPS! 结构体成员指针未初始化 } d2.p = (int*)calloc(5, sizeof(int)); for(i=0; i<10; i++) { d2.p[i] = i; // OOPS! 没有为结构体指针分配足够的内存 } free(d2.p); return 0; }
内存分配成功,但并未初始化
#include <stdio.h> #include <malloc.h> int main() { char* s = (char*)malloc(10); printf(s); // OOPS! free(s); return 0; }
内存越界分析
数组越界
#include <stdio.h> void f(int a[10]) { int i = 0; for(i=0; i<10; i++) { a[i] = i; // OOPS! 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; // OOPS! } 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); // OOPS! 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; // OOPS! } return 0;
}
C语言中的交通规则
1. 用malloc申请了内存之后,应该立即检查指针值是否
为NULL,防止使用值为NULL的指针
int *p =(int *)malloc(5*sizeof(int));
if( p != NULL)
{
//do smeting here!
}
2. 牢记数组的长度,防止数组越界操作,考虑使用柔性
数组
3.动态申请操作必须和释放操作匹配,防止内存泄露和
多次释放
4. free指针之后必须立即赋值为NULL
5.