数据切割

#include <iostream>

using namespace std;

class CObject
{
public:
virtual void Serialize(){cout<<"CObject::Serialize() ";}
};

class CDocument:public CObject
{
public:
int m_data1;
void func()
{
cout<<"CDocument::func()"<<endl;
Serialize();
}
virtual void Serialize(){cout<<"CDocument::Serialize()"<<endl;}
};

class CMyDoc:public CDocument
{
public:
int m_data2;
virtual void Serialize(){cout<<"CMyDoc::Serialize()"<<endl;}
};

int main(int argc, char **argv)
{
CMyDoc mydoc;
CMyDoc *pmydoc = new CMyDoc;

cout<<"#1 testing"<<endl;
mydoc.func();

cout<<"#2 testing"<<endl;
((CDocument*)&mydoc)->func();

cout<<"#3 testing"<<endl;
pmydoc->func();

cout<<"#4 testing"<<endl;
((CDocument)mydoc).func();
}

输出结果为

CMyDoc没有func函数，而它继承了CDocument所有成员，所以main之中的四个调用操作毫无问题都是调用CDocument：：func。但由于CDocument：：Serialize函数为虚函数，情况便有不同。前三个测试结果符合预期：既然派生类改写了虚函数Serialize，那么理当调用派生类的Serialize函数。

第四项测试结果出乎意料之外。派生类的对象通常比基类对象要大，那么所谓的向上强制转换（CDocument）mydoc，将会造成对象的内容被切割。

当我们调用((CDocument)mydoc).func()时，是传值而非传址操作，编译器以所谓的拷贝构造函数把CDocument对象内容复制了一份，使得mydoc的vtable内容与CDocument对象的vtable相同。总结来说，经过所谓的数据切割，mydoc真正变成了一个完完全全的CDocument对象。