虚函数表在编译的时候就确定了,而类对象的虚函数指针vptr是在运行阶段确定的,这是实现多态的关键!
创新互联是一家专业提供奉节企业网站建设,专注与成都网站建设、成都做网站、H5开发、小程序制作等业务。10年已为奉节众多企业、政府机构等服务。创新互联专业网站设计公司优惠进行中。
#includestdio.h
#includeiostream
class A{
public:A();
virtual~A();
void fun1(){
printf("123");
}
};
A::A(){
printf("new A\n");
}
A::~A(){
printf("Delete class A\n");
}
class B : public A
{
public:B();
~B();
void fun2(){
printf("123456");
}
};
B::B(){
printf("new B\n");
}
B::~B(){
printf("Delete class B\n");
}
class C : public B
{
public:C();
~C();
void fun2(){
printf("123456");
}
};
C::C(){
printf("new C\n");
}
C::~C(){
printf("Delete class C\n");
}
int main(){
C tempc;
B tempb;
A tempa;
A *a=tempc;//指针A在运行是变化,里面相应的虚函数指针也在运行时变化
a=tempb;
a=tempa;
getchar();
return 0;
}
1. 虚函数的定义
虚函数用来表现基类和派生类的成员函数之间的一种关系.
虚函数的定义在基类中进行,在需要定义为虚函数的成员函数的声明前冠以关键字 virtual.
基类中的某个成员函数被声明为虚函数后,此虚函数就可以在一个或多个派生类中被重新定义.
在派生类中重新定义时,其函数原型,包括返回类型,函数名,参数个数,参数类型及参数的先后顺序,都必须与基类中的原型完全相同.
虚函数是重载的一种表现形式,是一种动态的重载方式.
2. 为什么使用虚函数
#include
class CBase{
public:
void who( )
{cout"this is the base class!\n";}
};
class CDerive1 : public CBase{
public:
void who( )
{cout"this is the derive1 class!\n";}
};
class CDerive2 : public CBase{
public:
void who( )
{cout who( );
p = obj2;
p - who( );
p = obj3;
p - who( );
obj2.who( );
obj3.who( );
return 1;
}
运行结果:
this is the base class!
this is the base class!
this is the base class!
this is the derive1 class!
this is the derive2 class!
通过对象指针进行的普通成员函数调用,仅仅与指针的类型有关,而与此刻正指向什么对象无关.要想实现当指针指向不同对象时执行不同的操作,就必须将基类相应中的成员函数定义为虚函数.
3. 虚函数与重载函数的关系
一般的重载函数,函数的返回类型及所带的参数必须至少有一样不完全相同,只需函数名相同即可.
基类中定义的虚函数在派生类中重新定义时,其函数原型,包括返回类型,函数名,参数个数,参数类型及参数的先后顺序,都必须与基类中的原型完全相同.
重载虚函数时,若与基类中的函数原型出现不同,系统将根据不同情况分别处理:
(1)仅仅返回类型不同,其余相同,系统会当作出错处理;
(2)函数原型不同,仅仅函数名相同,系统会认为是一般的函数重载,将丢失虚特性.
3.3.4 虚基类
#include
class x{
protected:
int a;
public:
void f ( ) ;
};
class x1 : public x {
public:
x1( ){cout};
class x2 : public x {
public:
x2( ){ cout};
class y : public x1, public x2{
public:
y( ){ cout};
main( )
{
y obj; //error
obj . f ( ) ; //error
return ;
}
二义性错误
非虚基类的类层次
虚基类的类层次
当在多条继承路径上有一个公共的基类,在这些路径中的某几条汇合处,这个公共的基类就会产生多个实例(或多个副本),若只想保存这个基类的一个实例,可以将这个公共基类说明为虚基类.
class x1 : virtual public x
{
// … …
};
class x2 : virtual public x
{
// … …
};
虚基类的初始化
虚基类的初始化与一般多继承的初始化在语法上是一样的,但构造函数的调用次序不同.
派生类构造函数的调用次序有三个原则:
(1) 虚基类的构造函数在非虚基类之前调用;
(2) 若同一层次中包含多个虚基类,这些虚基类的构造函数按它们说明的次序调用;
(3) 若虚基类由非虚基类派生而来,则仍先调用基类构造函数,再调用派生类的构造函数.
纯虚函数
仅仅用来为要从基类中派生的函数占据一个位置。
纯虚函数在基类中没有定义,它们被初始化为0。
任何用纯虚函数派生的类,都要自己提供该函数的具体实现。
定义纯虚函数
virtual void myMethod(void) = 0;
虚函数表示一块连续的内存,可以当做一个结构体,由编译时期生成(区别于源代码中自定义的结构体)。
虚函数表实际是一堆函数指针的一个表,具体是怎么实现的看编译器了。这些指针是在继承层次结构中每一个类对象中虚函数的指针。
基类有一个这样的表,它里面放了它自己的虚函数指针。派生类也继承了这个表,如果在派生类里改变了基类的虚函数,哪派生类的虚函数表里的哪个虚函数的指针就会被改为你现在这个函数的指针,这就是多态实现的基本
标准中是未定义的,标准中只规定,在每个有虚函数的类的实例的内存区的最前端,有一个指针,指向它对应的虚函数表。
但是这个虚函数表具体在哪里,就要看编译器而定了。想来可能是在数据段里,这个数据段,如果楼主学过汇编的话,一定不会不熟悉,楼主可以百度百科一下。
但是由于同一个类型的不同实例共用一个虚函数表,即使是编译器而定,也可以肯定虚函数表在程序开始时候生成,程序退出的时候释放,当然 ,这些都编译器的工作,对程序员都是透明的。
继承于虚基类的派生类中,虚基类的对象subobject不在固定位置(一般在内存的尾部),需要一个中介才能访问这个subobject,通常的做法是在子类对象中保留一个虚基表指针vbptr指向虚基表,通过虚基表来访问虚基类subobject。虚基表里面放什么信息要看不同的编译器厂商的实现方法,以Microsoft为例,虚基表存放的是subobject相对于vbptr的偏移量,vbptr相对于派生类对象的偏移量加上subobject相对于vbptr的偏移量就等于subobject在整个派生类的偏移量。