五、析构函数和this指针

前面的一些例子都没有说明析构函数，这是因为所用到的类在结束时不需要做特别的清理工作。下面的程序给出了一新的Date类，其中包括一个字符串指针，用来表示月份。

#include iostream.h #include string.h

class Date {

int mo,da,yr; char *month; public:

Date(int m=0, int d=0, int y=0); ~Date();

void display() const; };

Date::Date(int m,int d,int y) {

static char *mos[] = {

January,February,March,April,May,June,

July,August,September,October,November,December };

mo=m; da=d; yr=y; if(m!=0) {

month=new char[strlen(mos[m-1])+1]; strcpy(month, mos[m-1]); }

else month = 0; }

Date::~Date() {

delete [] month; }

void Date::display() const {

if(month!=0) cout<{

Date birthday(8,11,1979); birthday.display(); return 0; }

在Date对象的构造函数中，首先用new运算符为字符串month动态分配了内存，然后从内部数组中把月份的名字拷贝给字符串指针month。

析构函数在删除month指针时，可能会出现一些问题。当然从这个程序本身来看，没什么麻烦；但是从设计一个类的角度来看，当Date类用于赋值时，就会出现问题。假设上面的main()修改为“ int main() {

Date birthday(8,11,1979);

Date today; today=birthday;

birthday.display(); return 0; }

这会生成一个名为today的空的Date型变量，并且把birthday值赋给它。如果不特别通知编译器，它会简单的认为类的赋值就是成员对成员的拷贝。在上面的程序中，变量birthday有一个字符型指针month，并且在构造函数里用new运算符初始化过了。当birthday离开其作用域时，析构函数会调用delete运算符来释放内存。但同时，当today离开它的作用域时，析构函数同样会对它进行释放操作，而today里的month指针是birthday里的month指针的一个拷贝。析构函数对同一指针进行了两次删除操作，这会带来不可预知的后果。

如果假设today是一个外部变量，而birthday是一个自变量。当birthday离开其作用域时，就已经把对象today里的month指针删除了。显然这也是不正确的。

再假设有两个初始化的Date变量，把其中一个的值赋值给另一个： Date birthday(8,11,1979); Date today(12,29,2003); today=birthday;

问题就更复杂了，当这两个变量离开作用域时，birthday中的month的值已经通过赋值传递给了today。而today中构造函数用new运算符给month的值却因为赋值被覆盖了。这样，birthday中的month被删除了两次，而today中month却没有被删除掉。

二、重载赋值运算符

为了解决上面的问题，我们应该写一个特殊的赋值运算符函数来处理这类问题。当需要为同一个类的两个对象相互赋值时，就可以重载运算符函数。这个方法可以解决类的赋值和指针的释放。

下面的程序中，类中的赋值函数用new运算符从堆中分配了一个不同的指针，该指针获取赋值对象中相应的值,然后拷贝给接受赋值的对象。

在类中重载赋值运算符的格式如下： void operator = (const Date&)

后面我们回加以改进。目前，重载的运算符函数的返回类型为void。它是类总的成员函数，在本程序红，是Date类的成员函数。它的函数名始终是operator =，参数也始终是同一个类的对象的引用。参数表示的是源对象，即赋值数据的提供者。重载函数的

运算符作为目标对象的成员函数来使用。

#include iostream.h #include string.h

class Date {

int mo,da,yr; char *month; public:

Date(int m=0, int d=0, int y=0); ~Date();

void operator=(const Date&); void display() const; };

Date::Date(int m, int d, int y) {

static char *mos[] = {

January,February,March,April,May,June,

July,August,September,October,November,December };

mo = m; da = d; yr = y; if (m != 0) {

month = new char[strlen(mos[m-1])+1]; strcpy(month, mos[m-1]); }

else month = 0; }

Date::~Date() {

delete [] month; }

void Date::display() const {

if (month!=0) cout<> name;

if (strncmp(name, end, 3) == 0) break; ListEntry* list = new ListEntry(name);

if (prev != 0) prev->AddEntry(*list); prev = list; }

while (prev != 0) {

prev->display(); ListEntry* hold = prev; prev = prev->PrevEntry(); delete hold; } return 0; }

程序运行时，会提示输入一串姓名，当输入完毕后，键入end，然后程序会逆序显示刚才输入的所有姓名。

程序中ListEntry类含有一个字符串和一个指向前一个表项的指针。构造函数从对中获取内存分配给字符串，并把字符串的内容拷贝到内存，然后置链接指针为NULL。析构函数将释放字符串所占用的内存。

成员函数PrevEntry()返回指向链表前一个表项的指针。另一个成员函数显示当前的表项内容。

成员函数AddEntry()，它把this指针拷贝给参数的preventry指针，即把当前表项的地址赋值给下一个表项的链接指针，从而构造了一个链表。它并没有改变调用它的listEntry对象的内容，只是把该对象的地址赋给函数的参数所引用的那个ListEntry对象的preventry指针，尽管该函数不会修改对象的数据，但它并不是常量型。这是因为，它拷贝对象的地址this指针的内容给一个非长常量对象，而编译器回认为这个非常量对象就有可能通过拷贝得到的地址去修改当前对象的数据，因此AddEntry()函数在声明时不需要用const。