类的构造函数、析构函数、与赋值函数

类的构造函数、析构函数、与赋值函数
1.每个类只有一个析构函数和一个赋值函数，但可以有多个构造函数(包括一个拷贝构造函数，其它的称为普通构造函数)。对于任意一个类A，如果不想编写上述函数，C++编译器将自动为A产生四个缺省的函数，如：

	A(void);					//缺省的无参数构造函数
	A(const A &a);				//缺省的拷贝构造函数
	~A(void);					//缺省的析构函数
	A & operate =(const A &a);	//缺省的赋值函数

既然能自动生成函数，为什么还要程序员编写，原因如下：
(1)如果使用“缺省的无参数构造函数”和“缺省的析构函数”，等于放弃了自主“初始化”和“清除”的机会，C++发明人的好心全白费了。
(2)“缺省的拷贝构造函数”和“缺省的赋值函数”均采用“位拷贝”而非“值拷贝”的方式来实现，倘若类中含有指针变量，这两个函数注定将出错。
2.把对象的初始化工作放在构造函数中，把清除工作放在析构函数中。当对象被创建时，构造函数被自动执行，当对象消亡时，析构函数被自动执行。这下就不用担心忘了对象的初始化和清除工作。构造函数、析构函数与类同名，由于析构函数的目的与构造函数相反，就加前缀‘~’以示区别。
3.构造函数的初始化列表
构造函数有个特殊的初始化方式叫“初始化表达式表”。初始化表位于函数参数表之后，却在函数体{}之前。这说明该表里的初始化工作发生在函数内的任何代码被执行之前。
构造函数初始化表的使用规则：
(1)如果类存在继承关系，派生类必须在其初始化 表里调用基类的构造函数。
(2)类的const常量只能在初始化表里被初始化，因为它不能在函数体内用赋值的方式来初始化。
(3)类的数据成员的初始化可以采用初始化表或函数体内赋值两种方式，这两种方式的效率不完全相同。非内部数据类型的成员对象应当采用第一种方式初始化，以获取更高的效率。
4.构造和析构的次序
构造从类层次的最根处开始，在每一层中，首先调用基类的构造函数，然后调用成员对象的构函数。析构则严格按照与构造相反的次序执行，该次序是唯一的，否则编译器将无法自动执行析构过程。
示例：类String的构造函数与析构函数

	//String的普通构造函数
	String::String(const char *str)
	{
		if (str == NULL)
		{
			m_data = new char[1];
			*m_data = '\0';
		}
		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;
	}
	

5.不要轻视拷贝构造函数与赋值函数
如果不主动编写拷贝构造函数和赋值函数，编译器将以“位拷贝”的方式自动生成缺省的函数。倘若类中含有指针变量，那么这两个缺省的函数就隐含了错误。以类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被释放了两次。
拷贝函数是在对象被创建时调用的，而赋值函数只能被已经存在了的对象调用。示例如下：

	String a("hello");
	String b("world");
	String c = a;//调用了拷贝构造函数，最好写成c(a);
		   c = b;//调用了赋值函数
	示例：类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)
	{
		//检测自赋值
		if(this == &other)
			return *this;
			
		//释放原有的内存资源
		delete [] m_data;
		
		//分配新的内存资源，并复制内容
		int length = strlen(other.m_data);
		m_data = new char[length+1];
		strcpy(m_data,other.m_data);
		
		//返回本对象的引用
		return *this;
	}

类String拷贝构造函数与普通构造函数的区别是：在函数入口处无需与NULL进行比较，这是因为“引用”不可能是NULL;而“指针”可以为NULL.类的赋值函数比构造函数复杂得多，分四步实现：
(1)第一步，检查自赋值。如果delete后，自杀后是不能复制自己的，所有，如果发现自赋值，应该马上终止函数。
(2)第二步，用delete释放原有的内存资源。如果现在不释放，以后就没有机会了，将造成内存泄露。
(3)第三步，分配新的内存资源，并复制字符串。
(4)返回本对象的引用，目的是为了实现对象a=b=c这样的链式表达。
如果实在不行编写拷贝构造函数和赋值函数，又不允许别人使用编译器生成的缺省函数，只需将拷贝构造函数和赋值函数声明为私有函数，不用编写代码。如果有人调用它们时，编译器将指出错误，因为外界不可以操作私有函数。
6.在派生类中实现类的基本函数需要注意的事项：
(1)派生类的构造函数应在其初始化表里调用基类的构造函数。
(2)基类与派生类的析构函数应该为虚函数。
(3)在编写派生类的赋值函数时，注意不要忘记对基类的数据成员重新赋值。