c++ 为什么不报double free的错误

xian412855621

我使用上面的代码，在 dev c++ 下运行发现，都不报错。难道是编译器的问题，编译器不完全支持标准？？

www1862

g++ 4.7.1 --cxx11 都不报错。

lifcu3

已经验证过了，会报错 编译运行环境是 gcc version 4.1.2 20080704 (Red Hat 4.1.2-46)
运行结果是：value : 10, use : 2
value : 10, use : 100
delete
delete
value : 11, use : 23
value : 11, use : 33
delete
delete
*** glibc detected *** ./a.out: double free or corruption (fasttop): 0x08380028 ***
======= Backtrace: =========

bruceteen

xian412855621 发表于 2012-07-09 10:53
我使用上面的代码，在 dev c++ 下运行发现，都不报错。难道是编译器的问题，编译器不完全支持标准？？

C++标准难道要求报double free？怎么可能呢
如果标准要求这样，那就必须建一个free列表，想想也不可能这么傻

pl014

case one和case two的区别只在于case one的类用的是指针，而case two的类用的不是指针，但是，这两种写法显然都是有问题的。所以，个人猜测，报与不报因不同的编译器而异，我觉得case one不报可能是编译器的bug，或者说case one这种错误比case two的这种错误更难检查出来（对于编译器来讲）。
再有，把函数体写到了函数内，都是属于内联函数，再加上编译器的优化功能，导致在编译的时候case two里实际上是有两个delete a;，所以编译器会检查到，而case one由于用的是指针，编译器可能将其实现成了函数，或者说编译器真正地创建了两个实体，而h->display();、h1->display();，两句可能确确实实地在调用函数，所以编译器检查不到。
以上全是个人猜测，如有不对的地方，敬请指教。