虚函数的静态绑定和动态绑定

#include <iostream>

using namespace std;

class A
{
public:
 A()
 {
  cout << "A()::this is "  << *(( unsigned int * )this) << endl;
  clear();
  cout << "A()::after clear this is "  << *(( unsigned int * )this) << endl;
 }
 virtual ~A()
 {
  
 }
 void clear()
 {
  memset( this, 0, sizeof( *this ) );
 }
 
 virtual void func()
 {
  cout << "func"  << endl;
 }
 
 void check()
 {
  cout << __FUNCTION__   << endl;
 }

 

   void doSth()

    {

           func(); 

    }
 
};

class B : public A
{

public:
 B()
 {
  cout << "B:this is "  << *(( unsigned int * )this) << endl;
 }
 
 virtual void func()
 {
  cout << "func in B"  << endl;
 }
 
};

class C
{
};

 

void func( char (&p) [ 10 ] )
{
 cout << "sizeof(p) is " << sizeof ( p )  << endl; // 输出为10
}
int main()
{
 char p[10];
 func( p );//
 
 A a;
 B b;
 cout << "sizeof(a) is " << sizeof( a ) << endl; // 4 个字节
 cout << "sizeof(b) is " << sizeof( b ) << endl; // 4个字节
 cout << "sizeof(c) is " << sizeof( C ) << endl; // 1个字节
 a.func(); // 可以正常执行   静态绑定函数地址
 b.func(); // 可以正常执行   静态绑定函数地址
 
 A * pA = &a;
 cout << "pA is "  << *(( unsigned int * )pA) << endl; // 0
 B * pB = &b;
 cout << "pB is "  << *(( unsigned int * )pB) << endl; // 134516552
 A * pAB = &b;
 cout << "pAB is "  << *(( unsigned int * )pAB) << endl; //134516552
 pA->check();// 这里可以正常运行
 //pA->func(); 为什么这里会引发段错误？  动态绑定，通过this指针读取虚函数表中的函数地址时coredump
 pB->func(); // 这里可以正常执行
 pAB->func(); // 这里也可以正常执行
 
 

// 如果 clear 函数实现为空，没有设置为0

 

   B b;

    b.doSth(); // 这里调用的是B::func 而不是A的func！！！！！！！！！！

 return 0;
}