看下面例子：
#include "stdafx.h"
#include <iostream>
class A { //父类
public:
void f() //普通函数
{
std::cout<<"A"<<std::endl;
}
void virtual vf() //虚函数
{
std::cout<<"virtual-A"<<std::endl; }
};
class B : public A //子类
{
public:
void f()
{
std::cout<<"B"<<std::endl;
}
void virtual vf()
{
std::cout<<"virtual-B"<<std::endl;
}
int m; //B类的成员变量
B() //在B类的构造中给成员变量赋值
{
this->m=20;
}
};
int _tmain(int argc, _TCHAR* argv[])
{
A *pa = new A(); //只实例化一个父类的对象，但下面要当作子类用
B *pb = (B *)pa; //用强制类型转换，把父类指针转化为子类指针，用这个子类指针访问子类的成员
pb->f(); //覆盖时，调用的是子类的函数
pb->vf(); //虚函数时，调用的是父类的函数，是因为虚函数表记录的是父类的方法，没有显示new一个子类，所以不会改虚函数表的内容
std::cout<<pb->m<<std::endl; //结果输出的是乱码，不是20
//原因，要输出子类的成员变量m，但实际上pb指向的内存空间只有父类大小，所以访问的m实际上是超出了实例化的对象的范围 return 0;
}
运行结果：
总结：其实可以这样理解，根据某个类型的指针访问某个成员时，编译器会根据类型的定义， 查找这个成员(对编译器来讲成员名只是个标记)所在偏移量，用这个偏移量获取成员。 比如上面用指针pb访问成员变量m时，m对于pb来说只是个标记，说明要从pb开始偏移多少个字节才能访问到m。
上面的例子我称为“反多态”，因为，通过一个多态的指针（多态时是父类型的指针，上面的例子是子类型的指针）访问普通成员函数时访问的是子类的函数（刚好和多态相反），通过子类的指针访问虚函数时访问的是父类的函数（也刚好和多态相反）。