C++语法|对象的浅拷贝和深拷贝

admin2024-05-15  1

文章目录

  • 浅拷贝
  • 自定义拷贝构造
  • 为什么不用memcpy
  • 赋值操作引起的浅拷贝问题
  • 重载赋值运算符

浅拷贝

int main () {
    SeqStack s1(10);
    SeqStack s2 = s1;  //#1
    //SeqStack s3 = s1; #2 1和2都是调用拷贝构造
    //SeqStack s4; s4 = s1 #这个才是调用operator=
    return 0;
}

程序会直接崩溃,终端提示我们两次释放相同的内存空间,造成内存泄漏。
这是由于代码SeqStack s2 = s1;明显是调用了默认的拷贝构造函数,默认的拷贝构造其实是一个浅拷贝。
可以看如下图:
C++语法|对象的浅拷贝和深拷贝,在这里插入图片描述,第1张
所以说在析构的时候,先析构s2,导致我们new int[10]这块内存就已经没有了,s1中的pstack_成为了一个野指针,我们在析构一个已经释放了的内存。

自定义拷贝构造

SeqStack(const SeqStack &src) {
	//以下就是默认的浅拷贝操作
	//pstack_ = src.pstack_;
	//top_ = src.top_;
	//size_ = src.size_;
	pstack_ = new int[srtc.size_];
	for (int i = 0; i <= src.top_; ++i) {
		pstack_ = src.pstack_;
	}
	top_ = src.top_;
	size_ = src.size_;
}

在这里我们就对指针类型做了一个深拷贝。

为什么不用memcpy

我们在进行数据拷贝的时候,都是用的for循环,而不用memcpy,这是为什么呢?

C++语法|对象的浅拷贝和深拷贝,在这里插入图片描述,第2张
如图所示,我们需要把小内存的数据全部放到大内存上来实现扩容,或者数据的迁移。

因为我们在进行数据拷贝的时候,假如我们要把这块内存上的数据拷贝到那块内存上,如果这块内存上的数据仅仅是里面放int型,但是每一个整型都不占用该整型之外的资源(堆上的资源),就是说这块内存本身就只是放了一块值而已。

那使用内存的memcpy拷贝到那块大内存中,那是没有任何问题的。

那我们假设一下,这个数组里面放的不是整型,而是对象,而且每一个对象里面都有指针,而且还指向了外部的资源,也就是说这个数组里面存的对象的浅拷贝是有问题的。

比如说我们的ptmp[i]里面放的不是整型而是对象,那么我用memcpoy的话就只是把对象本身的内存拷贝了一份,这做的都是浅拷贝的操作

浅拷贝的问题就是,让我们拷贝完的对象里面由于指针跟我们原来对象内存里面的指针指向的都是同一块资源,等我们拷贝完之后,删除小内存中的对象,会自动调用析构函数,析构函数会释放对象资源,那不就直接把我们打指针对象指向的那块堆内存也释放掉了。导致我们拷贝的那些对象的指针都成为了野指针。
C++语法|对象的浅拷贝和深拷贝,在这里插入图片描述,第2张
所以说面向对象编程里面,数据的拷贝必须得用for循环来防止内存泄漏的问题

赋值操作引起的浅拷贝问题

int main () {
    SeqStack s1(10);
    SeqStack s2 = s1;  //#1
    //SeqStack s3 = s1; #2 1和2都是调用拷贝构造
    //SeqStack s4; 
    s4 = s3; //赋值操作=》做直接的潜拷贝
    return 0;
	}
}

同理,如果我们不在类里面不重载赋值运算符,编译器会为我们调用默认的赋值操作。

我们仍然会在第二次析构的时候出现问题。

所以我们需要重载赋值运算符operator=

重载赋值运算符

void operator= (const SeqStack &src) {
	pstack_ = new int[srtc.size_];
	for (int i = 0; i <= src.top_; ++i) {
		pstack_ = src.pstack_;
	}
	top_ = src.top_;
	size_ = src.size_;
}

至此,完美解决。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明原文出处。如若内容造成侵权/违法违规/事实不符,请联系SD编程学习网:675289112@qq.com进行投诉反馈,一经查实,立即删除!