C++中的多态一



　　多态性可以简单地概括为“一个接口，多种方法”，程序在运行时才决定调用的函数，它是面向对象编程领域的核心概念。多态(polymorphism)，字面意思多种形状。

在C++中有两种多态性 ：

      1.编译时的多态性-----通过函数的重载和运算符的重载来实现的

      2.运行时的多态性-----运行时的多态性是指在程序执行前，无法根据函数名和参数来确定该调用哪一个函数，必须在程序执行过程中，根据执行的具体情况来动态地确定。它是通过类继承关系和虚函数来实现的。目的也是建立一种通用的程序。通用性是程序追求的主要目标之一。

多态与非多态的实质区别就是函数地址是早绑定还是晚绑定。如果函数的调用，在编译器编译期间就可以确定函数的调用地址，并生产代码，是静态的，就是说地址是早绑定的。而如果函数调用的地址不能在编译器期间确定，需要在运行时才确定，这就属于晚绑定。

那么多态的作用是什么呢，封装可以使得代码模块化，继承可以扩展已存在的代码，他们的目的都是为了代码重用。而多态的目的则是为了接口重用。也就是说，不论传递过来的究竟是那个类的对象，函数都能够通过同一个接口调用到适应各自对象的实现方法

#include<iostream>
#include<stdio.h>


using namespace std;

class  B
{
    public:	B(){}

            ~B(){} 
	public:

	   virtual fun()
	   {}
	
    private:
		int a;
		static int c ;    //静态成员在静态区
	
	
};


int main()
{
     B b;
	 cout << "B size = "<< sizeof(b)<<endl;
	 

	return 0;
}

运行结果：

8

#include<iostream>
#include<stdio.h>


using namespace std;

class  B
{
    public:	B(){}

            ~B(){} 
	public:

	   virtual fun()
	   {}
	
    private:
		int a;
		static int c ;    //静态成员在静态区
	
	
};

class C :  virtual public B 
{
     

};

int main()
{
     B b;
	 cout << "B size = "<< sizeof(b)<<endl;
	 
     C c;
	 cout << "C size = "<<sizeof(c)<<endl;
	return 0;
}

B size = 8
C size = 12
Press any key to continue

小结：

也就是加了virtual  不管是虚基类，还是虚函数都存在一个指针，其实虚基类和虚函数是没有联系的，不过在虚函数实现多态，虚基类解决砖石继承时，采用了同一种思想，虚函数里叫指向虚表的指针，虚基类也有个指针

虚函数的定义：virtual 返回类型 函数名（参数表）；

1.关键字virtual指明该成员函数为虚函数。virtual仅用于类定义中，如虚函数在类外定义，不可加virtual。

2.当某一个类的一个类成员函数被定义为虚函数，则由该类派生出来的所有派生类中，该函数始终保持虚函数的特征

3.当在派生类中重新定义虚函数（overriding a virtual function,亦译作超载或覆盖）时，不必加关键字virtual。但重新定义时不仅要同名，而且它的参数表和返回类型全部与基类中的虚函数一样，否则联编时出错

4.如未加关键字virtual，则是普通的派生类中的新成员函数覆盖基类同名成员函数（当然参数表必须一样，否则是重载），可称为同名覆盖函数，它不能实现运行时的多态性

成员函数应尽可能地设置为虚函数，但必须注意以下几条：

1.  派生类中定义虚函数必须与基类中的虚函数同名外，还必须同参数表，同返回类型。否则被认为是重载，而不是虚函数。如基类中返回基类指针，派生类中返回派生类指针是允许的，这是一个例外。
2.  只有类的成员函数才能说明为虚函数。这是因为虚函数仅适用于有继承关系的类对象。
3.  静态成员函数，是所有同一类对象共有，不受限于某个对象，不能作为虚函数。
4.  一个类对象的静态和动态类型是相同的，实现动态多态性时，必须使用基类类型的指针变量或引用，使该指针指向该基类的不同派生类的对象，并通过该指针指向虚函数，才能实现动态的多态性。

5. 内联函数每个对象一个拷贝，无映射关系，不能作为虚函数。
6. 析构函数可定义为虚函数，构造函数不能定义虚函数，因为在调用构造函数时对象还没有完成实例化。在基类中及其派生类中都动态分配的内存空间时，必须把析构函数定义为虚函数，实现撤消对象时的多态性。
7.  函数执行速度要稍慢一些。为了实现多态性，每一个派生类中均要保存相应虚函数的入口地址表，函数的调用机制也是间接实现。所以多态性总是要付出一定代价，但通用性是一个更高的目标。
8.  如果定义放在类外，virtual只能加在函数声明前面，不能（再）加在函数定义前面。正确的定义必须不包括virtual。

纯虚函数

纯虚函数（pure virtual function）是指被标明为不具体实现的虚拟成员函数。它用于这样的情况：定义一个基类时，会遇到无法定义基类中虚函数的具体实现，其实现依赖于不同的派生类

定义纯虚函数的一般格式为：
virtual 返回类型 函数名（参数表）=0；

含有纯虚函数的基类是不能用来定义对象的。纯虚函数没有实现部分，不能产生对象，所以含有纯虚函数的类是抽象类

定义纯虚函数必须注意：

1  定义纯虚函数时，不能定义虚函数的实现部分。即使是函数体为空也不可以，函数体为空就可以执行，只是什么也不做就返回。而纯虚函数不能调用。
2     “=0”表明程序员将不定义该函数，函数声明是为派生类保留一个位置。“=0”本质上是将指向函数体的指针定为NULL。
3     在派生类中必须有重新定义的纯虚函数的函数体，这样的派生类才能用来定义对象