深度探索C++对象模型 之 构造函数语意学

类别:编程语言 点击:0 评论:0 推荐:

explicit 关键字被引入C++是为了使程序员能够制止“单一函数的constructor”被当做一个conversion 运算符。

 

有四种情况:

1.带有default constructor 的member classobject

2.带有default constructor 的base class

3.带有一个virtual function 的class

4.带有一个virtual base class 的class

会导致“编译器必须为未声明constructor 之classes 合成一个default constructor(或copy constructor) ”。C++ Stardand 把那些合成物称为implicit nontrivial default constructors(或copy constructor)。被合成出来的constructor 只能满足编译器(而非程序)的需要。它之所以能够完成任务,是借着“调用member object 或 base class 的default constructor(或copy constructor)”或是“为每一个object初始化其virtual function 机制或virtual base class 机制”而完成。至于没有存在那四种情况而又没有声明任何constructor的classes,我们说它们拥有的是implicit trivial default constructors(或copy constructor),它们实际上并不会被合成出来。

 

在合成的default constructor(或copy constructor)中,只有 base class subobjects 和member class objects 会被初始化。所有其它的nonstatic data member,如整数,整数指针,整数数组等等都不会被初始化。这些初始化操作对程序而言或许有需要,但对编译器则非必要。如果程序需要一个“把某指针设为0”的default constructor,那么提供它的人应该是程序员。

 

C++新手一般有两个常见的误解:

1.任何class如果没有定义default constructor,就会被合成出一个来。

2.编译器合成出来的default constructor 会明确设定“class内每一个data member 的默认值”。

但如你所见,没有一个是真的!

 

但对于copy constructor,后两种情况有些不同:

它们发生在当一个base class object 以其 derived class 的object 内容做初始化操作时,

其vptr和virtual base class pointer/offset复制操作也必须保证安全,所以会合成出一个

copy constructor 来做这件事。

 

Member initialization list被使用于下面四种情况:

1.  当初始化一个reference member 时

2.  当初始化一个const member 时

3.  当调用一个 base class 的constructor,而它拥有一组参数时

4.  当调用一个member class 的constructor,而它拥有一组参数时

执行顺序是先调用基类的构造函数,然后按照成员的声明顺序执行在member initialization list中

进行初始化,最后执行构造函数主体部分。

本文地址:http://com.8s8s.com/it/it24486.htm