潘凯:C++对象布局及多态实现的探索(四)

类型动态转换和类型强制转换

　　为了验证前面提到过的类型动态转换(即dynamic_cast转换)，以及对象类型的强制转换。我们利用前面定义的C041、C042及C082类来进行验证。
　　运行下列代码：
c082.C041::c_ = 0x05;
PRINT_VTABLE_ITEM(c041, 0, 0)
PRINT_DETAIL(C041, ((C041)c082))
PRINT_VTABLE_ITEM(((C041)c082), 0, 0)
PRINT_VTABLE_ITEM(c082, 5, 0)
C042 * pt = dynamic_cast<C042*>(&c082);
PRINT_VTABLE_ITEM(*pt, 0, 0)
　　第2行和第5行是为了对照方便而打印原对象中的信息。第3、4行把C082对象类型进行强制转换并分别打印转换后的对象内存信息及虚表信息。第6行我们用dynamic_cast进行了一次动态类型转换，从子类的指针转型为右父类的指针，再把指针指向的对象的信息打印出来。
　　结果为：
c041   : objadr:0012FA74 vpadr:0012FA74 vtadr:0045B364 vtival(0):0041DF1E
The detail of C041 is 64 b3 45 00 05
((C041)c082) : objadr:0012F2A3 vpadr:0012F2A3 vtadr:0045B364 vtival(0):0041DF1E
c082   : objadr:0012FA50 vpadr:0012FA55 vtadr:0045B36C vtival(0):0041D483
*pt    : objadr:0012FA55 vpadr:0012FA55 vtadr:0045B36C vtival(0):0041D483
　　首先我们比较最后两行，从objadr列我们可以知道pt指向的并不是c082对象的起始地址，而是指向了c082的第2个虚表指针的所在地址(因为最后一行的objadr值等于倒数第2行的vpadr的值)。倒数第二行的vpadr值是c082对象的第2个虚表指针(我们在输出时指定了偏移值5)。而这个地址正是c082对象中属于从C042类继承而来的部分，即在进行动态类型转换时，除了改变类型信息，编译器还调整了指针的位置，以确保转换语义的正确性。所以我们可以知道，对指向有复杂继承结构的类对象的指针进行类型转换(一般在继承树中向上或向下转换)时，必须使用dynamic_cast，它会正确的处理指针位置的调整，如果转换是非法的，它会返回一个NULL指针。使用dynamic_cast时记得要做这个检查，文中为了简略把这些检查省去了。这种检查可以通过宏来定义，以便于在release版中去掉，提高效率。
　　再将((C041)c082)和c082两行的输出进行对照，可以发现对对象进行向上的类型强制转换实际上编译器生成了一个新的临时对象，因为它们的objadr列不一样了，这表明它们已经不是同一个对象。再观察c041、((C041)c082)及c082三行的vtadr和vtival(0)，前两行相比是一样的，而后两行相比就不一样了。这也说明编译器在处理强制转换时，实际上是new了一个新的C041对象出来。因为对象的强制类型转换不象指针的动态类型转换，指针的动态类型转换同时要确保多态的语义，所以只需要调整指针位置。而对象强制类型转换，还要调整虚表中的条目值，因为对象类型转换不需要多态的行为。c082类的第一个虚表的第一个条目中存放的是C082::foo()函数的地址，做了对象类型转换后，应该调整为C041::foo()才对，做这种调整过于复杂，所以编译器干脆new了一个新的C041的临时对象出来。对比这三行的最后二列即知。我不知道这是否是C++标准规范中定义的行为，改天查到我再更新上来。
　　在new出新对象的同时，编译器还将原对象中属于父类部分的数据成员的值拷贝了过来。注意代码的第1行，c082.C041::c_ = 0x05;，我们先把c082对象中从C041类继承过来的数据成员的值改写为0x05，原来是的值是0x01，由C041的构造函数初始化。我们观察输出的第2行，上面说了这个被打印的对象并非c082而是编译器new出的来的临时对象，可以注意到对象的最后一字节为0x05，即数据成员的值。所以我们知道编译器除了new出新的临时对象外，还把原对象中相应的数据成员的值也复制了过来。
　　这和我以前的认识有点偏差，直观上我一直以为这种转换不会产生新的对象，不过仔细想想编译器的这种作法也是对的，如果不产生新的对象，就意味着它要象前述的那样动态的改变虚表中条目的值。但new出临时对象，也意味着使用下列的语句调用，可能产生意想不到的结果。
((C041)c082).somefun();
　　如果somefun函数会改变对象的状态，那么上边的代码执行后，c082的状态并不会被改变。因为somefun实际改变的是临时对象，在执行完后该临时对象就扔掉了。这和直观的认识有所差异，一般会认为这个调用会作用于c082对象上。为了验证我们声明以下两个类。
struct C010
{
   C010() : c_(0x01) {}
   void foo() { c_ = 0x02; }
   char c_;
};
struct C013 : public C010
{
   C013() : c1_(0x01) {}
   void foo() { c1_ = 0x02; }
   char c1_;
};
　　两个类为继承关系，各有一个同名的普通成员函数，该函数改写类的相应成员变量。我们做以下的调用：
C013 obj;
obj.foo();
((C010)obj).foo();
　　第1个foo调用，改变的是c1_值，最后一行的调用改变的是c_的值。直观上容易认为上述代码执行后obj.c_和obj.c1_的值均为0x02。但我们在调试环境的局部变量窗口中把obj对象展开可以发现obj.c1_为0x02，但obj.c_为0x01。原因就是前面所说的((C010)obj)实际产生了一个临时对象，所以最后一行的调用没有作用到obj对象上。
　　更进一步的想想，如果我们在一个类上运用了单件(singleton)模式，而这个类又有一个继承结构，当在程序中想利用对对象进行向上转型来调用父类的方法时，应该会出现编译时错误，因为父类临时对象无法构造。在这里有个前提，父类的构造函数应该用protected进行保护，而不是用private，否则子类根本无法构造。这种我没有验证了，因为用这种方法调用实在是比较蠢的作法，但不排除这种可能性。向上例中最后一行正确的调用方法应该是：
obj.C010::foo();
　　这样就可以调用到父类中被覆盖的函数，而且也是作用在正确的对象上。

