关于指针错误使用带来的问题――数组越界.docVIP

关于指针错误使用带来的问题――数组越界 　　摘要：该文从指针在C语言中的作用入题，介绍了指针使用过程中常见的几种错误，并提出了改进方法。然后针对指针与数组，总体介绍了它们之间的联系与转换，并详细描述了数组越界的两类错误，最后我们经过详细分析，模拟出一种对数组下标是否越界的检测方法。 　　关键词：指针错误使用；数组越界 　　中图分类号：TP311文献标识码：A文章编号：1009-3044(2011)13-3077-04 　　计算机内存中每个存储单元都有其存储地址，根据存储地址即可准确地找到该内存单元。通常把这个地址称为指针。在C语言中，指针变量就是用来存放内存单元地址的变量类型，简称指针[1]。灵活的使用指针可以表示各种数据结构，动态地分配内存，有效地处理数组，从而编写出精炼而又高效的程序。但是，在指针这种直接访问内存的方便有效的同时，也很容易因使用的错误而给系统带来隐患。 　　1 C语言中常见的指针错误使用 　　1.1 指针变量未赋初始值 　　指针变量未赋初始值容易产生野指针。野指针是指指向不可用内存区域的指针。它不像空指针能够通过if语句比较容易的进行判断，从而避免非法的访问。通常对野指针进行操作的话，将会产生不可预知的错误，甚至使程序崩溃。若指针没有被赋予其初始值，则它们的值不会自动初始化，而是随机的，从而无法判断指针是否指向了合理的内存空间。因此，在创建指针变量的时候应当及时对其进行初始化，方法是将指针设置为NULL，或者将它指向合法的内存。 　　1.2 指针指向的内存已经被释放 　　在使用指针进行动态内存分配操作时，指针p被free或者delete之后，指针变量本身并没有被删除掉，若没有置为NULL，会让人误以为p是个合法的指针而在以后的程序中错误的使用它。这时候通常又会使用语句if (p != NULL)进行判断以避免发生错误。但是，此时，p虽不是NULL指针，但它也不指向合法的内存块，所以不会收到防错的效果。例如： 　　void text() 　　{ 　　1.char *p = (char *) malloc(50); 　　2.if(p != NULL) 　　3.strcpy(p, “hello”); 　　4.free(p); // p指向不合法的内存 　　5.if(p != NULL) // 不会收到防错的效果 　　6.strcpy(p, “world”); //发生错误 　　} 　　在这个程序中，应该在第四行之后加上p=NULL; 即在p释放之后就直接将 　　P置为NULL，就不会发生后续错误。 　　1.3 指针引起的内存泄露 　　C语言中内存的申请与释放均是由程序员控制，并不像Java中自带有自动垃圾回收机制，虚拟机会释放已经没有用的内存。当程序员在使用完所申请的内存之后，却并没有释放它们的时候，就出现了内存泄露。一旦泄露达到一定的程度，就会导致系统崩溃。 　　1.4 指针被重复释放 　　在上面我们讨论了指针没有及时释放而造成内存泄露的情况，但是，反之，若对于已申请的内存进行了重复性释放，同样会使可执行程序产生致命的错误。例如[2]： 　　1.void text1 () { 　　2.int *p = new int (10) ; 　　3.text2 (p) ; 　　4.} 　　5.void text2 (int * p) { 　　6.if (…) 　　7.delete p; 　　8.else 　　9.text3 (p) ; 　　10.} 　　11.void text3 (int * p) { 　　12.if (…) 　　13.delete p; 　　14.else 　　15.text4 (p) ; 　　16.} 　　… 　　此时函数text1中指针p申请了内存，并传递给text2。然后函数text2中进行判断1（第6行），若条件成立则释放指针p，否则将指针p继续传递给函数text3。函数text3进行与text2一样的操作，先进行判断2（第12行），若成立则释放p，否则继续传递给其他函数。 　　然而，若判断1和判断2在某些情况下会同时成立时，就出现了重复释放指针p的情况，也就造成了内存的重复释放。重复释放内存会导致程序异常终止而发生难以预知的错误，并且往往这种错误难以发现。这时，我们可以采用在释放内存前先检查内存是否为空，然后释放内存的同时，对指针p进行赋空值的操作，这样就会避免这种情况的发生。 　　1.5 指针的使用超出其作用范围 　　C语言中变量可分为局部变量和全局变量，而局部变量只能在其生成期有效。而当对局部变量使用指针时，指针应当使用在局部变量的作用域内来进行对局部变量的访问。否则，该指针也指向了不合法的内存而发