(42)构造函数

每个类都定义了它的对象被初始化的方式，类通过一个或几个特殊的成员函数来控制其对象的初始化过程，这些函数叫做构造函数。构造函数的人物是初始化类对象的数据成员，无论何时只要类的对象被创建，就会执行构造函数。

构造函数的名字和类名相同。和其他函数不一样的是，构造函数没有返回类型，除此之外类似于其他的函数，构造函数也有一个（可能为空的）参数列表和一个（可能为空的）函数体。类可以包含多个构造函数，和其他重载函数差不多，不同的构造函数之间必须在参数数量或参数类型上有所区别。

不同于其他成员函数，构造函数不能被声明成const的。当我们创建类的一个const对象时，直到构造函数完成初始化过程，对象才能真正取得其“常量”属性。因此，构造函数在const对象构造过程中可以向其写值。

合成的默认构造函数

类通过一个特殊的构造函数来控制默认初始化过程，这个函数叫做默认构造函数。默认构造函数无须任何实参。
默认构造函数在很多方面有其特殊性：其中之一是如果我们的类没有显示的定义构造函数没那么编译器会为我们隐式地定义一个默认构造函数。编译器创建的构造函数又被称为合成的默认构造函数。

合成的默认构造函数初始化类的数据成员的规则：
一.如果存在类内的初始值，用它来初始化成员
二.否则默认初始化该成员

对于一个普通的类来说，必须定义它自己的默认构造函数，原因有三：
第一是编译器只有在发现类不包含任何构造函数的情况下才会替我们生成一个默认的构造函数。
第二是对于某些类来说，合成的默认构造函数可能执行错误的操作。（默认初始化将产生未定义值）
第三是有的时候编译器不能为某些类合成默认的构造函数。

=default的含义

Student()=default;

在参数列表后面写上=default来要求编译器生成构造函数。其中，=default既可以和声明一起出现在类的内部，也可以作为定义出现在类的外部。和其他函数一样，如果=default在类的内部，则默认构造函数是内联的，如果在类的外部，则该成员默认情况下不是内联的。

构造函数初始值列表

就对象的数据成员而言，初始化和赋值也有类似的区别。如果没有在构造函数的初始值列表中显示地初始化成员，则该成员将在构造函数体之前执行默认初始化，

有时我们可以忽略数据成员初始化和赋值之间的差异，但并非总能这样。如果成员是const或者引用的话，必须将其初始化。而且我们初始化const或者引用类型的唯一机会是通过构造函数初始值。

成员的初始化顺序与它们在类定义中的顺序一致：第一个成员先被初始化，然后第二个，以此类推。构造函数初始值列表中初始值的前后关系不会影响实际的初始化顺序。

委托构造函数

一个委托构造函数使用它所属类的其他构造函数执行它自己的初始化过程，或者说它把自己的一些（或者全部）职责委托给了其他构造函数。如：

#include<iostream>
using namespace std;
class Student {
	int id;
public:
	Student(int ID) :id(ID) {}
	Student(string s) :Student(2) {}
	void get() {
		cout << id << endl;
	}
};
void main() {
	Student stu1(1);
	Student stu2("s");
	stu1.get();
	stu2.get();
	system("pause");
}

默认构造函数的作用

当对象被默认初始化或值初始化时自动执行默认构造函数。默认初始化在以下情况下发生：

一.当我们在块作用域内不使用任何初始化值定义一个非静态变量或者数组时

二.当一个类本身含有类类型的成员且使用合成的默认构造函数时

三.当类类型的成员没有在构造函数初始值列表中显示地初始化时

值初始化在以下情况发生：

一.在数组初始化的过程中如果我们提供的初始值数量少于数组的大小时

二.当我们不使用初始值定义一个局部静态变量时

三.当我们通过书写形式如T（）的表达式显式地请求值初始化时，其中T是类型名

如果想定义一个使用默认构造函数进行初始化对象，正确的方法是去掉对象名之后的空的括号对。

隐式的类类型转换

如果构造函数只接受一个实参，则它实际上定义了转换为此类类型的隐式机制，有时我们把这种构造函数称作转换构造函数，编译器只会自动地执行一步类型转换，而且类类型转换不是总有效。

抑制构造函数定义的隐式转换

在要求隐式转换程序上下文中，我们可以通过将构造函数声明为explicit加以阻止。

关键字explicit只对一个实参的构造函数有效。需要多个实参的构造函数不能用于执行隐式转换，所以无须将这些构造函数指定为explicit的。只能在类内声明构造函数时使用explicit关键字，在类外部定义时不应重复

explicit构造函数只能用于直接初始化。尽管编译器不会将explicit的构造函数用于隐式转换过程，但是我们可以使用这样的构造函数显式地强制进行转换。

标准库中含有显式构造函数的类

标准库类中含有单参数的构造函数：

一.接收一个单参数的const char*的string构造函数不是explicit的

二.接收一个容量参数的vector构造函数是explicit的