要使指针成员表现得像一个值,复制 HasPtr 对象时必须复制指针所指向的对象。
复制构造函数不再复制指针,它将分配一个新的 int 对象,并初始化该对象以保存与被复制对象相同的值。每个对象都保存属于自己的 int 值的不同副本。因为每个对象保存自己的副本,所以析构函数将无条件删除指针。
复制构造函数不再复制指针,它将分配一个新的 int 对象,并初始化该对象以保存与被复制对象相同的值。每个对象都保存属于自己的 int 值的不同副本。因为每个对象保存自己的副本,所以析构函数将无条件删除指针。
赋值操作符不需要分配新对象,它只是必须记得给其指针所指向的对象赋新值,而不是给指针本身赋值。
/*
* Valuelike behavior even though HasPtr has a pointer:
* Each time we copy a HasPtr object, we make a new copy of the underlying int object to which ptr points
*/
class HasPtr
{
public:
//no point to passing a pointer if we're going to copy it anyway
//store pointer to a copy of the object we're given
HasPtr(const int &p, int i):ptr(new int(p)), val(i) {}
//copy members and increment the use count
HasPtr(const HasPtr &orig):
ptr(new int(*orig.ptr)), val(orig.val) {}
HasPtr& operator=(const HasPtr &);
~HasPtr() { delete ptr; }
//accessors must change to fetch value from Ptr object
int get_ptr_val() const { return *ptr; }
int get_int() const { return val; }
//change the appropriate data member
void set_ptr(int *p) { ptr = p; }
void set_int(int i) { val = i; }
//return or change the value pointed to, so ok for const objects
int *get_ptr() const { return ptr; }
void set_ptr_val(int p) const { *ptr = p; }
private:
int *ptr;
int val;
};
HasPtr& HasPtr::operator=(const HasPtr &rhs)
{
//Note:Every HasPtr is guaranteed to point an actual int ; We know that ptr cannot be a zero pointer
*ptr = *rhs.ptr;
val = rhs.val;
return *this;
}