学习笔记：构造函数

构造函数是特殊的成员函数，只要创建类类型的新对象，都要执行构造函数。

构造函数的工作是保证每个对象的数据成员具有合适的初始值。

构造函数的名字和类的名字相同，并且不能指定返回类型，像其他任何函数一样，它们可以没有形参，也可以定义多个形参。

1.1 构造函数可以被重载

1.2 实参决定使用哪个构造函数

1.3 构造函数自动执行

只要创建该类型的一个对象，编译器就运行一个构造函数。

1.4 构造函数不能声明为const

创建类类型的const对象时，运行一个普通构造函数来初始化该const对象。

2.1 构造函数初始化式

构造函数还可以包含一个构造函数初始化列表：

B(const string &book):m1(book), m2(0), m3(0.0) { }

构造函数初始化列表以一个冒号开始，接着是一个以逗号分割的数据成员列表，每个数据成员后面跟一个放在圆括号中的初始化式。

构造函数初始化式只在构造函数的定义中而不是声明中制定。

省略初始化列表并在构造函数的函数体内对数据成员赋值是合法的。例如：

B::B(const string &book) {
m1 = "book", 
m2 = 0;
m3 = 0.0;
}

这个构造函数给类B的成员函数赋值，但没有进行显示的初始化。不管是否有显式的初始化式，在执行这个构造函数之前，要先初始化m1,m2,m3。这个构造函数隐式的使用默认的string构造函数来初始化成员变量，所以执行这个构造函数之后，m1,m2,m3被构造函数体中的赋值所覆盖。

也就是说，定义初始化列表和没有定义初始化列表的构造函数的区别在于，前者是初始化数据成员，否者是对调用了默认构造函数后的数据成员进行赋值。

没有默认构造函数的类类型的成员，以及const或引用类型的成员，都必须在构造函数初始化列表中进行初始化。（初始化const或应用类型数据成员的唯一机会是在构造函数初始化列表中。）例如，当成员变量m2的声明是const int m2；则上面的构造函数是错误的，只能用初始化列表。

2.2成员初始化的次序

成员被初始化的次序就是定义成员的次序。例如：

class X {
  int i;
  int j;
public:
   X(int k): j(k), i(j) { }
};

上面的初始化的效果是先用尚未初始化的j来初始化i，接着才是用初始化j，这样做通常跟预期的效果是不一样的，有时是危险的。

3 默认实参与构造函数

4 默认构造函数

4.1 综合的默认构造函数

只有当一个类没有定义构造函数时，编译器才会自动生成一个默认构造函数。

综合的默认构造函数初始化成员，具有类类型的成员通过各自的默认构造函数来进行初始化，内置和符合类型的成员，如指针和数组，只对定义在全局作用域的对象才初始化，对定义在局部作用域的内置或复合类型成员不进行初始化。

4.2 类通常应定义一个默认构造函数

4.3 使用默认构造函数

先看一条语句：

B b();

如果我们要声明用一个默认构造函数初始化的对象，用上面的方法就错了，编译器其实认为这是个函数的声明，使用默认构造函数正确的声明方式：

B b;

去掉括号，或者：

B b = B();

4.4 隐式类类型转换

看以下代码：

B func(B b) {
  return b;
}
void main() {
  B temp = func(5);
}

func期待的实参类型是B，但是传递的确是int类型，这里编译器使用int的构造函数生成一个新的临时的B对象传递给func函数。也就是将5隐式的转换成了B对象。

通过在构造函数前添加关键字explicit可消除这种隐式转换。

4.5 类成员的显式初始化

对于没有定义构造函数并且其全体数据i成员均为public的类，可以草用与初始化数组元素相同的方式初始化其成员，例如：

struct Data {
  int ival;
  char *ptr;
}
Data val1 = { 1024, "abcde" }