我们可以定义拷贝操作,使类的行为看起来像一个值或者像一个指针,这取决于如何拷贝指针成员。
当我们拷贝一个像值的对象时,副本和原对象是完全独立的,改变副本不会对原对象有任何影响,反之亦然。标准库容器和string类的行为像一个值。
当我们拷贝一个行为像指针的类的对象时,副本和原对象使用相同的底层数据,改变副本也会改变原对象,反之亦然。
一、行为像值的类
class HasPtr { public: HasPtr(const HasPtr&) :ps(new string(*p.ps), i(p.i)){} HasPtr& operator=(const HasPtr &); ~HasPtr(){ delete ps; } private: string *ps; int i; }; /* 通过先拷贝右侧运算对象,我们可以处理自赋值情况,并能保证异常发生时代码安全 */ HasPtr& HasPtr::operator=(const HasPtr &rhs) { auto newp = new string(*rhs.ps);//拷贝底层string delete ps;//释放旧内存 ps = newp; i = rhs.i; return *this; } HasPtr& HasPtr::operator=(const HasPtr &rhs) { delete ps;//释放旧内存 //如果rhs和*this是同一个对象,我们就将从已释放的内存中拷贝数据 ps = new string(*rhs.ps); i = rhs.i; return *this; }
二、定义行为像指针的类
因为可能会有多个类的指针指向同一个地址,所以使用引用计数,引用计数是个指针,如果是个值得话,考虑下面情况。
HasPtr p1("ljy");
HasPtr p2(p1);
HasPtr p3(p1);//p1,p2,p3指向相同的string,若引用计数是值的话,无法更新
class HasPtr { private: string *ps; int i; int *use; public: HasPtr(const HasPtr &p) :ps(p.ps), i(p.i), use(p.use){ ++*use; } HasPtr& operator=(const HasPtr&); ~HasPtr(); }; HasPtr::~HasPtr() { if (--*use == 0) { delete ps; delete use; } } HasPtr& HasPtr::operator=(const HasPtr &rhs) { ++*rhs.use; if (--*use == 0) { delete ps; delete use; } ps = rhs.ps; i = rhs.i; use = rhs.use; return *this; }