重温《Inside The C++ Object Model》(2) --Default-Constructor的建构操作
来源：程序员人生 发布时间：2015-01-13 08:29:36 阅读次数：2378次
//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-classes的default-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, Bashful的default-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-object的constructor.
”带有1个Virtual Function” 的 Class
以下的两种情况:
(1)class 声明(或继承)1个virtual-function.
(2)class 派生自1个继承串链, 其中有1个或更多的virtual-base-classes.
都会有以下的扩大操作在编译期产生:
[1]1个 virtual-function-table(在cfront中被称为vtbl)会被编译器生成, 内放class的virtual-function地址;
[2]在每个class-object中, 1个额外的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();
}
生活不易，码农辛苦
如果您觉得本网站对您的学习有所帮助,可以手机扫描二维码进行捐赠
