前言
最近遇到一个神奇的bug:delete野指针没有崩溃。
解决过程
查了很多资料,大致意思是c++没有定义delete野指针的行为,所以delete野指针的行为不可定义,即有可能崩溃也有可能不崩溃。
印象比较深刻的一个比喻是:
指针指向的内存相当于房间,指针相当于钥匙,当你delete指针就相当于退房,但是由于没有置指针为空(此时该指针就变成野指针),就相当于你还有这个房间的钥匙。但是房东只知道你退房了,不知道你还有钥匙,所以他可能动了房间里面的东西,所以再次引用野指针就会有问题(毕竟结构内容都不一样了)。但是这个房间也有可能给另外一个房客使用,这时候你再使用这个钥匙打开这个房间,该房东可能很愤怒揍你,房东也有可能觉得不是啥大事,就这么算了。房东就相当于编译器,delete野指针会产生什么结果是由编译器定义的。
因此我试验了vs2008和vs2019两个编译环境,在这两个环境中编译相同的代码:
#include <iostream>
int main()
{
int* pTmp = new int;
*pTmp = 4;
delete pTmp;
// 此时的pTmp为野指针,因为里面的内容已经销毁掉了,但是pTmp不为空
delete pTmp;
}
vs2008的运行情况: