之前我们就讲过什么叫虚函数,只要有关键字virtual的成员函数就是虚函数。
基类指针不需要类型转化就可以指向派生类的指针。但是!基类指针虽然可以获取派生类对象的地址,却只能访问派生类从基类那边继承的成员。这就很可怜了,说到底,基类只能访问属于自己的成员函数,不管它在那个派生类里。下面,我们来举个例子
#include<iostream>
using namespace std;
class Base
{
public:
Base(char xx)
{x=xx;}
void who()
{cout<<"Base class:"<<x<<"\n";}
protected:
char x;
};
class First_d:public Base
{
public:
First_d(char xx,char yy):Base(xx)//调用基类
{y=yy;}
void who()
{cout<<"First derived class:"<<x<<","<<y<<"\n";}
protected:
char y;
};
class Second_d:public First_d//继续调用
{
public:
Second_d(char xx,char yy,char zz):First_d(xx,yy)
{z=zz;}
void who()
{cout<<"Second derived class"<<x<<","<<y<<"\n";}
protected:
char z;
};
int main()
{
Base B_obj('A');
Base *p;
First_d F_obj('T','O');
Second_d S_obj('E','N','D');
p=&B_obj;
p->who();
p=&F_obj;
p->who();
p=&S_obj;
p->who();
F_obj.who();
S_obj.who();
}
你可以自己运行看一下,你会发现输出的结果是这样的
Base class:‘A’
"Base class:‘T’
"Base class:‘E’
First derived class:T,O
Second derived class:E,N,D
所以我们看出,基类和派生类都有同名函数who(),并且基类指针P获得B_obj和F_ob以及S_obj的地址,并且指向派生类的对象S_obj他们三儿,虽然我们想的是到时候输出的是
Base class:‘A’
First derived class:T,O
Second derived class:E,N,D
可惜结果却不会和你演戏的,因为“this”指针虽然看到你指向的对象,旦它调用的是基类的who版本。为此,必须要F_obj.who();这样定义,这个代码也验证我们上面的结论。还有,我们可以清晰的就看到指针p是被Base 定义的,之后用p来进行操作,比如:地址的获取,指向who等。所以以后定义指针的时候,记得用基类来定义,别搞错的。
这时候有人就说,好烦啊,有没有什么方法可以直接干我想干的,就直接用p->who()得到我要的结果。哎,有的,直接用关键字virtual,建立虚函数。下面我们来改写一下上面的成员。
#include<iostream>
using namespace std;
class Base
{
public:
Base(char xx)
{x=xx;}
virtual void who()//建立了虚函数
{cout<<"Base class:"<<x<<"\n";}
protected:
char x;
};
后面的不变,唯一变化的是在基类的who前面加了一个virtual,直接定义一个虚函数,后面的的
F_obj.who(); S_obj.who();这两个就不用写了。因为Base类的who()被说明为虚函数,之后派生类的函数who也被默认其具备虚特性并且省略virtual的说明符。最后的结果你要自己去动手看看。(不过我想你也因该猜到了结局)。
虚函数的注意点
1 一旦函数被定义为虚函数,不管经历多少的派生类层次,所有界面的函数保持虚特性。派生类也是基类。
2 虚函数必须是类的成员函数。不能将虚函数说明为全局函数和静态成员函数。因为虚函数的动态联编必须在类层次中依靠this指针来实现。
3 友元函数不等于虚函数。虚函数是另一类的友元函数
4 析构函数是虚函数,构造函数不能是虚函数。
以上规则可以用“作用与类体系的动态联编依赖基类指针指向派生类对象,调用虚函数的不同版本”,这句话能理解就理解,理解不了,拉到。但是上面的四点要熟记于心。
(下一篇是虚函数的重载特性)