构造函数、析构函数和赋值函数

妖狐艹你老母 2022-08-01 14:59 292阅读 0赞

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

学过C++的人都说自己知道构造函数、析构函数与赋值函数。它们看似太普通，以致让人容易麻痹大意，但请你认真读完这部分内容，你会发现这些貌似简单的函数实则像没有顶盖的下水道那样危险。

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

**\[cpp\]**  [view plain][] [copy][view plain]

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

这不禁让人疑惑，既然能自动生成函数，为什么还要程序员编写？

原因如下：

（1）如果使用“缺省的无参数构造函数”和“缺省的析构函数”，等于放弃了自主“初始化”和“清除”的机会，C++发明人Stroustrup的好心好意白费了。

（2）**“缺省的拷贝构造函数”和“缺省的赋值函数”均采用“位拷贝”而非“值拷贝”的方式来实现，倘若类中含有指针变量，这两个函数注定将出错**。

这部分内容中以类String 的设计与实现为例，深入阐述被很多教科书忽视了的道理。事实上，这个例子至今仍然被很多公司哪来做笔试面试题，去年笔试的时候遇到过好几次，希望大家能从中得到一点帮助。String的结构如下：

**\[cpp\]**  [view plain][] [copy][view plain]

1.  **class** String   
2.  \{   
3.  **public**:   
4.  String(**const** **char** \*str = NULL);  // 普通构造函数  
5.  String(**const** String &other);  // 拷贝构造函数  
6.  ~ String(**void**); // 析构函数  
7.  String & operate =(**const** String &other); // 赋值函数  
8.  **private**:   
9.  **char**   \*m\_data;  // 用于保存字符串  
10. \}; 。

## 1 构造函数与析构函数初步 ##

作为比C更先进的语言，C++提供了更好的机制来增强程序的安全性。C++编译器具有严格的类型安全检查功能，它几乎能找出程序中所有的语法问题，这的确帮了程序员的大忙。现在比较容易犯的是级别高的错误，它们通常隐藏得很深。而笔试面试中考察的也多是这些错误，而其中和构造析构函数相关的问题不少。

不少难以察觉的程序错误是由于变量没有被正确初始化或清除造成的，而初始化和清除工作很容易被人遗忘。Stroustrup在设计C++语言时充分考虑了这个问题并很好地予以解决：把对象的初始化工作放在构造函数中，把清除工作放在析构函数中。当对象被创建时，构造函数被自动执行。当对象消亡时，析构函数被自动执行。这下就不用担心忘了对象的初始化和清除工作。

构造函数与析构函数的名字不能随便起，必须让编译器认得出才可以被自动执行。**构造函数、析构函数与类同名**，由于**析构函数的目的与构造函数的相反，就加前缀‘~’以示区别**。

除了名字外，构造函数与析构函数的另一个特别之处是**没有返回值类型**，这与返回值类型为void的函数不同。构造函数与析构函数的使命非常明确，就象出生与死亡，光溜溜地来光溜溜地去。如果它们有返回值类型，那么编译器将不知所措。为了防止节外生枝，干脆规定没有返回值类型。

## 2 构造函数的初始化表 ##

这是经常出的考点以至于要单独拿出一节来提一提。

构造函数有个特殊的初始化方式叫“初始化表达式表”（简称初始化表）。初始化表位于函数参数表之后，却在函数体\{\}之前。这说明该表里的初始化工作发生在函数体内的任何代码被执行之前。

以下是构造函数初始化表的使用规则和注意点：

1）**如果类存在继承关系，派生类必须在其初始化表里调用基类的构造函数**。

例如

**\[cpp\]**  [view plain][] [copy][view plain]

1.  **class** A   
2.  \{…  
3.  A(**int** x);  // A的构造函数  
4.  \};   
5.  **class** B : **public** A   
6.  \{…  
7.  B(**int** x, **int** y);// B的构造函数  
8.  \};   
9.  B::B(**int** x, **int** y)   
10. : A(x) // 在初始化表里调用A的构造函数  
11. \{   
12. …  
13. \}

