C++构造函数介绍

构造函数定义：

每个类都分别定义了它的对象被初始化的方式，类通过一个或几个特殊的成员函数来控制其对象的初始化过程，这些函数叫做构造函数。

从定义中，首先可以得知以下两点：

1. 构造函数也是一种类的成员函数，但是其有特殊性。
2. 任务是初始化类对象的数据成员，所以无论何时只要类对象被创建，就会执行构造函数。

构造函数与普通成员函数的区别：

1. 构造函数没有返回类型
2. 构造函数的函数名需要与类名一致
3. 构造函数不是由对象调用的，而构造函数一般对象创建时系统自动执行构造函数，当然也可以显示调用构造函数，这里言外之意就是构造函数不能被外部调用。
4. 构造函数是一个类必须有的，若没有定义构造函数，编译器在程序需要时会创建一个默认的构造函数

 分析上述中的第3、4点：显示调用构造函数和默认构造函数

  1 #include<stdio.h>
  2 //A.h
  3 class A
  4 {
  5 
  6 public:
  7     A() = default;
  8     A(int x);
  9     ~A();
 10 };
 11 
 12 //A.cpp
 13 A::A()
 14 {
 15     printf("This is the default constructor!\n");
 16 }
 17 
 18 A::A(int x)
 19 {
 20     printf("This is the customize constructor!\n");
 21 }
 22 
 23 A::~A()
 24 {
 25     printf("This is the destructor!\n");
 26 }
 27 
 28 
 29 int main()
 30 {
 31     A test; //do the A() construct function
 32     test = A(10);
 33 
 34     return 0;
 35 }

输出结果：

This is the default constructor!
This is the customize constructor!
This is the destructor!
This is the destructor!

分析：这段代码很有意思，首先创建一个对象test，然后系统调用默认构造函数A()。那什么叫默认构造函数呢？

 

默认构造函数定义：

默认构造函数就是在调用时不需要显示地传入实参的构造函数

若类没有构造函数时，编译器会制度牌没提供一个默认构造函数。当然一个类，不能有两个默认构造函数。

所以以下两个默认构造函数是不能同时存在的。

  1 class A
  2 {
  3     A() = default;  //默认构造函数
  4     A(int i = 5);   //默认构造函数
  5 };
  6 
  7 A::A(int i)
  8 {
  9 
 10 }
 11 
 12 int main()
 13 {
 14     A test;
 15     return 0;
 16 }

编译后，会发现报错。 其实从重载就可以解释，系统不知道该调用哪个默认构造函数。

 

程序自己定义的构造函数就不用多解释了（其实一般写程序都自己加上的），但是如果没有构造函数，则对象创建的时候，编译器会自动生成一个默认构造函数。那么这个编译器生成的默认构造函数有什么用呢？

 

 

默认构造函数作用1-无用构造函数

只是为了满足程序能运行，并不干其他事情，如初始化数据成员。见下面代码：

  1 #include<stdio.h>
  2 class A
  3 {
  4 public:
  5     int m_num;
  6 };
  7 
  8 
  9 int main()
 10 {
 11     A test;
 12     printf("m_num=%d\n",test.m_num);
 13     return 0;
 14 }



/以上代码等同于
class A
{
public:
    A() = default;
    int m_num;
};

输出结果为：m_num=-1031285632

从结果可以看出，虽然编译器会提供一个默认构造函数，但是这个构造函数没有做任何事情，这与我们定义了一个空的默认构造函数作用一样。

但是为什么编译器生成的默认构造函数没有初始化变量m_num，这里有个规则：

定义在块中的内置类型或复合类型（比如数组和指针）的对象被默认初始化，则它们的值将是未定义的。因此，含有内置类型或复合类型成员的类应该在类的内部初始化这些成员，或者定义一个自己的默认构造函数。否则，用户在创建类的对象时就可能得到未定义的值。

对于无用的默认构造函数，我看过一些博客，他们认为这种无用的默认构造函数不能算构造函数，因为如果用vs编译上述代码压根就编译不了，vs给的错误提示是局部变量test未初始化。但是我还是理解只要没有显示提供构造函数，编译器就会生成一个默认构造函数，不管有用还是没用。

以上仅个人在当前的意见！不一定对！

 

默认构造函数作用2-有用构造函数

一般上，当编译器被需要时才生成有用的构造函数，分为以下4个情形：

1. 当该类的类对象数据成员有默认构造函数时。

2. 当该类的基类有默认构造函数时。

3. 当该类的基类为虚基类时。

4. 当该类有虚函数时。

这部分可以参考博客：https://www.cnblogs.com/QG-whz/p/4676481.html

默认构造函数分析就到此。

 

显示调用构造函数

之前代码中有

A test; 
test = A(10);

从字面上似乎可以这样理解，先创建一个对象test，然后显示调用构造函数A（int x），在将一个东西赋值给test，因为test是个对象，那么这个东西也应该是对象。

这里有两个知识点：

（1）无名对象

（2）赋值构造函数

（3）explicit关键字：这个是隐藏知识点，这里不介绍了。

首先A（10)产生一个无名对象，然后通过赋值构造函数（上述代码编译器默认提供了operator =），赋值给test对象，然后这个无名对象销毁，调用析构函数。

 

无名对象：也叫临时对象。指的是直接由构造函数产生，但是没有被任何符号所引用的对象。例如：string("abc")，这句话产生的就是一个无名对象，这个对象产生以后，没有什么办法使用它。但是对于string str("abc")来说，则产生的是一个有名字的对象，他的名字就是 str。

无名对象的用法这里不深入探讨了。

 

赋值构造函数和拷贝构造函数，这里就不介绍了，下次单独再写。

还有构造函数初始化问题。

再一次感受到C++的魅力！