C++虚函数与多态学习总结

虚函数与多态

联编是指一个程序模块、代码之间相互关联的过程。根据联编时机，可以分为静态联编和动态联编。

静态联编是指程序之间的匹配、连接在编译阶段完成，也称为早期匹配。大量的程序代码是静态联编的。比如调用一个已经说明的函数，编译阶段就能准确获得函数入口地址、返回地址和参数传递的信息，从而完成匹配。

静态联编Example：

类中重载：

class X

{

   public:

   addthe(int);

   addthe(string);

};

调用时，编译程序根据函数参数的特征进行匹配，与普通重载函数的使用方法一样。

派生类中重载

class X

{

   public;

  show();

};

class Y:public X

{

  public:

  show();

};

X中的show函数也是Y类中的公有成员函数

编译三种区分方法：

1：根据函数参数特征区分

2：使用作用域符“::”区分，例如：

X::show();

Y::show();

3：根据对象区分：

X xx,Y yy;

xx.show();

yy.show();

动态联编

动态联编是指程序联编推迟到运行时进行，所以又称为晚期联编。switch是一个动态联编的例子。需要进行条件判断决定程序流程的条件语句、循环语句的情况也相同。

 

虚函数允许函数调用与函数体的联系在运行时才进行，称为动态联编。

冠以关键字virtual 的成员函数称为虚函数。

 

虚函数和基类指针

一：基类指针虽然获取派生类对象地址，却只能访问派生类从基类继承的成员。

Example:

二：如果在基类中使用虚函数，则基类指针就可以访问派生类中的内容

Example:

使用注意：

在派生类中重载基类的虚函数要求函数名、返回类型、参数个数、参数类型顺序完全相同

如果仅仅返回类型不同，C++认为是错误重载

如果函数原型不同，仅函数名相同，丢失虚函数特性

 

注意：

虚函数必须是类的成员函数，必须首先在基类中定义虚函数

虚函数在所在类中不可以是友元函数，但虚函数可以是另一个类的友元

一个虚函数无论被继承多少次保持其虚函数特性，即在派生类层界面相同的重载函数都保持虚函数特性

构造函数、内联成员函数（虚函数不能以内联的方式处理）、静态成员函数都不能是虚函数

析构函数可以是虚函数，但构造函数不能是虚函数

 

虚析构函数

构造函数不能是虚函数。建立一个派生类对象时，必须从类层次的根开始，沿着继承路径逐个调用基类的构造函数

析构函数可以是虚的，通常声明为虚函数。虚析构函数用于指引 delete 运算符正确析构动态对象

普通析构函数在继承中已经讲过

虚析构函数，在基类定义虚析构函数后，基类的指针就能访问派生类对象，那么在析构时需要先析构派生类再析构基类。

 

使用虚函数实现动态联编

Example:

#include <iostream>
#include <string>
using namespace std;
class Animal
{
	string name;
public:
	Animal(string names):name(names){}
	virtual void show(){}
	void showname()
	{
		cout<< "The name is "<<name<<"."<<endl;
	}
};
class Cat:public Animal
{
	string kind;
public:
	Cat(string names,string kinds):Animal(names),kind(kinds){}
	void show();
};
void Cat::show()
{
	showname();
	cout<<" It's a "<<kind<<endl;
}
int main()
{
	Animal *p;
	Cat cat("Tom","cat");
	p=&cat;
	p->show();
	return 0;
}

多态性

多态性是指一个名字，多种语义；或界面相同，多种实现。

重载函数是多态性的一种简单形式。

实现运行多态的关键首先是要说明虚函数，另外，必须用基类指针调用派生类的不同实现版本。

纯虚函数

纯虚函数是一个在基类中说明的特殊虚函数，在基类中没有定义，留给派生类实现。要求任何派生类都定义自己的版本、

一个具有纯虚函数的基类称为抽象类

纯虚函数说明形式：

virtual 类型函数名（参数表）=0;

注意：

抽象类不能建立对象，但可以声明指针

抽象类不能作为返回类型（return抽象类），不能作为传值参数类型（void g(抽象类)）

可以声明抽象类的引用（抽象类&h(抽象类 &);）