我们现在还在和构造函数打交道,以前写程序时怎么根本没有考虑过构造函数的事情呢?原来编译器为我们做了这么多的事情,我们都不知道.,要想完全搞明白,看来还需要一段时间.我们继续向下走,进入一个新的章节.每当雷神看完一章后,总是期盼下一章节,因为这意味又一个新的里程开始了.对于这本书更是感觉强烈,因为全书总共才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; //…… };
<  
1/2 1 2 下一页 尾页 |