小时候梦想改变世界
现在我们只需要改变自己
C++继承机制中最耀眼的应用莫过于基于虚函数的多态。在java中所有成员函数默认都是虚函数,C++中考虑到效率的问题,需要用关键字virtual显式声明。
(1)简单多态
#include "stdafx.h"
#include<iostream>
#include<string>
using namespace std;
class Pet{
public:
virtual void Speak(){cout<<"I don't no How to speak!"<<endl;};
};
class Cat:public Pet{
public:
virtual void Speak(){cout<<"Miao~"<<endl;}
};
class Dog:public Pet{
public:
virtual void Speak(){cout<<"Wang!!!"<<endl;}
};
void PlayWithPet(Pet& p){
p.Speak();
}
int main(){
Dog myDog;
PlayWithPet(myDog);//输出Wang!!!
return 0;
}
以上实现最简单的多态
废话不多说,下面深入研究多态的本质
(2-1)类的大小
#include "stdafx.h"
#define TRACE(a) a,cout<<#a"="<<a<<endl
#include<iostream>
using namespace std;
class C1{
int i;
void func1(){}
};
class C2{
void func1(){}
void func2(){}
void func3(){}
void func4(){}
};
class C3{
void func1(){}
};
int main(){
TRACE(sizeof(C1));
TRACE(sizeof(C2));
TRACE(sizeof(C3));
return 0;
}
结果:
(2-2)有虚函数类的大小
#include "stdafx.h"
#define TRACE(a) a,cout<<#a"="<<a<<endl
#include<iostream>
using namespace std;
class Super{
public:
virtual void func1(){}
};
class Sub1:public Super{
public:
virtual void func1(){}
virtual void func2(){}
virtual void func3(){}
void func4(){}
};
class Sub2:public Super{
public:
virtual void func1(){}
int i;
};
int main(){
TRACE(sizeof(Super));
TRACE(sizeof(Sub1));
TRACE(sizeof(Sub2));
return 0;
}
结果:
看出点眉目了吧。
由以上可以得出一个结论:如果一个类中有虚函数,不论虚函数的个数是多少,类的尺寸都要增加4。而且,即使其子类没有覆盖该虚函数,同样尺寸会增加4。可以将类Sub2中函数删掉会发现结果不变。
(3)VTable
增加的这个4是哪里来的呢?
很容易猜到是一个指针。32位系统中所有的指针大小都是4BYTE,char*、double*甚至一个结构或类的指针大小都是4。