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 };

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

1、构造函数（Constructor）

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

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

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

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

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

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

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

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

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

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

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

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

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

3、析构函数（Destructor）

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

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

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

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

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

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

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

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

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

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

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

2.若是没有显式定义，编译器会自动生成默认的重载取址运算符函数，函数内部直接return this，通常使用默认便可。

6、移动构造函数和重载移动赋值操做符函数

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

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

3.临时对象即将消亡，而且它里面的资源是须要被再利用的，这个时候就可使用移动构造。移动构造能够减小没必要要的复制，带来性能上的提高。

7、讨论

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
出处：http://www.javashuo.com/article/p-kggbtvcz-eh.html
关于做者：专一C++，对大数据、人工智能领域颇感兴趣，请多多赐教！
本文为做者原创，版权归做者和博客园共有，转载或引用请注明出处，谢谢！