C++多态

1.多态的基本概念
多态分为两类：1.静态多态：函数重载和运算符重载以及继承中同名覆盖实现的多态属于静态多态
2.动态多态：派生类和虚函数实现运行时多态
静态多态和动态多态区别：
静态多态的函数地址早绑定，编译阶段确定函数地址
动态多态的函数地址晚绑定，运行阶段确定函数地址

因此，对于派生类对象调用成员函数，可以有以下结论：
1.派生类对象可以直接调用本类中与基类成员函数同名的函数，不存在二义性。
2.在编译时就能确定对象将调用哪个函数，属于静态联编，不属于运行时的多态
circle类是shape类的公有继承，“圆”是“图形”的一种特例。这种关系不可逆。
因此，当派生类是基类的公有继承时，在关于基类对象和派生类对象的操作上，可以允许：
1.派生类对象赋值给基类对象
2.派生类对象的地址赋值给基类对象的指针。或者说，用派生类对象的地址初始化基类对象的指针。
3.将基类对象的引用，定义为派生类对象的别名。或者说，用派生类对象初始化基类的引用。
4.通过派生类对象的地址初始化的基类对象的指针，访问基类的公有成员，也可以访问类族中的虚函数，以实现运行时的多态。
例如，设Deriver是Base的公有派生类，则：
Base b;       //定义基类Base的对象b
Deriver d;    //定义基类Base的公有继承类Deriver的对象d
b=d;             //用派生类对象d对基类对象b赋值
Base* pt=&d; //用基类指针pt指向派生类对象d
Base &fb=d; //用基类的引用fb作为派生类对象的别名
就像双精度型数据可以赋值给整型变量一样，公有派生类对象可以赋值给基类对象，在赋值时只将派生类中的基类成员的值赋给基类对象，而舍弃派生类自己新增加的成员。

在关于基类对象和派生类对象的操作上，还存在以下这些不可以进行的操作：
1.将基类对象赋值给派生类对象
2.用基类对象的地址初始化派生类对象的指针
3.将派生类对象的引用定义为基类对象的别名
4.通过用派生类对象初始化的基类对象的指针，访问派生类新增加的和基类公有成员不重名的公有成员。
在上述代码中，观察通过派生类对象地址初始化的基类对象的指针访问getArea()函数的结果。
程序运行结果表明：
1.确实可以用派生类对象的地址初始化基类对象的指针
2.通过用派生类对象地址初始化的基类对象指针，只能调用基类的公有成员函数
3.这种调用关系的确定，也是在编译的过程中完成的，属于静态联编，而不属于运行时的多态




程序运行结果表明：
这是运行时的多态，需要以下条件：
1.必须通过指向基类对象的指针访问和基类成员函数同名的派生类成员函数；或者用派生类对象初始化的基类对象的引用访问和基类成员函数同名的派生类成员函数
2.派生类的继承方式必须是公有继承
3.基类中的同名函数必须定义为虚函数
2.虚函数的使用
虚函数使用时要遵循以下规则：
1.必须首先在基类中声明虚函数。在多级继承的情况下，也可以不在最高层的基类中声明虚函数。例如，在第二层定义的虚函数，可以和第三层的虚函数形成多态联编。但是，一般都是在最高层的基类中首先声明虚函数。
2.基类和派生类的同名函数，必须函数名，返回值类型，参数表全部相同，才能作为虚函数来使用。否则，即使函数用virtual来声明，也不具有虚函数的行为.
3.静态成员函数不可以声明为虚函数。构造函数也不可以声明为虚函数。
4.析构函数可以声明为虚函数，即可以定义虚析构函数。
如果在多层继承中，最高层和第三层有两个原形相同的函数，并在最高层中声明为虚函数，则第三层的这个函数也是虚函数。这种关系不会因为第二层没有定义这个函数而受到影响。
 

分析：函数调用bp->vf2(10);是错误的。因为派生类的vf2()函数和其他基类的vf2()函数的参数不同，派生类的vf2()就不是虚函数。bp->vf2(10)；语句就会调用基类的vf2()函数，但是基类的vf2()是不需要参数的，而现在有一个参数“10”，出现了参数不匹配，导致编译错误。
其中，bp->vf1()调用是动态联编，bp->vf2()是静态联编，bp->f()也是静态联编。
3.虚析构函数
如果用动态创建的派生类对象的地址初始化基类的指针，创建的过程仍然是先调用基类构造函数，再执行派生类构造函数。但是，在用delete运算符删除这个指针的时候，由于指针是指向基类的，通过静态联编，只会调用基类的析构函数，释放基类成员所占用的内存空间，而派生类成员所占用的空间将不会被释放。