　　(未完待续)

潘凯:C++对象布局及多态实现的探索(四)相关推荐

潘凯:C++对象布局及多态实现的探索(十)
菱形结构的虚继承(2) 我们再看一个例子,这个例子的继承结构和上一篇中是一样的,也是菱形结构.不同的是,每一个类都重写了顶层类声明的虚函数.代码如下: struct C041 { C041() ...
潘凯:C++对象布局及多态实现的探索(九)
菱形结构的虚继承这次我们看看菱形结构的虚继承.虚继承的引入本就是为了解决复杂结构的继承体系问题.上一篇我们在讨论虚继承时用的是一个简单的继承结构,只是为了打个铺垫. 我们先看看这几个类,这是一个典型 ...
潘凯:C++对象布局及多态实现的探索(六)
虚函数调用我们再看看虚成员函数的调用.类C041中含有虚成员函数,它的定义如下: struct C041 { C041() : c_(0x01) {} virtual void fo ...
潘凯:C++对象布局及多态实现的探索(一)
前言本文通过观察对象的内存布局,跟踪函数调用的汇编代码.分析了C++对象内存的布局情况,虚函数的执行方式,以及虚继承,等等. 写这篇文章源于我在论坛上看到的一个贴子.有人问VC使用了哪种方式来实现虚 ...
潘凯:C++对象布局及多态实现的探索(三)
带虚函数的类的对象布局(2) 接下来我们看看多重继承.定义两个类,各含一个虚函数,及一个数据成员.再从这两个类派生一个空子类. struct C041 { C041() : c_(0x01) ...
潘凯:C++对象布局及多态实现的探索(十一)
菱形结构的虚继承(3) 最后我们看看,如果在上篇例子的基础上,子类及左.右父类都各自定义了自己的虚函数,这时的情况又会怎样. struct C140 : public virtual C041 { ...
潘凯:C++对象布局及多态实现的探索(八)
普通的虚继承下面我们来看虚继承.首先看看这C020类,它从C010虚继承: struct C010 { C010() : c_(0x01) {} void foo() { c_ = ...
潘凯:C++对象布局及多态实现的探索(二)
带虚函数的类的对象布局(1) 如果类中存在虚函数时,情况会怎样呢?我们知道当一个类中有虚函数时,编译器会为该类产生一个虚函数表,并在它的每一个对象中插入一个指向该虚函数表的指针,通常这个指针是插在对象 ...
潘凯:C++对象布局及多态实现的探索(七)
构造函数中的虚成员函数调用在构造函数中调用虚成员函数,虽然这是个不很常用的技术,但研究一下可以加深对虚函数机制及对象构造过程的理解.这个问题也和一般直观上的认识有所差异.先看看下面的两个类定义. s ...

潘凯:C++对象布局及多态实现的探索(四)

潘凯:C++对象布局及多态实现的探索(四)相关推荐

最新文章

热门文章