C编程指南-第9章-类的构造函数、析构函数与赋值函数（3）

高质量C++/C编程指南-第9章-类的构造函数、析构函数与赋值函数（3）2007-05-06林锐9.3 构造和析构的次序
构造从类层次的最根处开始，在每一层中，首先调用基类的构造函数，然后调用成员对象的构造函数。析构则严格按照与构造相反的次序执行，该次序是唯一的，否则编译器将无法自动执行析构过程。

一个有趣的现象是，成员对象初始化的次序完全不受它们在初始化表中次序的影响，只由成员对象在类中声明的次序决定。这是因为类的声明是唯一的，而类的构造函数可以有多个，因此会有多个不同次序的初始化表。如果成员对象按照初始化表的次序进行构造，这将导致析构函数无法得到唯一的逆序。[Eckel, p260-261]

9.4 示例：类String的构造函数与析构函数
// String的普通构造函数

String::String（const char *str）

{

if（str==NULL）

{

m_data = new char[1];

*m_data = ‘’;

}

else

{

int length = strlen（str）;

m_data = new char[length+1];

strcpy（m_data, str）;

}

// String的析构函数

String::~String（void）

{

delete [] m_data;

// 由于m_data是内部数据类型，也可以写成 delete m_data;

}

9.5 不要轻视拷贝构造函数与赋值函数
由于并非所有的对象都会使用拷贝构造函数和赋值函数，程序员可能对这两个函数有些轻视。请先记住以下的警告，在阅读正文时就会多心：

u 本章开头讲过，如果不主动编写拷贝构造函数和赋值函数，编译器将以“位拷贝”的方式自动生成缺省的函数。倘若类中含有指针变量，那么这两个缺省的函数就隐含了错误。以类String的两个对象a,b为例，假设a.m_data的内容为“hello”，b.m_data的内容为“world”。

现将a赋给b，缺省赋值函数的“位拷贝”意味着执行b.m_data = a.m_data。这将造成三个错误：一是b.m_data原有的内存没被释放，造成内存泄露；二是b.m_data和a.m_data指向同一块内存，a或b任何一方变动都会影响另一方；三是在对象被析构时，m_data被释放了两次。

u 拷贝构造函数和赋值函数非常容易混淆，常导致错写、错用。拷贝构造函数是在对象被创建时调用的，而赋值函数只能被已经存在了的对象调用。以下程序中，第三个语句和第四个语句很相似，你分得清楚哪个调用了拷贝构造函数，哪个调用了赋值函数吗？

String a（“hello”）;

String b（“world”）;

String c = a; // 调用了拷贝构造函数，最好写成 c（a）;

c = b; // 调用了赋值函数

本例中第三个语句的风格较差，宜改写成String c（a）以区别于第四个语句。

9.6 示例：类String的拷贝构造函数与赋值函数
// 拷贝构造函数

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拷贝构造函数与普通构造函数（参见9.4节）的区别是：在函数入口处无需与NULL进行比较，这是因为“引用”不可能是NULL，而“指针”可以为NULL。