剑指offer-面试题1:赋值运算符函数

题目:如下为类型CMyString的声明，请为该类型添加赋值运算符函数

class CMyString
{
public:
    CMyString(char *pData=NULL);
    CMyString(const CMyString & str);
    ~CMyString(void);

private:
    char * m_pData;
};

首先在解答这道题目之前,先要作一些说明:

1.任何类都是默认的重载赋值操作符。

2.类一旦被声明并且编译后就会为该类的实例分配内存。

3.如果类的成员变量没有在堆(动态分配)中分配内存，那么无需重载赋值操作符也可。因为这样的赋值只

是为每个成员变量赋值而已。

比如:对象A有成员变量int a1

A a;
a.a1=1;
A b;
b.a1=2; 
a=b;

当执行到a=b;这一步的时候其实即使我们没有重载赋值操作符,也会调用类A的对象a的默认赋值函数

void A::operate = (A b)
{ 
    this.a1=b.b1;
}

至此,对象a中的a1成功赋值为b1即2，没有问题的。

 

接下来我们要考虑另外一种情况

假如类A中有一个指针成员变量int *ptr;该ptr在构造函数中new了一块内存。

那么我们重新考虑类A的两个对象a,b

对象a,b分别有一个指针ptr，并且该指针在构造函数中分别new了一块内存我们分别以mema和memb表示。

在a的ptr中new的内存mema中的值我们设为1,在b的ptr中new的内存memb中的值我们设为2.

1 A a;/在构造函数new ptr(mema)
3 A b;/在构造函数new ptr(memb)
5 a=b;

当我们执行到a=b这一步的时候,我们如果没有重载赋值操作符。那么

void A::operate = (A b)
{
     this.ptr=b.ptr;5 }

乍看好像也没什么错,是的 this.ptr=b.ptr这句是将对象b.ptr的所指向的内推地址memb赋值给了a.ptr所

指向的对象。好了问题来了,那么a.ptr所指向的那块内推是分配在堆中的也就所如果我们没有主动释放它

是不会自动释放的。然而a.ptr已经指向了memb，这样很明显对象a出现了内存泄露。当然问题还不止于

此,现在a.ptr和b.ptr都同时指向了memb.那么如果当对象a或者b结束后必然会释放掉memb，比如说a先结束

释放memb，那么b.ptr是不是就成了野指针了呢,如果b先结束,那么a.ptr便成为了野指针,同时对象a还出现了内存泄露.

那么你会问为什么之前直接赋值就可以而这里直接赋值就不行呢,这就涉及一个内存管理的问题,分配在堆的

内存是需要我们用户自己释放的,而分配在栈的内存是由程序自己管理，程序结束后会自动释放。

 

现在明白重载赋值操作符的场景了吧，

那么还有几点需要说明:

1.赋值操作符重载通常形参我们是引用,引用可以减少直接传值带来的构造开销.

2.赋值操作符重载通常形参是常量,这是为了防止在赋值过程中操作符右值被修改。

3.如果为了连续赋值应该把返回值类型声明为该类型的引用,否则函数的返回值为void,不能连续赋值。

4.当然为我们还应该考虑传入的对象是否和被赋值对象是否相等。

 

综合以上因素，这道题结果如下:

CMyString& CMyString::operator = (const CMyString& str)
{
    if(this==&str)
        return *this;

    delete []m_pData;
    m_pData=NULL;

    m_pData=new char[strlen(str.m_pData)+1];

    strcpy(m_pData,str.m_pData);

    return *this;
}