Archive for 27 7 月, 2011

Default Constructor的建构操作

星期三, 27 7 月, 2011

1. 合成的默认构造函数会在编译器需要的时候被编译器产生出来。如类中包含其他类对象,即使构造函数已经被明确定义出来,编译器也会扩充已存在的构造函数,在其中安插一些代码。

2. 还有两种情况合成默认构造函数:类中声明或继承一个virtual function;类派生自一个继承链,其中有一个或更多的虚基类。编译器要在其中安插设置vptr和vtbl的代码。

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

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

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

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

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

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

Object Lessons

星期三, 27 7 月, 2011

1. 在没有使用virtual的情况下,C++类对象的布局与C结构体的一样。

2. C++中,类的成员变量有static和nonstatic两种;类的成员函数有static、nonstatic和virtual三种。

3. C++对象模型中,static成员变量被置于所有类对象之外,nonstatic成员变量被置于每个类对象之内;static和nonstatic成员函数都被置于所有类对象之外,virtual functions的支持如下:每个类对象被添加了一个指向vtbl的指针vptr,vtbl由类根据virtual functions产生,每一项为一个指向virtual function的指针,通常第1项为类的类型信息;vptr的设置和重置由类的构造函数、析构函数和拷贝赋值运算符自动完成。