当用delete释放它时，通过静态联编，只会调用基类Base的析构函数，释放基类成员所占用的空间，而不执行派生类Deriver的析构函数，故派生类新增加的成员所占用的空间将不会被释放。
为了解决这个问题，必须将基类的析构函数定义为虚析构函数。格式是在析构函数的名字前添加virtual关键字。函数原型为virtual ~Base();
此时，无论派生类析构函数是不是用virtual来说明，都自动成为虚析构函数。
再用delete base_ptr来释放基类指针时，就会通过动态联编先调用派生类的析构函数，再调用基类的析构函数。

如果将基类的析构函数声明为虚函数，则由该基类派生的所有派生类的析构函数也都自动成为虚函数。
4.多态内部原理刨析

此时我们发现father只占用一个字节的空间。
当我们把eyes()函数变为虚函数时，发现变为4了。因为此时类内生成一个虚函数（表）指针。
即vfptr,它会指向一个虚函数表，即vftable，vftable内部会记录虚函数的地址，在这个father类中，虚函数表中记录的地址就是：&father::eyes()意思是father作用域下的函数eyes()的地址；如果Son只单纯的继承father,并不重写eyes函数，那么它就会把父类中的所有东西继承过来，包括父类中的vftable和vfptr，这时继承过来的vftable内部依然是&father::eyes();
若子类Son重写了eyes()函数，这时子类就会把虚函数表中的内容进行一个覆盖操作，此时的子类中的虚函数表内部会替换为子类的虚函数地址，即在这里子类内部就会发生:&father::eyes()变成&Son::eyes();即&father::eyes()被&Son::eyes()覆盖了，这时子类Son的虚函数表中就只有&Son::eyes()了；
但是父类father中的虚函数表并没有被覆盖，依然是&father::eyes()
总结：
1.我们在父类中写了一个虚函数，使类的内部发生了结构的改变，多了一个虚函数指针（vfptr）,指向了一个虚函数表（vftable）,虚函数表内部记录了该虚函数的入口地址
2.当子类重写了这个虚函数后，这个子类中的虚函数表内从父类继承来的虚函数地址就会被子类的函数地址覆盖。
3.在最后父类的指针或者引用指向子类对象时，就会走子类的重写的函数地址，就会发生了多态。
重写概念：函数名，函数返回类型，函数参数表完全相同
5.纯虚函数和抽象类
virtual float getArea() const=0;  //纯虚函数
声明纯虚函数的一般形式为virtual 函数类型 函数名（参数表）=0；
纯虚函数的声明和使用有以下特点：
1.纯虚函数没有函数体。函数体用“=0”来代替了，它只起形式上的作用，告诉编译器系统“这是纯虚函数”。
2.这是一个声明语句，最后应有分号
3.纯虚函数只有函数的名字而不具备函数的功能，是不可以被调用的。凡是需要被调用的函数都不可以声明为纯虚函数
4.纯虚函数一定是在基类中说明的
5.在多级继承的情况下，纯虚函数除了在最高层基类中声明外，也可以在较低层的基类中声明，纯虚函数的作用是在基类中为其派生类保留一个函数的名字，以便派生类根据需要对它进行定义，如果在基类中没有保留函数名字，则无法实现多态性。如果在一个类中声明了纯虚函数，而在其派生类中没有对该函数定义，则该函数在派生类中仍然为纯虚函数
往往有一些类，它们不要来生成对象，而是用来生成派生类。，用这些派生类去建立对象。
这种不要来定义对象而只作为基本类型用作继承的类，称为抽象类。凡是包含纯虚函数的类都是抽象类。
抽象类定义的一般形式为：
class 类名
{
public:
virtual 函数类型 函数名（参数表）=0；
//其他函数的声明
//..
}
抽象类的使用和定义具有以下特点：
1.抽象类是不可以实例化的，也就是不可以定义抽象类的对象。
2.可以定义抽象类的指针和抽象类的引用，目的是通过这些指针或引用访问派生类的虚函数，实现运行时的多态
3.如果抽象类的派生类中没有具体实现纯虚函数的功能，这样的派生类仍然是抽象类
4.抽象类中除了纯虚函数外，还可以定义其他的非纯虚函数，如果这些函数都是public的属性，继承方式也是public,则派生类的对象是可以访问这些函数的。







6.补充
C++能干的事情，结构体也可以干
例如：构造函数，继承，多态，重写，重载，继承......


struct和class最大的区别就是class中默认为private，struct默认为public.
C++中的类成员函数都是默认内联函数。