为什么windows下没有double free 异常

[wuyg719]

我有一个简单的c++代码演示double free 异常，在linux下面会按照我所期待的那样抛出异常，但在Windows下（QTCreator）没有任何异常：

#include <stdio.h>

class BitWiseCopyClass {
public:
    BitWiseCopyClass(){m_data= new int;};
   ~BitWiseCopyClass(){
        delete m_data ;
    }
private:
   int* m_data;
};


void test(){
    BitWiseCopyClass objA;
    BitWiseCopyClass objB;
    objB = objA;
    // 结果导致   objA 和 objB 的指针都指向了同一个地址
    // 函数结束析构时
    // 同一个地址被delete两次, 所以会抛出double free异常，但在windows下没有抛出任何异常
}

int main()
{
    test();
    printf("done\n");

    return 0;
}

[疯狂的红豆]

造成内存泄露并且还导致了两个对象的指针指向同一块内存区域，我觉得delete在指向之前可能做了某些判断致使未抛出错误，这仅仅是我个人观点。 永远不要依赖于未定义行为

[mujiok2003]

取决于编译器实现而不是操作系统。这属于UB(未定义的行为).

[小布]

引用 6 楼 lile1234_show 的回复:

C/C++ code?1234567891011121314151617181920212223 //申请空间于堆上，释放空间会异常，而栈上没有异常//同求原因吧... class BitWiseCopyClass {public: BitWiseCopyClass(){m_data= new int;}; ~BitWiseCopyClass() { ……

你直接就按这个直接delete两次试试不必你那来的痛快

[lee_鹿游原]

没有深拷贝，释放空间，没有崩堆栈。我也想知道..

[wulinnm]

晕，安我的理解没问题啊！你赋值是你赋值，但昔构执行不受影响

[iceheart]

代码写错了，程序没崩溃，这是最可怕的事了

[lee_鹿游原]

 //申请空间于堆上，释放空间会异常，而栈上没有异常
//同求原因吧... 
class BitWiseCopyClass 
{
public:
	BitWiseCopyClass(){m_data= new int;};
	~BitWiseCopyClass()
	{
		delete m_data ;
	}
private:
	int* m_data;
};
int main()
{
	BitWiseCopyClass *objA =new BitWiseCopyClass;
	BitWiseCopyClass *objB =new BitWiseCopyClass;
	objB = objA;
	delete objA;
	delete objB;
	printf("done\n");
	return 0;
}

[ri_aje]

这种东西叫 undefined behavior，标准没说到底应该是什么行为，因此完全看实现，一边完蛋一边貌似无误的行为正常。

[hznat]

引用 2 楼 Kaile 的回复:

delete m_data ; 改为： if(m_data) { delete m_data ; m_data = NULL; } 就永远不会有异常

多次释放同一块空间，肯定会有异常。 要避免这样的问题：在有指针成员变量的类中，重新写满足你需求的拷贝构造函数和赋值函数。

[jimette]

BitWiseCopyClass objA; BitWiseCopyClass objB; objB = objA; 在windows下面这个指向的不是同一地址！

[iamnobody]

抛出 double free 异常 是一个确定的行为 你写了行为未定义的代码却去期待一个确定的行为.这是错的.

[wulinnm]

哎！你们啊！ BitWiseCopyClass *objA =new BitWiseCopyClass; BitWiseCopyClass *objB =new BitWiseCopyClass; objB = objA; delete objA; delete objB; printf("done\n"); return 0; delete两次指向同一个地址。会造成那个叫什么堆什么的错误，好像这个错误是非常隐蔽而且很致命的!

[ljhhh0123]

两次delete同一内容,查一下C++标准文档,如果没有规定,就别指望两个平台会有一致的结果.

[cyclejdm]

引用 9 楼 smallnat 的回复:

引用 2 楼 Kaile 的回复:delete m_data ; 改为： if(m_data) { delete m_data ; m_data = NULL; } 就永远不会有异常 多次释放同一块空间，肯定会有异常。 要避免这样的问题：在有指针成员变量的类中，重新写满足你需求的拷贝构造函数和赋值函数。

我能说”顶“吗

[wuyg719]

我能明白为什么会出现double free 异常，但我不明白该出现double free 异常但没有出现。

[wuyg719]

就没有人知道吗？

[youyou1912]

楼主什么环境试的? 我debug直接在堆释放时候检查asset失败抱错. Release版本会double free, 异常退出啊. 环境: win7 + Vs2012,

[youyou1912]

double free正常会破坏堆, 堆破坏后是否立刻抱错还要看情况, 可能立刻也可能是再次分配请求或者退出的时候CRT堆自我释放的时候应该会发生异常了.

[wuyg719]

我的环境是 OS： windows 7 IDE： Qt Creator 2.4.1

[dingqiang107]

double free异常是由管理内存分配的库抛出的，这个库是由平台决定的，自然不同平台下的行为可能会不一样。 C++标准里只说这是一个未定义。