使用默认拷贝构造存在的问题
目录
接下来我们对上次的前四个成员函数做一个细致的分析,为什么没有取地址重载两个成员函数呢,这两个不太重要且十分简单,后面我们会插入其中。
1.插入删除数据会相互影响
2.析构两次、程序崩溃
声明一个栈类
class Stack
{
public:
Stack(size_t capacity = 10)
{
cout << "Stack(size_t capacity = 10)" << endl;
_array = (DataType*)malloc(capacity * sizeof(DataType));
if (nullptr == _array)
{
perror("malloc申请空间失败");
exit(-1);
}
_size = 0;
_capacity = capacity;
}
void Push(const DataType& data)
{
// CheckCapacity();
_array[_size] = data;
_size++;
}
~Stack()
{
cout << "~Stack" << endl;
if (_array)
{
free(_array);
_array = nullptr;
_capacity = _size = 0;
}
}
private:
DataType *_array;
size_t _size;
size_t _capacity;
};
为什么析构两次会程序崩溃呢,我们调试观察一下
可以看到默认的拷贝构造定义的对象的空间都是同一个,在调用析构函数时st2先出栈,在执行完free这个步骤后连调试也不能继续进行下去了。
实现深拷贝
这并不是我们希望看到的结果, 接下来我们写一个深拷贝函数
先给拷贝对象分配新的空间
Stack(const Stack& st)//copy
{
cout << "Stack(const Stack& st)" << endl;
_array = (DataType*)malloc(sizeof(DataType) * st._capacity);
if (nullptr == _array)
{
perror("malloc申请空间失败");
exit(-1);
}
然后依次拷贝成员变量 ,我们可以使用c语言的memcpy函数
这是memcpy的函数声明
void * memcpy ( void * destination, const void * source, size_t num );
memcpy( _array, st._array, sizeof(DataType) * _size);
_capacity = st._capacity;//拷贝函数中
_size = st._size;
现在我们测试一下是否完成了深拷贝
成功拷贝!
结论:自己实现析构函数释放了空间,就需要实现相应类的拷贝构造
前面我们实现了一个MyQueue类(两个栈实现一个队列),我们来看看编译器是否能生成默认的拷贝构造。
总结
默认生成构造和析构:
1.内置类型不做处理
2.自定义类型回去调用对应构造/析构
默认生成拷贝构造和赋值重载:
1.内置类型实现浅拷贝(按字节依次拷贝)
2.自定义类型去调用这个成员的构造/赋值重载
通过这次测试,希望大家对拷贝构造有更深的认识,拷贝构造的出现场景在我的类中篇有提到,这里不多赘述。
推荐:尽可能传引用传参和引用返回可以在一定程度上减少拷贝