类String的普通构造、拷贝构造函数与赋值函数

类String的普通构造、拷贝构造函数与赋值函数：

class String
{
public:
String(const char *str = NULL); // 普通构造函数
String(const String &other); // 拷贝构造函数
~ String(void); // 析构函数
String & operate =(const String &other); // 赋值函数
private:
char *m_data; // 用于保存字符串
};

//普通构造函数
String::String(const char *str)
{
       if(str==NULL)
       {
           	m_data = new char[1]; // 得分点：对空字符串自动申请存放结束标志'\0'的空
                                  　  //加分点：对m_data加NULL 判断
           	*m_data = '\0';
       }    
       else
       {
        	int length = strlen(str);
        	m_data = new char[length+1]; // 若能加 NULL 判断则更好
        	strcpy(m_data, str);
       }
}



// String的析构函数

String::~String(void)
{
       delete [] m_data; // 或delete m_data;
}



String::String(const String &other）
{   

     // 允许操作other的私有成员m_data

     int length = strlen(other.m_data);

     m_data = new char[length+1];

     strcpy(m_data, other.m_data);

}

 

// 赋值函数

 String & String::operate =(const String &other)
 {   

         // (1) 检查自赋值

         if(this == &other)

             return *this;

        

         // (2) 释放原有的内存资源

         delete [] m_data;

        

         // （3）分配新的内存资源，并复制内容

     	int length = strlen(other.m_data);

     	m_data = new char[length+1];

        strcpy(m_data, other.m_data);

        
         // （4）返回本对象的引用
         return *this;
}   

类String拷贝构造函数与普通构造函数的区别是：在函数入口处无需与NULL进行比较，这是因为“引用”不可能是NULL，而“指针”可以为NULL。

类String的赋值函数比构造函数复杂得多，分四步实现：

（1）第一步，检查自赋值。你可能会认为多此一举，难道有人会愚蠢到写出 a = a 这样的自赋值语句！的确不会。但是间接的自赋值仍有可能出现，例如

    
// 内容自赋值

b = a;

…

c = b;

…

a = c;  
// 地址自赋值

b = &a;

…

a = *b;

 

也许有人会说：“即使出现自赋值，我也可以不理睬，大不了化点时间让对象复制自己而已，反正不会出错！”

他真的说错了。看看第二步的delete，自杀后还能复制自己吗？所以，如果发现自赋值，应该马上终止函数。注意不要将检查自赋值的if语句

if(this == &other)

错写成为

     if( *this == other)

（2）第二步，用delete释放原有的内存资源。如果现在不释放，以后就没机会了，将造成内存泄露。

（3）第三步，分配新的内存资源，并复制字符串。注意函数strlen返回的是有效字符串长度，不包含结束符‘\0’。函数strcpy则连‘\0’一起复制。

（4）第四步，返回本对象的引用，目的是为了实现象 a = b = c 这样的链式表达。注意不要将 return *this 错写成 return this 。那么能否写成return other 呢？效果不是一样吗？

不可以！因为我们不知道参数other的生命期。有可能other是个临时对象，在赋值结束后它马上消失，那么return other返回的将是垃圾。