C++入 门——“多态”

一、多态

        多态是面向对象的一个重要特性,它允许程序在运行时通过传入不同对象而呈现出不同的运行结果,比如同样的采访,询问老师的年龄和学生的年龄最后得到的结果是不一样的,这就呈现出一种多态。

        多态分为两种:静态多态(编译时期就确定)和运行时多态(运行时期就确定)。编译时的多态比如有:重载,模版等,本文介绍运行时多态。

二、多态的实现条件

多态的实现有两个基本条件

        a.必须是基类的引用或者指针来调用相应的函数。

        b.被调用的函数是虚函数

        1.重写(覆盖)

        派生类中有和基类一样的虚函数,那么这两个函数构成重写。重写的实现条件是函数名、函数参数、返回值(协变除外)相同。        

        2.虚函数 

        被关键字“virtual”修饰的函数叫做虚函数,例如 virtual void f(int a)。使用virtual的前提是类的成员函数。值得注意的是,派生类的虚函数的virtual可以不用显式的写出来,但是基类必须写。

以下是一个多态的例程:

#include <iostream>

using namespace std;


class kids
{
public:

	virtual void getage()
	{
		cout << "kids is " << 16 << endl;
	}


};


class student : public kids
{
public:

	virtual void getage()
	{
		cout << "student is " << 20 << endl;
	}



};


int main()
{
	kids* kid = new kids;

	kids* stu = new student;

	kid->getage();
	stu->getage();


	delete kid;
	delete stu;
	return 0;
}

   它的运行结果是:

        在main函数中,先定义了一个基类的指针让它指向派生类的对象,这样构成了第一个条件,调用的函数是一个虚函数,然后满足了第二个条件,这样就形成了多态。

        为什么是基类的指针或者引用呢?

        只有基类的指针或者引用才能既指向基类对象,又指向派生类的对象。

虚函数有个很重要的内容,就是当子类和派生类的析构函数被定义的时候,需要将析构函数写成虚函数以构成重写,倘若不这样写,则会发生内存泄漏的问题:

#include <iostream>

using namespace std;



class kids
{
public:

	~kids()
	{
		cout << " ~kids() " << endl;
	}

};


class student : public kids
{
public:

	~student()
	{
		cout << " ~student() " << endl;
	}
};


int main()
{
	kids* kid = new kids;

	kids* stu = new student;



	delete kid;
	delete stu;
	return 0;
}

运行结果:

        可以看到,“stu”对象的析构函数没有被调用,原因是kids* stu = new student;代码发生了切片,导致只释放了“stu”的基类的资源。那么我们需要把析构函数写成虚函数并构成重写。为什么能构成重写呢?编译器会在编译时将析构函数的名字做了一个特殊处理成“destructor”的名称,于是乎加上virtual自然也能构成重写。最后在delete的时候就会发生多态行为,从而正确释放资源。

三、多态中需要注意的问题

        当基类和派生类的虚函数构成重写时,如果函数有缺省值,无论调用的是哪一个虚函数,都会使用基类的缺省值:

#include <iostream>

using namespace std;


class kids
{
public:

	virtual void getage(int age = 16)
	{
		cout << "kids is " << age << endl;
	}


};


class student : public kids
{
public:

	virtual void getage(int age = 20)
	{
		cout << "student is " << age << endl;
	}



};


int main()
{
	kids* kid = new kids;

	kids* stu = new student;

	kid->getage();
	stu->getage();


	delete kid;
	delete stu;
	return 0;
}

        理解上可以认为重写的是实现函数的方式。即基类的函数名和参数加上派生类的实现方法。

四、抽象类

        在虚函数的后边加上 “=0”,那么这个函数被称为纯虚函数,纯虚函数所在的那个类被称作抽象类,然而抽象类是不被允许创建对象的,当某一个类继承了这个抽象类,那么这个派生类也是抽象类,只有当我们在派生类中重写了这个纯虚函数,才能够正常的创建对象。但是可以用抽象类定义指针或者引用。

五、多态实现的大致原理

        在类中,如一个类有虚函数,那么它就会储存一张虚函数表,这张表储存了虚函数的地址,派生类会继承基类的虚函数表指针,但是和基类的不是同一个,当派生类重写了虚函数的时候,重写的虚函数就会覆盖掉派生类中基类继承下来虚函数的内容,这就是重写也叫覆盖的原因。

        在基类指针或者引用指向派生类时,调用派生类重写的虚函数的时候,程序就会去指针指向的对应类的虚函数表寻找对应的虚函数,然后去执行。指针指向基类,就去基类的虚函数表寻找,指针指向派生类,就去派生类的虚函数表寻找。

        不同的类的对象有不同的虚表,但是相同类的对象共享同一张虚表。

        派生类的虚表主要分为三部分内容:父类的虚函数地址加重写的虚函数地址加自己的虚函数地址。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值