C++ 类对像构造时,需要对类成员变量完成初始化赋值操作。使用初始化列表完成这步操作在性能上有益处。什么好处呢?摆道理显得不够彻底。看书不如做实验。让我们结合执行过程来查看。考虑如下示例代码:

  Derive 类构造函数两个 Base 类型的参数,分别赋给该类两个 Base 类型的成员变量 b1、b2,一个使用初始化列表,一个使用等于号赋值。输出结果如下:

  前两行输出是主函数前两行构造 b1、b2 对像时调用的带参构造函数。第三行是初始化列表构造 b1 时调用的复制构造函数。第四行调用了一次默认构造函数……第四行是哪儿来的?

  这里需要陈述一下“复制构造函数”和“赋值重载函数”之间的语义区别。复制构造函数嘛,顾名思议,是根据一个模子造一个复制品出来。而赋值重载函数则是将一个已存在的对像的数据导到另一个已存在的对像中。因此,执行赋值动作之前,左值对像必须“已存在”。而在 Derive 类构造完成之前,其成员 b2 是不存在的。类定义中的成员变量只是一个声明,并不实际存在。因此,在执行 this->b2 = base2 这句之前,程序必须先将 b2 使用默认构造函数生成,而后才可完成赋值动作。

  通过单步调试,走 Dessembly,可以看到,在输出复制构造函数信息之后,Derive 类的 b1 构造完成,b1.fck 值为 10,而在默认构造函数信息输出之后并执行 this->b2 = base2 语句之前,b2 构造完成,b2.fck 值为 0。由此证明上述过程。

  其实这个问题很老套了,为何在此强调呢?为了引出后面的问题。