之前写过一次关于浅拷贝和省拷贝的帖子,当时是在用C#过程中遇到问题,然后简单总结了一下。
这次是在写C++过程中遇到的问题,先上代码:
#include <iostream>
#include <string.h>
#include <map>
using namespace std;
class A
{
public:
A(const char* b, int l)
{
if(!b || !l) return;
buf = new char[l];
if(buf)
{
len = l;
memcpy(buf, b, len);
}
}
~A(){ delete[] buf; }
private:
char* buf;
int len;
};
int main()
{
char str[] = {'h','e','l','l','o'};
A a(str, sizeof(str));
map<int, A> mm;
mm[1] = a;
}
本来写这段代码的目的是为了测试拷贝一段内存到map的功能。
代码并不能编译通过,提示没有匹配的A(),也就是需要有空参数的构造函数。
于是自己加了一段默认构造函数,如下:
A():buf(nullptr),len(0){ }
如此一来编译可以通过,不过运行时会崩溃,提示多次析构同一块内存。
也许大家会觉得奇怪,写了这么久和标题一点关系也没有。
好了,进入正题:
首先我分析一下没有默认构造函数报错的原因,mm[1]这段代码在编译的时候会匹配对应的构造函数,也就是没有任何参数构造函数。
所以没有缺省构造函数,会编译失败。如果把mm[1] = a; 改为 mm.insert(pair<int, A>(1, a)); 就不用加缺省构造函数了。
接着我们来分析一下崩溃问题,我们需要先知道mm[1] = a; 这句代码做了什么。
前面已经说了,mm[1]其实是调用的缺省构造函数,也就是生成一个空的A,然后通过缺省的赋值函数=进行赋值操作,注意,这里的缺省构造函数是浅拷贝,
仅仅把a的指针拷给了mm[1],接着mm[1]会再进行一次拷贝构造,把对象添加进容器中。其实创建出来的三个对象里面的buf指向的是同一片内存。在赋值完成
后,之前创建的中间对象析构,释放它指向的内存空间。接着在函数结束时,map中的对象和a也被析构,释放它们所指向的内存空间,其实之前已经被释放了。
于是报出多次析构同一块内存的错。
如何修改,其实修改很简单,添加对应的拷贝构造函数和赋值函数,在调用这两个函数的时候实现深拷贝的效果就可以了,代码如下:
A(const A& other)
{
cout<<"A() copy called!!"<<endl;
if(!other.buf || !other.len)
{
buf = nullptr;
len = 0;
}
else
{
buf = new char[other.len];
if(buf)
{
len = other.len;
memcpy(buf, other.buf, len);
}
}
}
A operator=(const A& other)
{
cout<< "A == called!!"<<endl;
if(&other != this)
{
delete[] buf;
if(!other.buf || !other.len)
{
buf = nullptr;
len = 0;
}
buf = new char[other.len];
if(buf)
{
len = other.len;
memcpy(buf, other.buf, len);
}
}
return *this;
}