程序员人生 网站导航

重温《Inside The C++ Object Model》(2) --Default-Constructor的建构操作

栏目:php教程时间:2015-01-13 08:29:36
//constructor/non-constructor的区分 class Foo { public: //Foo():val(0),next(NULL) {} int val; Foo *next; }; void foo_bar() { Foo bar; if ( bar.val && bar.next ) { cout << bar.val << endl; printf("%p ", bar.next); cout << "Un initialization" << endl; } else { cout << "Initialization" << endl; } }

带有Default Constructor” 的 Member Class Object

(1)如果class A 内含有1个或1个以上的member-class-object, 那末class A 的每个constructor必须调用每一个member-classesdefault-constructor; 编译器会扩大已存在的constructor, 在其中安插1些代码使得user-code在被履行前先调用必要的default-constructors.

(2)C++语言要求以”member-objects 在 class 中的生命次序”来调用各个constructors.

 

假定有以下类:

class Dopey { public: Dopey(); // ... etc ... }; class Sneezy { public: Sneezy(int); Sneezy(); // ... etc ... }; class Bashful { public: Bashful(); // ... etc ... }; class Snow_White { public: Dopey dopey; Sneezy sneezy; Bashful bashful; // ... etc ... private: int mumble; };

如果Snow_White没有定义default-constructor, 就会有1个non-trivial-constructor被合成出来依序调用Dopey, Sneezy, Bashfuldefault-constructors. 但是如果Snow_White定义了下面这样的default-constructor:

Snow_White::Snow_White() : sneezy(1024) { mumble = 2048; }

它会扩大:

//编译器扩大后的default constructor //C++伪码 Snow_White::Snow_White() : sneezy(1024) { //插入 member class object //调用其 constructor dopey.Dopey::Dopey(); sneezy.Sneezy::Sneezy(); bashful.Bashful::Bashful(); //explicit user-code mumble = 2048; }

带有Default Constructor” 的 Base Class

在派生类中,如果同时存在member-class-object, 则先调用其base-class-constructor, 而后调用member-class-objectconstructor.

 

带有1个Virtual Function” 的 Class

以下的两种情况:

(1)class 声明(或继承)1个virtual-function.

(2)class 派生自1个继承串链其中有1个或更多的virtual-base-classes.

都会有以下的扩大操作在编译期产生:

[1]1个 virtual-function-table(cfront中被称为vtbl)会被编译器生成内放classvirtual-function地址;

[2]在每个class-object1个额外的pointer-member(也就是vptr)会被编译器合成出来内含相干的class-virtual-function-table(class-vtbl)的地址.

 

则假定有以下继承关系和代码:


void flip(const Widget &widget) { widget.flep(); }

widget.flip()的虚拟引发操作会被重新改写以使用widget的 vptr 和 vtbl中的flip()条目:

//widget.flip() 中的虚拟引发操作的改变 (*widget.vptr[1]).(&widget);

带有1个Virtual Base Class” 的 Class

假定有以下继承关系与代码:


class X { public: virtual void memFunction() const { cout << "In X" << endl; } }; class A : public virtual X { public: void memFunction() const { cout << "In A" << endl; } }; class B : public virtual X { public: void memFunction() const { cout << "In B" << endl; } }; class C : public A, public B { public: void memFunction() const { cout << "In C" << endl; } }; void foo(const X *px) { px -> memFunction(); } int main() { foo(new X); foo(new A); foo(new B); foo(new C); } /* void foo(const X &rx) { rx.memFunction(); } int main() { foo(X()); foo(A()); foo(B()); foo(C()); } */

编译器没法固定住foo()当中”经过px而存取的X::memFunction()”的实际偏移位置由于px的真正类型可以改变编译器必须改变”履行存取操作”的那些代码使得X::memFunction()可以延迟至履行才决定下来;

该功能则是靠”在派生类对象中的每个虚基类中安插1个指针(_vbcX [virtual-base-class-X])”完成所有”经过reference/pointer来存取1个virtual-base-class”的操作都可以通过相干的指针来完成.foo()函数可以改写以下:

void foo(const X *px) { //__vbcX表示由编译器产生的指针, 指向virtual-base-class-X px -> __vbcX -> memFunction(); }
------分隔线----------------------------
------分隔线----------------------------

最新技术推荐