C++默认函数 --转

C++类的默认函数

 

　　在C++中，一个类有八个默认函数：

1. 默认构造函数；
2. 默认拷贝构造函数；
3. 默认析构函数；
4. 默认重载赋值运算符函数；
5. 默认重载取址运算符函数；
6. 默认重载取址运算符const函数；
7. 默认移动构造函数（C++11）；
8. 默认重载移动赋值操作符函数（C++11）。

 　  只是声明一个空类，不做任何事情的话，编译器会自动为你生成一个默认构造函数、一个默认拷贝构造函数、一个默认重载赋值操作符函数和一个默认析构函数。这些函数只有在第一次被调用时，才会被编译器创建，当然这几个生成的默认函数的实现就是什么都不做。所有这些函数都是inline和public的。

　　我们不希望对象被显示构造（单列模式）或赋值，可以将对应函数声明为private，或者写一个基类，开放部分默认函数，子类去继承就可以了。C++11新增标识符default和delete,控制这些默认函数是否使用。

　　default：被标识的默认函数将使用类的默认行为，如：A() = default;

　　delete：被标识的默认函数将禁用，如：A() = delete;


 　  override：被标识的函数需要强制重写基类虚函数；

　   final：被标识的函数禁止重写基类虚函数；

 1 class A
 2 {
 3 public:
 4 
 5     // 默认构造函数;
 6     A();
 7 
 8     // 默认拷贝构造函数
 9     A(const A&);
10 
11     // 默认析构函数
12     ~A();
13 
14     // 默认重载赋值运算符函数
15     A& operator = (const A&);
16 
17     // 默认重载取址运算符函数
18     A* operator & ();
19 
20     // 默认重载取址运算符const函数
21     const A* operator & () const;
22 
23     // 默认移动构造函数
24     A(A&&);
25 
26     // 默认重载移动赋值操作符
27     A& operator = (const A&&);
28 
29 };

　　下面就每个函数分别详细讨论学习，有不对之处，欢迎评论指正，您的批评指正就是在下前进的不竭动力！

一、构造函数（Constructor）

1.构造函数作用是对对象进行初始化，在堆上new一个对象或在栈上定义一个临时对象时，会自动调用对象的构造函数。有初始化列表和构造函数体内赋值两种方式，初始化列表在初始化对象时更高效（每个成员在初始化列表中只能出现一次），减少了一次赋值操作，推荐此方法；以下成员变量必须在初始化列表中初始化：常量成员变量、引用类型成员变量、没有缺省构造函数的成员变量（如果构造函数的参数列表中有一个类的对象，并且该对象的类里没有缺省参数的构造函数时，要是不使用初始化列表，参数中会调用无参或者全缺省的构造函数，而那个类中又没有）；

2.函数名与类名相同，可以重载，不能为虚函数，不能有返回值，连void也不行；

3.如果没有显式定义，编译器会自动生成一个默认的构造函数，默认的构造函什么都不会做；

4.无参构造函数和带有缺省值的构造函数（全缺省）都认为是缺省的构造函数，并且缺省的构造函数只能有一个；

5.函数体内可以使用this指针，但不可以用于初始化列表。因为构造函数只是初始化对象，初始化之前此对象已经存在了，所以可以有this，函数体里面是进行赋值，初始化列表是对类中的各个成员变量进行初始化，初始化的位置对象不完整，所以不能使用this用于初始化列表；

6.对于出现单参数的构造函数需要注意，C++会默认将参数对应的类型转换为该类类型，有时候这种隐式的转换是我们不想要的，需要使用explicit关键字来限制这种转换；

7.构造顺序：虚拟基类的构造函数（如果有多个虚拟基类，按照它们被继承的顺序构造，而不是它们在成员初始化列表中的顺序）；

　　           非虚拟基类的构造函函（如果有多个非虚拟基类，按照它们被继承的顺序构造，而不是它们在成员初始化列表中的顺序）；
　　           成员对象的构造函数（如果有多个成员类对象，按照它们声明的顺序调用，而不是它们在成员初始化列表中的顺序）；
　　           本类构造函数。构造的过程是递归的。

二、拷贝构造函数（Copy Constructor）

1.拷贝构造函数实际上是构造函数的重载，具有一般构造函数的所有特性，用此类已有的对象创建一个新的对象，一般在函数中会将已存在对象的数据成员的值复制一份到新创建的对象中。用类的一个已知的对象去初始化该类的另一个对象时，会自动调用对象的拷贝构造函数；

2.函数名与类名相同，第一个参数是对某个同类对象的引用，且没有其他参数或其他参数都有默认值，返回值是类对象的引用，通过返回引用值可以实现连续构造，即类似A(B(C))这样；

3.如果没有显式定义，编译器会自动生成一个默认的拷贝构造函数，默认的拷贝构造函数会依次拷贝类的数据成员完成初始化；

4.浅拷贝和深拷贝：编译器创建的默认拷贝构造函数只会执行"浅拷贝"，也就是通过赋值完成，如果该类的数据成员中有指针成员，也只是地址的拷贝，会使得新的对象与拷贝对象该指针成员指向的地址相同，delete该指针时则会导致两次重复delete而出错，如果指针成员是new出来就是“深拷贝”。

三、析构函数（Destructor）

