小满的C++学习心得(2) 说说类构造函数和动态内存管理

早就听说C++难就难在它的内存管理，new和delete使用的一不小心轻则内存泄漏，重则损坏堆内存抛出异常。C++异常不同于一般的bug，定位和跟踪颇为困难，最近我在做《C++ Primer Plus 5th Edition》第12章第2道编程题时就吃够了它的苦头。到头来发现她是因为我内存管理不善引起的，或者也可说是对构造函数不敏感引起的。

 

这则程序主要的功能就是做一个类模拟C++内置的string类的功能，以下是这个类的头文件定义，其中私有成员str是用于储存字符串内容的，其空间由构造函数在使用时按需求用new分配：

#include<iostream> using std::ostream; using std::istream; #ifndef STRING2_H_ #define STRING2_H_ class String { private: char *str; //字符串数组头指针 int len; //字符串长度 static int num_strings; static const int CINLM=80; public: String(); //默认构造函数 String(const char *s); //以字符串数组指针为参数的构造函数 String(const String &); //复制构造函数 ~String(); int lenth()const{return len;} String &operator=(const String &); String &operator=(const char *); String operator+(const char *); //自己写的运算符“+”重载函数#1，用于String类和char*的拼接。 String operator+(const String &b); //自己写的运算符“+”重载函数#2，用于String类和String类的拼接。 char &operator[] (int i); const char &operator[] (int i) const; int has(char ch); void stringup(); void stringlow(); friend bool operator< (const String &st1,const String &st2); friend bool operator> (const String &st1,const String &st2); friend bool operator== (const String &st1,const String &st2); friend String operator+(const char *,const String &b); //自己写的运算符“+”重载函数#3，使用友元类型，用于先char*后String类的拼接。 friend ostream &operator<<(ostream &os,const String &st); friend istream &operator>>(istream &is,String &st); static int HowMany(); }; #endif

这个类功能比较多，在此文中不一一说明其功能。它其中一部分是书上的代码，一部分是我添加的。我要主要说的是我出问题的部分，也就是那三个对“+”号的重载函数。+号在此的作用是拼接两个字符串类为一个，先定义一个临时String类temp，将前一个字符串类用复制构造函数整体拷贝给temp，然后再把下一个类的字符串内容用strcat()函数拼接上去：

//WRONG1: String String::operator +(const String &b) { String temp; temp=*this; //使用对“=”的重载，是用的原书上代码，没有bug，下同。 std::strcat(temp.str,b.str); temp.len=len+b.len; return temp; } String String::operator +(const char *s) { String temp; temp=*this; std::strcat(temp.str,s); temp.len=len+std::strlen(s); return temp; } String operator+(const char *s,const String &b) { String temp; std::strcpy(temp.str,s); std::strcat(temp.str,b.str); temp.len=std::strlen(s)+b.len; return temp; }

 

使用了以下main()函数调用后，出现了一些奇怪的问题。在VS2008下用Debug模式编译时随着输入内容的不同随机出现了std::bad_alloc异常，用Release模式编译则异常每次都会出现：

#include<iostream> int main() { using namespace std; String a; String b; cin>>a;//重载“>>”，此处省略具体说明。 cin>>b; cout<<a+b;//重载“<<”，省略具体说明。 return 0; }

根据单步跟踪的结果，确定问题出现在重载“+”的函数上。（以上main函数只是为了说明问题而写，原程序很长，我花了很长时间才确定病灶所在。）

 

想了半天，想出了个馊主意，不使用原来的复制类的方式，把表示前一半字符串的类中的str字符串全部用strcpy()的方式直接复制给temp里的str成员：

//WRONG2: String String::operator +(const String &b) { String temp; std::strcpy(temp.str,str);//直接复制，下同。 std::strcat(temp.str,b.str); temp.len=len+b.len; return temp; } String String::operator +(const char *s) { String temp; std::strcpy(temp.str,str); std::strcat(temp.str,s); temp.len=len+std::strlen(s); return temp; } String operator+(const char *s,const String &b) { String temp; std::strcpy(temp.str,s); std::strcat(temp.str,b.str); temp.len=std::strlen(s)+b.len; return temp; }

 

这下子问题变得更加糟糕，无论是在Debug还是Release模式下都抛出了异常。功夫不负有心人，经过我仔细研究，终于发现病灶所在。首先，上面的程序用了String temp;这个语句来初始化类，它没有参数，因此调用了默认构造函数，默认构造函数的定义如下：

String::String() { len=4; str=new char[1]; str[0]='/0'; num_strings++; }

在默认构造函数中，成员str只被分配了一个字节的空间。因此，后面的无论是strcpy还是strcat都是在操作没有被合法分配的内存空间，抛出异常是必然的。那么前个错误版本呢？它使用了对“=”的重载对类进行直接复制，为什么也不可行？这是“=”重载的定义：

String &String::operator=(const String &st) { if(this==&st) return *this; delete[] str; len=st.len; str=new char[len+1]; std::strcpy(str,st.str); return *this; }

成员str只被分配了与等号右值的类相同大小的存储空间，没有余量。因此在后面接着使用strcat拼接也是非法操作，因为后面没有合法的内存空间了。最后，我想出了一个可行的解决方案：

//CORRECT: String String::operator +(const String &b) { int templen=len+b.len+1; char *tempstr=new char[templen]; std::strcpy(tempstr,str); std::strcat(tempstr,b.str); String temp=String(tempstr);//使用以字符串数组指针为参数的构造函数，下同。 delete[] tempstr; return temp; } String String::operator +(const char *s) { int templen=len+std::strlen(s)+1; char *tempstr=new char[templen]; std::strcpy(tempstr,str); std::strcat(tempstr,s); String temp=String(tempstr); delete[] tempstr; return temp; } String operator+(const char *s,const String &b) { int templen=std::strlen(s)+b.len+1; char *tempstr=new char[templen]; std::strcpy(tempstr,s); std::strcat(tempstr,b.str); String temp=String(tempstr); delete[] tempstr; return temp; }

它先定义一个临时的char*字符串指针，紧接着分配目标大小的空间。在这个char字符串里完成拼接后整体利用一个一字符串数组为参数的构造函数新建一个对象用于结果的传递，该构造函数定义如下：

String::String(const char *s) { len=std::strlen(s); str=new char[len+1]; std::strcpy(str,s); num_strings++; }

传递给它的字符串有多长，它就分配多少空间，以上问题就此完全解决。

 

 

通过整个过程，我认识到了内存管理对C++的重要性。同时，我们在以后定义对象是要时刻回头想想这个类的构造函数是怎么定义的，新定义的对象它的成员的初始状态是什么，这样能够避免许多不必要的麻烦。