<b>深度摸索C++对象模子(6)</b>[VC/C++编程]

我们目前还在和构造函数打交道,从前写程序时怎么根本没有考虑过构造函数的事情呢?本来编译器为我们做了这么多的事情,我们都不知道.,要想完好搞懂得,看来还需求一段时间.我们持续向下走,进入一个新的章节.每当雷神看完一章后,老是期盼下一章节,因为这意味又一个新的里程开始了.关于这本书更是感受激烈,因为全书总共才7章.
在第三章一开始,雷神就吃了一惊..书上给出了一个例子:

class X{};
class Y:public virtual class X{};
class Z:public virtual class X{};
class A:public Y,public Z{};

下面的后果会因为机械,以及编译有关,差别的情形会产生差别的后果.(怎么会是这样?)

sizeof X; //后果为1
sizeof Y; //后果为8
sizeof Z; //后果为8
sizeof A; //后果为12

一个没有任何成员的类,大小竟然不是0.

为什么?

首先一个没有明显的含有成员的类,它的大小不是0,因为实际上它不是空的,它被编译器安插了一个char,为的是使这个类的两个对象可以在内存中被分配举世无双的地址.至于两个派生的类Y和Z,因为语言本身造成的负担,还有编译器关于特别情形举行的优化处理,再有Alignment的限制,因此后果变成了8.这个8是怎么构成的?

4个bytes用来存放指针,什么指针?指向virtual base class subobject的指针呀.

一个同class X一样的char.它占了1 个bytes.

然后遭到Alignment的限制,所以弥补了3个bytes.

4+1+3=8

不过需求注意的是差别的编译器Y和Z大小的后果也会差别.因为新的编译器会将一个空的virtual base class看做是派生类对象的开首部份,因此派生类有了member,因此也就没必要分配char的那一个bytes.也就用不到弥补的3个bytes,因此有大概在某些编译器中,class Y和class Z的大小为4.

最后看看A.按照我们对class Y的解析可以得出以下算式:

4+4+1+3=12;

不是我们想象的16,而是12.假如换成我们上面说的新的编译器来编译,后果很有大概是8.

雷神1、4、8……的说了一堆,也不知大家懂得与否,但是这第三章,读起来确切比前两章顺多了.我们持续我们来看Data Member 的Binding,目前我们对数据成员的绑定只需求记着一个防备性气势:始终把嵌套范例的声明放在class的开始部份,这样做可以确保非直觉绑定的精确性.看下面的一个例子:

typedef int length; //zai
class point3d
{
public:
//length被抉择成global typedef 也就是int
//_val被抉择成Point3d::_val
void mumble(length val){_val=val;}
length mumble(){return _val;}
//……
private:
//length必须在这个class对它的第一个参考操作之前被瞥见
//这样声明将使先前的参考操作不合理
typedef float length;
length _val;
//……
};

怎么成了抄书了,雷神也不知不觉,大概是在这章的理解上对比简单些吧,不用去想个看的见摸的着的东西比划.好象小朋友学算术,一位数的计算不用掰手指头,但是两位数大概三位数的计算,手指头加上脚指头还是不够.学习就是这么回事.理解力和抽象本领很重要.回来持续学习.

通过这一章我还知道了.数据成员的筹划.数据成员的存取.并且对Static data members有了进一步的理解,在class的生命周期中,静态成员被看做是全局变量,每一个member的存取不会招致任何空间或效率上的额外负担.不管是从一个复杂的担当关系中担当还是直接声明的,Static data member都只会有一个实体.并且有着非常直接的存取途径.别的假如两个类都声明了一个相同名字的静态成员变量,那么编译器会通过一种算法,为我们办理名字冲突的问题.而非静态的成员变量的存去实际上是通过implicit class object（this指针）来完成的.比方

Point3d
Point3d::translate(const Point3d &pt)
{
x+=pt.x;
y+=pt.y;
z+=pt.z;
}
被编译器经过内部转换成为了下面这个模样:
Point3d
Point3d::translate(Point3d *const this,const Point3d &pt)
{
this->x+=pt.x;
this->y+=pt.y;
this->z+=pt.z;
}

假如要对一个非静态的成员变量举行存取,编译器会把类对象的起始地址加上数据成员的偏移量.比方:

Point3d origin;
origin._y=0.0;
//地址&origin._y将等于
&origin+(&Point3d::_y-1);
目的是使编译系统可以辨别出以下两种情形:
一个指向数据成员的指针,用来指出类的第一个成员.
一个指向数据成员的指针,没有指出任何成员.
这是什么意思?什么是指向数据成员的指针.书上的例子:
class Point3d
{
public:
virtual ~Point3d();
//……
protected:
static Point3d origin;//静态的数据成员,位置在class object之外
float x,y,z;//每个float是4bytes
}
&Point3d::z; //这个值是什么?

我们在这篇文章开始的时刻已经知道了还有一个vptr,不过vptr的位置大概在对象的开始,大概在对象的末尾部.所以上面的操作的值应当是8大概12（假如vptr在前面的话）.但实际上取会的值被加上了1.缘由是必必要辨别一个不指向任何成员的指针,和一个指向第一个成员的指针.又有点不好理解了,举个例子:

想象你和你的别的两个朋友合住一个三室一厅的屋子,你住在第一间.假如你给一个你们三个人共同的朋友的地址你可以给房号就行了.不用给出你们的肆意一个人的那间屋子号（不指向任何成员）.但假如你给你的一个私人朋友地址,你会给出房间号和你的那个房间号.为了使这个地址有辨别,你必须有一个厅来作为偏移量（offset）.不知道大家懂得这个例子吗,大概这个例子会影响你的精确思维.那就太糟糕了.不过我还是喜好这样想问题,大概不太精确,但可以帮忙我,因为想象一个内存空间比想象一个三居室要难好几点儿.