2）**类的const 常量只能在初始化表里被初始化**，因为它不能在函数体内用赋值的方式来初始化。

3）类的数据成员的初始化可以采用初始化表或函数体内赋值两种方式，这两种方式的效率不完全相同。

**非内部数据类型的成员对象应当采用第一种方式初始化，以获取更高的效率**。例如

**\[cpp\]**  [view plain][] [copy][view plain]

1.  **class** A   
2.  \{…  
3.  A(**void**);  // 无参数构造函数  
4.  A(**const** A &other);   // 拷贝构造函数  
5.  A & operate =( **const** A &other);  // 赋值函数  
6.  \}；  
7.  **class** B   
8.  \{   
9.  **public**:   
10. B(**const** A &a); // B的构造函数  
11. **private**:   
12. A  m\_a; // 成员对象  
13. \};

例下图左，类B的构造函数在其初始化表里调用了类A的拷贝构造函数，从而将成员对象m\_a初始化。

下图右中，类B的构造函数在函数体内用赋值的方式将成员对象m\_a初始化。我们看到的只是一条赋值语句，但实际上B的构造函数干了两件事：先暗地里创建m\_a对象（调用了A的无参数构造函数），再调用类A的赋值函数，将参数a赋给m\_a。

** 对于内部数据类型的数据成员而言，两种初始化方式的效率几乎没有区别**，但后者的程序版式似乎更清晰些。若类F的声明如下：

**\[cpp\]**  [view plain][] [copy][view plain]

1.  **class** F   
2.  \{   
3.  **public**:   
4.  F(**int** x, **int** y);    // 构造函数  
5.  **private**:   
6.  **int** m\_x, m\_y;   
7.  **int** m\_i, m\_j;   
8.  \}

下图左F的构造函数采用了第一种初始化方式，下图右F的构造函数采用了第二种初始化方式。

## 3 构造和析构的次序 ##

构造从类层次的最根处开始，在每一层中，首先调用基类的构造函数，然后调用成员对象的构造函数。析构则严格按照与构造相反的次序执行，该次序是唯一的，否则编译器将无法自动执行析构过程。

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

## 4 典型例子：类String的构造函数与析构函数 ##

**\[cpp\]**  [view plain][] [copy][view plain]

1.  // String的普通构造函数  
2.  String::String(**const** **char** \*str)   
3.  \{   
4.  **if**(str==NULL)   
5.  \{   
6.  m\_data = **new** **char**\[1\];   
7.  \*m\_data = ‘\\0’;   
8.  \}   
9.  **else**   
10. \{   
11. **int** length = strlen(str);   
12. m\_data = **new** **char**\[length+1\];   
13. strcpy(m\_data, str);   
14. \}   
15. \}   
16. // String的析构函数  
17. String::~String(**void**)   
18. \{   
19. **delete** \[\] m\_data;   
20. // 由于m\_data是内部数据类型，也可以写成delete m\_data;   
21. \}

## 5 关于拷贝构造函数和赋值函数 ##

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

1）开头处讲过，如果不主动编写拷贝构造函数和赋值函数，编译器将以“位拷贝”的方式自动生成缺省的函数。倘若类中含有指针变量，那么这两个缺省的函数就隐含了错误。以类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被释放了两次。

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

**\[cpp\]**  [view plain][] [copy][view plain]

1.  String a(“hello”);   
2.  String b(“world”);   
3.  String c = a; // 调用了拷贝构造函数，最好写成c(a);   
4.  c = b; // 调用了赋值函数

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

## 6 示例：类String的拷贝构造函数与赋值函数 ##

**\[cpp\]**  [view plain][] [copy][view plain]

1.  // 拷贝构造函数  
2.  String::String(**const** String &other)   
3.  \{   
4.  // 允许操作other的私有成员m\_data   
5.  **int** length = strlen(other.m\_data);   
6.  m\_data = **new** **char**\[length+1\];   
7.  strcpy(m\_data, other.m\_data);   
8.  \}   
9.  // 赋值函数  
10. String & String::operate =(**const** String &other)   
11. \{   
12. // (1) 检查自赋值  
13. **if**(**this** == &other)   
14. **return** \***this**;   
15. // (2) 释放原有的内存资源  
16. **delete** \[\] m\_data;   
17. // （3）分配新的内存资源，并复制内容  
18. **int** length = strlen(other.m\_data);   
19. m\_data = **new** **char**\[length+1\];   
20. strcpy(m\_data, other.m\_data);   
21. // （4）返回本对象的引用  
22. **return** \***this**;   
23. \}

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

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

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

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

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

