构造函数语意学---Default Constructor的构造操作

此篇博客的主要内容

：默认构造函数什么时候被编译器创造出来，并且做了哪些事。

1.首先默认构造函数在需要的时候会被创建出来，这里的需要有两种解释1.编译器的需要，2.程序的需要，当然编译器如果需要的话那么编译器就会自己合成默认构造函数，但是如果程序需要的话那就是程序员的事情了，编译器才不会去帮程序员合成默认构造函数呢。下面举个例子来说明被程序需要的默认构造函数

class Foo
{
public:
	int a;
	int b;
};
void test()
{
	Foo bar;
	if (bar.a == 0 && bar.b == 0)
	{
		cout << "default success" << endl;
	}
}

在这段代码中我们希望输出default sucess，所以意味着a和b的值都要为0，这就要求Foo了需要有个默认构造函数可以将a和b初始化为0,但是这段代码并不会合成一个默认的构造函数，因为这个默认构造函数是程序所需要的，需要程序员自己去定义一个显示的默认构造函数就可以了，不然这段程序就有问题，无法通过编译，原因是使用了为初始化的对象，为什么没初始化呢？因为没有构造函数呀！！
小知识点的补充：全局对象的内存会在程序启动的时候被清0，局部对象配置于堆栈中，heap对象配置于自由空间中，他们都不一定会被清0，他们的内容将会是内存上次使用过的

痕迹。

在C++标准中是这么说得，对于class X,如果没有任何用户声明构造函数的话，那么会有一个默认的构造函数被隐式的声明出来，一个被隐式声明出来的默认构造函数是浅薄无能，没什么卵用的。。（其实实际上implicit trivial default constructors并不会被合并出来）

2.只有在编译器需要的时候，编译器才会去合成默认的构造函数，这里合成的构造函数只满足编译器的需要所以是notrivial的默认构造函数，这里编译器有四种情况会需要默认构造函数，下面我来一个一个详细的介绍

①带有默认构造函数的对象成员的类对象。

描述：如果一个class没有任何的construct，但是它内含一个member object,而后者有默认构造函数，那么这个class的隐式默认构造函数就说nontrivial的，编译器需要为该class合成一个默认的构造函数。

举例：

class Foo
{
public:
	Foo(){}//默认构造函数
};
class Bar
{
public:
	Foo foo;
	char *str;
};

如上述的代码被合成的Bar的默认构造函数里面还有必要的代码，能够调用class Foo的默认构造函数来处理Foo foo,但是合成的默认构造函数不会产生任何的代码来初始化str,因为初始化str是程序员的责任，将bar::foo初始化是编译器的责任，所以被合成的默认构造函数或者会是这个样子

Bar::Bar()
{
	foo.Foo::Foo();
}

为了程序的正确运行，假如说程序给类Bar定义了默认构造函数初始化str，此时因为默认构造函数被显示的定义出来的因此编译器不会合成第二个了，那么编译该如何初始化foo呢？

编译器会这么做：如果class A内含一个或者多个类对象成员，那么class A的每一个构造函数必须调用每一个类对象成员 的构造函数，编译器对于已经存在的默认构造函数会进行扩张，在其中安插一下必要的代码，使其初始化类对象成员。当然class A会按照类对象成员的声明的顺序依次调用他们的默认构造函数，这些安插的代码总是排在用户自己写的代码的前面。

举例如下：

class A{ public:A(){} };
class B{ public:B(int){} };
class C{ public :C(){} };
class D
{
private:
	A a;
	B b;
	C c;
	int a;
public:
	D()：b(5)
	{
		int a = 10;
	}
};

D的默认构造函数被扩充以后如下：

class D
{
private:
	A a;
	B b;
	C c;
	int a;
public:
	D()
	{
		a.A::A();
		b.B::B(5);
		c.C::C();
		int a = 10;
	}
};

②带有默认构造函数的基类（看到基类肯定就是继承里面的东西了）

和①类似的道理，如果一个没有任何默认构造函数的class派生自一个带有默认构造函数的基类的话，那么这个派生类会被编译器产生默认构造函数 ，它将调用基类的默认构造函数（根据他们的声明顺序。因为和1十分类似这里就不多说了！

③带有一个虚函数的类

由于缺乏用户声明的默认构造函数，编译器会详细记录合成一个默认构造函数的信息。下面举例说明

class Widget
{
public:
	virtual void flip() = 0;
	//....
};
class Bell :public Widget{ void flip(){ ; } };
class Whistle :public Widget{ void flip(){ ; } };
void flip(Widget&  widget)
{
	widget.flip();
}
void foo()
{
	Bell b;
	Whistle w;
	flip(b);
	flip(w);
}

下面的两个扩张行动会在编译期间发生

1.一个虚函数表会被编译器产生出来，里面放的是虚函数的地址

2.在每个有虚函数的类对象中，一个额外的虚表指针会编译器合成出来，它指向编译器合成的虚函数表的地址。

并且widget.flip()的调用动作也会被重写，会被写成(*(widget.vptr[1]))(&widget)

为了让这个 机制发挥作用，编译器必须为每一个有虚函数的对象的vptr指针设定初始值，放适当的虚表地址，对于自己定义默认构造函数编译器会安插一些这些功能的代码，如果自己没有写，编译器会合成一个默认的构造函数用来初始化vptr

④带有虚继承class

因为由于虚继承的实现机制，对于class的_vbcx实在class对象构造期间被完成的。对于class默认构造函数，编译器会安插一些代码来完成这些事情，所以如果class没有生命任何默认构造函数。编译器就需要给他合成默认构造函数了。