C++析构、拷贝、赋值函数的一个知识点

看书看到这,感觉耳目一新,记录一波。

众所周知,C++的类如果没有默认构造函数,会自动生成一个。
同理,如果没有复制构造函数即A::A(const A&){}这个函数 ,则系统也会自动生成一个,但这个自动生成的复制构造函数不一定满足我们的要求。

比如下面的例子:

class A{
    public:
    int* a;
    int b;
    A()=default;
    A(int x):a(new int(10)){b=x;}
    ~A(){delete a;cout<<"我删除a了!"<<endl;}
};

其中我们定义了默认构造函数、另一个重载版本的构造函数和析构函数。但是我们没有定义复制构造函数,所以系统自动帮我们生成了一个,作用大致可以理解为下面的函数:

A(const A& another){
    a=another.a;
    b=another.b;
}

之后我们定义一个函数f:

void f(A x){}

这个函数只有一个A类型的参数,即该函数只把实参调用一次复制构造函数得到一个临时变量就退出,退出后会调用析构函数释放临时变量的空间。

我们执行下面代码:

int main(){
    A x(5);
    cout<<x.a<<endl<<*(x.a)<<endl;
    f(x);//调用默认的复制构造函数
    cout<<x.a<<endl<<*(x.a)<<endl;
	getchar();
	getchar();
}

得到:
在这里插入图片描述
实际调用f(x)时系统生成的默认复制构造函数简单的把指针a的值赋给形参的a,即下面代码的含义:

A(const A& another){
    a=another.a;
    b=another.b;
}

所以x和f(x)构造的临时变量的成员a都指向同一块内存。
f(x)调用完毕后会调用析构函数把临时变量释放掉。所以这个临时变量的a指针就会被delete。而这个临时变量的a正好等于x的a。所以调用f(x)之后,x的成员a指向了一块无效内存(图中可以看到调用f(x)后x的成员a指向的内存数据发生了变化),这样是相当不安全的!

如果我们在主函数后面加上一行A y(x); 则由于默认的复制构造函数为简单的拷贝,所以y的成员a也等于x的成员a,二者都指向了无效内存!

上面这个例子的问题是:我们定义了自己的析构函数,但没有定义复制构造函数和赋值运算符重载,所以在复制时不同实例的成员数据发生了重叠。并且复制而来的临时变量的释放会导致原本变量的数据的丢失。

C++primer上说,如果定义析构函数,就要把复制构造函数、赋值运算符重载全部定义,否则容易出现问题。

另外一个知识点,好像之前看剑指offer也看过来着,当时印象不深:

编写类时的赋值运算符重载时,注意两点:
1.自赋值能正常运行不报错。
2.赋值运算符一般都集合了复制构造函数和析构函数二者的功能。

例子:

A& operator=(const A& x){
        if(this!=&x){
            A temp(x);
            a=temp.a;
            b=temp.b;
            //......//
        }
        return *this;
    }

先建立一个临时变量,然后依次赋值成员变量的值到this的成员,最后返回当前实例的引用,这样函数退出时temp也被自动析构释放。当然这个例子是建立在已经写好复制构造函数和析构函数的前提下,否则这个函数中 程序员应该自己写好对应的功能。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值