**\[cpp\]**  [view plain][] [copy][view plain]

1.  **if**(**this** == &other)

错写成为

**\[cpp\]**  [view plain][] [copy][view plain]

1.  **if**( \***this** == other)

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

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

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

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

## 7 偷懒的办法处理拷贝构造函数与赋值函数 ##

如果我们实在不想编写拷贝构造函数和赋值函数，又不允许别人使用编译器生成的缺省函数，怎么办？

偷懒的办法是：只需将拷贝构造函数和赋值函数声明为私有函数，不用编写代码。

例如：

**\[cpp\]**  [view plain][] [copy][view plain]

1.  **class** A   
2.  \{ …  
3.  **private**:   
4.  A(**const** A &a); // 私有的拷贝构造函数  
5.  A & operate =(**const** A &a); // 私有的赋值函数  
6.  \};

如果有人试图编写如下程序：

**\[cpp\]**  [view plain][] [copy][view plain]

1.  A b(a);  // 调用了私有的拷贝构造函数  
2.  b = a;   // 调用了私有的赋值函数

编译器将指出错误，因为外界不可以操作A的私有函数。

## 8 如何在派生类中实现类的基本函数 ##

基类的构造函数、析构函数、赋值函数都不能被派生类继承。如果类之间存在继承关系，在编写上述基本函数时应注意以下事项：

1）派生类的构造函数应在其初始化表里调用基类的构造函数。

2）基类与派生类的析构函数应该为虚（即加virtual关键字）。例如

**\[cpp\]**  [view plain][] [copy][view plain]

1.  \#include <iostream.h>   
2.  **class** Base   
3.  \{   
4.  **public**:   
5.  **virtual** ~Base() \{ cout<< "~Base" << endl ; \}   
6.  \};   
7.  **class** Derived : **public** Base   
8.  \{   
9.  **public**:   
10. **virtual** ~Derived() \{ cout<< "~Derived" << endl ; \}   
11. \};   
12. **void** main(**void**)   
13. \{   
14. Base \* pB = **new** Derived; // upcast   
15. **delete** pB;   
16. \}

输出结果为：

~Derived

~Base

如果析构函数不为虚，那么输出结果为

~Base

3）在编写派生类的赋值函数时，注意不要忘记对基类的数据成员重新赋值。例如：

**\[cpp\]**  [view plain][] [copy][view plain]

1.  **class** Base   
2.  \{   
3.  **public**:   
4.  …  
5.  Base & operate =(**const** Base &other); // 类Base的赋值函数  
6.  **private**:   
7.  **int** m\_i, m\_j, m\_k;   
8.  \};   
9.  **class** Derived : **public** Base   
10. \{   
11. **public**:   
12. …  
13. Derived & operate =(**const** Derived &other);  // 类Derived的赋值函数  
14. **private**:   
15. **int** m\_x, m\_y, m\_z;   
16. \};   
17. Derived & Derived::operate =(**const** Derived &other)   
18. \{   
19. //（1）检查自赋值  
20. **if**(**this** == &other)   
21. **return** \***this**;   
22. //（2）对基类的数据成员重新赋值  
23. Base::operate =(other);  // 因为不能直接操作私有数据成员  
24. //（3）对派生类的数据成员赋值  
25. m\_x = other.m\_x;   
26. m\_y = other.m\_y;   
27. m\_z = other.m\_z;   
28. //（4）返回本对象的引用  
29. **return** \***this**;   
30. \}   
31.

[http_blog.csdn.net_han_xiaoyang_article_details_10833931]: http://blog.csdn.net/han_xiaoyang/article/details/10833931
[view plain]: http://blog.csdn.net/han_xiaoyang/article/details/10833931#