《深度探索C++对象模型》读书笔记(5)
始化操作”之前。为什么是这样呢?
如果每一个constructor都一直等待到其 base class constructors执行完毕之后才设置其对象的vptr,那么每次它都能够调用正确的virtual function实体。 constructor的执行算法通常如下: (1)在derived class constructor 中,所有virtual base classes的constructor会被调用; (2)在derived class constructor 中,上一层base class的constructor会被调用; (3)上述完成之后,对象的vptr(s)被初始 化,指向相关的virtual table(s); (4)如果class有member class object,而后者拥有 constructor,那么它们会以其声明顺序的相反顺序被调用;(5)用户所定义的代码。 下面是 vptr必须被设定的两种情况: (1)当一个完整的对象被构造起来时,如果我们声明一个Point对 象,Point constructor必须设定其vptr; (2)当一个subobject constructor调用了一个 virtual function(无论是直接调用或间接调用)时。 在明确了哪些情况下vptr必须被设定,我 们在声明一个PVertex时,各个vptr不再需要在每一个base class constructor中被设定。解决之道是把 constructor分裂为一个完整的object实体和一个subobject实体。在subobject实体中,vptr的设定可以 忽略。 如果我们不对Point供应一个copy assignment operator,而光是依赖默认的memberwise copy,编译器通常不会产生出一个实体,除非class不表现出bitwise语意。关于哪些情况class不表现出 bitwise语意,请参见读书笔记(2)。 由于在virtual base class的拷贝操作将造成subobject 的多重拷贝,并且该问题至今难以解决。因此笔者的建议是:尽量不要允许一个virtual base class的 拷贝操作,甚至建议:不要在任何virtual base class中声明数据。 ***解构语意学*** 如果class没有定义destructor,那么只有在class内含的member object(或是class自己的base class )拥有destructor的情况下,编译器才会自动合成出一个来。 其解构顺序与建构顺序正好相反。 |
凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务,公司网站:http://www.lingzhong.cn 为了给广大客户了解更多的技术信息,本技术文章收集来源于网络,凌众科技尊重文章作者的版权,如果有涉及你的版权有必要删除你的文章,请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息,谢谢! |