1.析构函数作用是做一些清理工作，delete一个对象或对象生命周期结束时，会自动调用对象的析构函数；

2.函数名在类名前加上字符~，没有参数（可以有void类型的参数），也没有返回值，可以为虚函数（通过基类的指针去析构子类对象时候），不能重载，故析构函数只有一个；

3.如果没有显式定义，编译器会自动生成一个默认的析构函数，默认的析构函什么都不会做；

4.析构顺序：和构造函数顺序相反。析构的过程也是递归的。

四、重载赋值运算符函数（Copy Assignment operator）

1.它是两个已有对象，一个给另一个赋值的过程。当两个对象之间进行赋值时，会自动调用重载赋值运算符函数，它不同于拷贝构造函数，拷贝构造函数是用已有对象给新生成的对象赋初值的过程；

2.赋值运算符重载函数参数中const和&没有强制要求，返回值是类对象的引用，通过返回引用值可以实现连续赋值，即类似a=b=c这样，返回值类型也不是强制的，可以返回void，使用时就不能连续赋值；

3.赋值运算符重载函只能定义为类的成员函数，不能是静态成员函数，也不能是友元函数，赋值运算符重载函数不能被继承，要避免自赋值；

4.如果没有显式定义，编译器会自动生成一个默认的赋值运算符重载函数，默认的赋值运算符重载函数实现将数据成员逐一赋值的一种浅拷贝，会导致指针悬挂问题。

五、重载取址运算符（const）函数

1.重载取址运算符函数没有参数；

2.如果没有显式定义，编译器会自动生成默认的重载取址运算符函数，函数内部直接return this，一般使用默认即可。

六、移动构造函数和重载移动赋值操作符函数

1.C++11 新增move语义：源对象资源的控制权全部交给目标对象，可以将原对象移动到新对象， 用于a初始化b后，就将a析构的情况；

2.移动构造函数的参数和拷贝构造函数不同，拷贝构造函数的参数是一个左值引用，但是移动构造函数的初值是一个右值引用；

3.临时对象即将消亡，并且它里面的资源是需要被再利用的，这个时候就可以使用移动构造。移动构造可以减少不必要的复制，带来性能上的提升。

七、讨论

1.构造函数为什么不能有返回值？

  (1).C++语言规定构造函数没有返回值；

  (2).构造函数不作为右值使用，返回值也没有用；

  (3).就算有返回值，从基本语义角度来讲，也应该返回的是所构造的对象，所以没必要多此一举来指定返回类型了；

  (4).假如有返回值，讨论下面代码

class A

{

public:

A():m_iTest(0) { }

A(int i):m_iTest(i) { }

private:

int m_iTest;

};

　　按照C++的规定，A a = A();是用默认构造函数创建一个临时对象，并用这个临时对象初始化a，此时，a.m_iTest的值应该是0。现在如果A::A()有返回值，并且返回了1（表示构造成功），则C++会用1去初始化a，即调用有参数构造函数A::A(int i)，得到的a.m_iTest便会是1。于是，语义产生了歧义，使得C++原本已经非常复杂的语法，进一步混乱不堪。

　　构造函数的调用之所以不设返回值，是因为构造函数的特殊性决定的。当然，上面的讨论，也是基于C++语言规定，如果规定构造函数可以有返回值，上面用法也许就不一样了。是先有鸡还是先有蛋，这是一个神奇的问题。总之，现在C++语法体系是这样的，如果设计构造函数可以有返回值，可能整个C++语言更难实现了。

2.对象创建和销毁过程是怎样的？

  对象创建（new）过程：

  (1).通过operator new申请内存；
  (2).使用placement new调用构造函数（简单类型忽略此步）；
  (3).返回内存指针。

  new和malloc的比较：

  (1).new失败时会调用new_handler处理函数,malloc不会,失败时返回NULL；
  (2).new能通过placement new自动调用对象的构造函数，malloc不会；
  (3).new出来的东西是带类型的，malloc是void*，需要强制转换；
  (4).new是C++运算符，malloc是C标准库函数。

  new的三种形态：new operator，operator new，placement new

  (1).new operator：上面所说的new就是new operator，共有三个步骤组成（申请内存，调用构造函数，返回内存指针），对于申请内存步骤是通过运算符new(operator new)完成的，对于调用什么构造函数，可以由placement new决定；

  (2).operator new：像普通运算符一样可以被重载，operator new会去申请内存，申请失败的时候会调用new_handler处理，这是一个循环的过程，如果new_handler不抛出异常，会一直循环申请内存，直到成功；

  (3).placement new：用于定位构造函数，在指定的内存地址上用指定类型的构造函数构造对象。

  对象销毁（delete）过程：

  (1).调用析构函数（简单类型忽略此步）；

  (2).释放内存。

  delete和free比较

  (1).delete能自动调用对象的析构函数，free不会；
  (2).delete是C++运算符，free是C标准库函数。

3.拷贝构造函数参数为什么必须使用类类型对象引用传递？

　传参的位置如果一直调用拷贝构造函数，也就是会递归引用，导致栈溢出。

4.赋值运算符重载函数为什么要避免自赋值？

　(1).提高效率。自赋值无意义，如果自赋值，可以立即return *this；

   (2).如果不避免，当类的数据成员中如果含有指针，自赋值时会造成内存泄漏。

 

作者：KeepHopes