指针越界处理办法

现象:

1 程序出现异常 异常的现象有很多,如:代码突然跑到不相干的地方去执行,访问异常,正常的变量操作也报错...

原因:代码段紊乱,this指针被改变,指针指向的数据被改变

2 程序按逻辑执行,但数据错误 如:变量内容突然消失

原因:变量所在空间被其它操作误删除等

3 其它莫名其妙的错误

原因:

越界的基本比较原因,如

1 写越界: 向10个字节的数组写入了20个字节;内存操作越界,如char szText[10];memset(szText,0,30);

2 错误的函数调用: sprintf等fmt中的预定义和实际输入的变量数不一致,如sprintf(szData,\"Name:%d title:%s\",1)

3 错误的调用方式: 用stdcall 的函数指针 调用pascall的函数

检查方法:

1 BoundChecker进行调试,BoundChecker在代码编译时加入了大量的附加处理,其中包括内存堆栈检测等,其实ms的debug模式也做了许多的类似操作,但debug模式下的一些代码行为,如初始化变量,和Release下的代码执行不同,所以用debug调试不是完美的方式

2 类内部出现莫名其妙的错误时,查看 this 指针是否变化,方法是在调试的 \"查看\" 窗口 输入:this ;必要的时候进行手手工检查

3 在调试的 \"查看\" 窗口 输入:@err,hr 看全局错误变量的内容,也许有提示

4 注释掉部分代码,看是否错误还出现,注释的最佳方式是:二分法

5 查看程序异常处的反汇编代码,分析原因 

struct S
{
int i;
int *p;
};
main()
{
S s;
int *p=&s.i;
p[0]=4;
p[1]=3;
s.p=p;
s.p[1]=1;
s.p[0]=2;
}
程序执行到哪一句会崩溃？为什么？

struct S
{
int i;
int *p;
};
main()
{
S s;
int *p=&s.i;
p[0]=4; //即s.i = 4
p[1]=3; //即s.p = 3, 此时指针指向的地址为0x00000003
s.p=p; //此时s.p指向s.i；
s.p[1]=1; //此时s.p[1]就是s.p的值为1
s.p[0]=2; //即访问地址1处的值， 崩溃
}