1. 指针通过 new 或 new [] ,向系统 “申请” 得到一段内存空间,这段内存空间必须在不需要将它释放了。
int* p = new int[100];
int girl[100];
p = girl;
delete [] p;
灾难在 delete [] p 时发生。我们原意是要释放 p 最初通过 new int[100] 而得到的内存空间,但事实上,p 那时已经指向 girl[100] 了。结果,第一、最初的空间并没有被释放。第二、girl[100] 本由系统自行释放,现在我们却要强行释放它。
2. 一个指针被删除时,应指向最初的地址
当一个指针通过 +,- 等操作而改变了指向;那么在释放之前,应确保其回到原来的指向。如下所示:在 delete [] p 时,p 指向的是第二个元素,结果该释放将产生错位:第一个元素没有被释放,而在最后多删除了一个元素。
int *p = new int[3];
*p = 1;
cout << *p << endl;
p++; //p 的指向改变了,指向了下一元素
*p = 2;
cout << *p << endl;
delete [] p; // 错误的释放
p--;
delete [] p;
但当我们的指针指向变化很多次时,在释放前要保证一步不错地一一退回,会比较困难。所以另一方法是在最初时 “备份” 一份。在释放时,直接释放该指针即可。
int* p = new int[3];
int* pbak = *p; // 备份
// 移动 p
……
delete [] pbak; // 释放
由于 pbak 正是指向 p 最初分配后的地址,我们删除 pbak, 就是删除 p 最初的指向。此时我们不能再删除一次 p。这也就引出 new / delete 及 new[] / delete[] 在本章的最后一个问题。
3. 已释放的空间,不可重复释放
第一种最直接:
int* p = new int(71);
cout << *p << endl;
delete p; //OK!
delete p; //ERROR! 重复删除 p
第二种为重复删除同一指向的多个指针
int* p1 = new int(71);
int* p2 = p1; //p2 和 p1 现在指向同一内存地址
cout << *p1 << endl;
cout << *p2 << endl;
delete p1; //OK
delete p2; //ERROR! p2 所指的内存,已通过 delete p1 而被释放,不可再 delete 一次
同样的问题,如果你先删除了 p2,则同样不可再删除 p1
delete p2; //OK
delete p1; //ERROR
第三种为删除指向某一普通变量的指针
int a = 100;
int* p = &a;
delete p; //ERROR
p 不是通过 new 得到新的内存空间,而是直接指向固定变量 a。所以删除 p 等同要强行剥夺 a 的固有空间 , 会导致出错。
如何消除这一严重错误呢?
第一种方法是把指针正确地 " 倒 " 回原始位置: