注册 登录
编程论坛 C++教室

浅拷贝释放了两次指针变量却没有报错,这是为什么?不是说应该改为深拷贝构造函数么?

troyzyc 发布于 2018-05-01 21:47, 2272 次点击
#include <iostream>
#include<cstdlib>
using namespace std;

class Square
{
public:
    Square(int len)
    {
        length=(int *)malloc(sizeof(int)); //指针变量的开辟
        *length=len;  
    }
    void setLength(int len)
    {
        *length=len;
    }
    int area()
    {
        return *length * *length;
    }
    ~Square()
    {
        free(length);  //释放了两次指针变量却没有报错,这是为什么?不是说应该改为深拷贝构造函数么?
        length=NULL;
    }
private:
    int *length;
};


int main()
{
    Square cube1(3);
    Square cube2(cube1);
   
    cout<<cube1.area()<<endl;
    cout<<cube2.area()<<endl;
    //cube1和cube2对象的析构需要释放两次length,为什么没有报错?
    return 0;
}
4 回复
#2
rjsp2018-05-02 09:00
C/C++标准中很少有“报错”,而是代以“未定义行为”。所谓“未定义行为”就是一切都有可能,包括“报错”。

假设C/C++标准规定这里必须报错的话,那它就得在所有free处检测参数是否合法,若不合法就报错。这代价太大,而且对于正常人写的正常代码毫无益处。
举个例子,为了防止“有人吃屎”,那就必须在所有座便器上加上检测装置。若这检测装置不要钱也就算了,否则就害得所有正常人付出了不必要的额外消费。
#3
troyzyc2018-05-02 10:47
以下是引用rjsp在2018-5-2 09:00:57的发言:

C/C++标准中很少有“报错”,而是代以“未定义行为”。所谓“未定义行为”就是一切都有可能,包括“报错”。

假设C/C++标准规定这里必须报错的话,那它就得在所有free处检测参数是否合法,若不合法就报错。这代价太大,而且对于正常人写的正常代码毫无益处。
举个例子,为了防止“有人吃屎”,那就必须在所有座便器上加上检测装置。若这检测装置不要钱也就算了,否则就害得所有正常人付出了不必要的额外消费。



您的意思是有的编译器,即使释放内存两次,也还是会继续运行,只是不报错?
#4
Jonny02012018-05-06 12:43
回复 2楼 rjsp
这个比喻生动形象
#5
Jonny02012018-05-06 12:47
Clang + CLion 下是这样的
只有本站会员才能查看附件,请 登录

准确的来说, 这是未定义行为, 而并不是真正的错误
未定义行为完全取决于编译器的设计者
C++ 很多人都在讨论最坑的地方并不是语法, 而是太多的未定义行为

[此贴子已经被作者于2018-5-6 12:48编辑过]

1