多态
使程序具有可扩展性
编译时多态(静态多态):如运算符重载、函数重载
运行时多态(动态多态):如派生类、虚函数
静态多态和动态多态的区别在于函数地址是早绑定(静态联编),还是晚绑定(动态联编)。
如果函数的调用在编译阶段就可以确定函数的调用地址并产生代码,就是静态多态(编译时多态),地址是早绑定的。
如果函数的调用地址不能编译,不能在编译期间确定,而需要运行时才能确定,这属于晚绑定(动态多态,运行时多态)。
指针类型为animal,只能操作animal部分
基类指针或引用 指向子类对象(安全),向上转换
子类对象或引用指向基类对象(Cat *p = new Animal),会访问非法内存,不安全
基类指针只能访问子类中的基类部分数据
虚函数(需求:使用基类指针或引用访问子类对象中的成员方法)
使用virtual修饰成员函数,该函数就是虚函数
不涉及继承
涉及继承
当虚函数涉及继承时,子类会继承父类的虚函数指针(vfptr)和虚函数表(vftable),并将虚函数表的函数入口地址更新成子类中同名函数的入口地址,如果用基类指针访问同名函数就会间接调用子类的同名函数。
虚函数应用
#include <iostream>
using namespace std;
class Night{
public:
virtual void night(){
cout << "夜晚" << endl;
}
};
class Night1: public Night{
public:
void night(){
cout << "安静的夜晚" << endl;
}
};
class Night2: public Night{
public:
void night(){
cout << "刮风的夜晚" << endl;
}
};
class Night3: public Night{
public:
void night(){
cout << "打雷的夜晚" << endl;
}
};
class Night4: public Night{
public:
void night(){
cout << "下雨的夜晚" << endl;
}
};
//以基类的指针或引用,能够操纵该基类派生出的任意子类对象
void LookNight(Night &p){
p.night();
}
void looknight(Night *p){
p->night();
}
int main()
{
Night1 A;
Night2 B;
Night3 C;
Night4 D;
LookNight(A);
looknight(&B);
looknight(new Night3);
return 0;
}
虚析构
释放不完全,只能释放父类
虚析构(虚函数):通过基类 指针或引用释放所有空间
纯虚函数和抽象类
当父类某成员函数被定义为虚函数时,因为会被子类的同名函数掩盖,那么这个成员函数就没有必要写出来
例如:
class Night{
public:
virtual void night(){
cout << "夜晚" << endl;
}
};
class Night1: public Night{
public:
void night(){
cout << "安静的夜晚" << endl;
}
};
其中父类中night()会被子类night()代替,所以父类night()中的cout<<......,没必要写出来,因此:
class Night{
public:
//纯虚函数
//如果一个类中拥有纯虚函数,这个类就是抽象类
//抽象类不能实例化 但可以创建指针
virtual void night() = 0;
};
class Night1: public Night{
public:
void night(){
cout << "安静的夜晚" << endl;
}
};
可以改写为virtual void night() = 0;
可称为纯虚函数;如果一个类中拥有纯虚函数,这个类就是抽象类;抽象类不能实例化
当继承一个抽象类时,必须实现所有的纯虚函数,否则由抽象类派生的类也是一个抽象类。
virtual void fun() = 0,告诉编译器在vtable为函数保留一个位置,但这个特定位置不放地址。
建立公共接口的目的是为了将子类公共的操作抽象出来,可以通过一个公共接口来操作一组类,且这个公共接口不需要实现(或者不需要完全实现)。可以创建一个公共类。
固定流程
冲咖啡:煮水、冲咖啡、倒入杯中、加糖
冲茶水:煮水、冲茶叶、倒入杯中、加柠檬
#include <iostream>
using namespace std;
//制作
class Do{
public:
virtual void water() = 0;
virtual void th() = 0;
virtual void push() = 0;
virtual void in() = 0;
void make(){
water();
th();
push();
in();
}
};
//茶水
class Tea: public Do{
virtual void water(){
cout << "1" << endl;
}
virtual void th(){
cout << "tea" << endl;
}
virtual void push(){
cout << "2" << endl;
}
virtual void in(){
cout << "NM" << endl;
}
};
class Coffee: public Do{
virtual void water(){
cout << "1" << endl;
}
virtual void th(){
cout << "coffee" << endl;
}
virtual void push(){
cout << "2" << endl;
}
virtual void in(){
cout << "suger" << endl;
}
};
void Began(Do &T){
T.make();
}
int main()
{
Tea T;
Coffee C;
Began(T);
cout << endl;
Began(C);
return 0;
}
纯虚析构函数
纯虚析构必须实现函数体,纯虚函数不需实现函数体;
原因 :释放类对象时,先调用子类的析构再调用父类的析构,如果父类析构没有函数体则无法调用。
虚函数、纯虚函数、虚析构、纯虚析构
虚函数的目的:通过基类指针或引用操作子类方法,使算法具有多态性
纯虚函数的目的:为子类提供固定的流程和接口
虚析构函数的目的:为解决基类指针指向派生类的对象,并用基类指针删除派生类的对象
纯虚析构函数的目的:为解决基类指针指向派生类的对象,并用基类指针删除派生类的对象,同时提供统一的固定接口
重写、重载、重定义
重写(覆盖):
继承:子类重新写父类的同名virtual函数。函数的返回值、参数、名字,必须与父类中的虚函数一致。
重载:(条件)同一作用域
同一作用域的同名函数,参数个数,参数顺序,参数类型不同。和函数的返回值无关
const也可作为重载的条件,例Do(const Teacher &T)和Do(Teacher &T),本质也是参数类型不同
重定义(隐藏):
继承:子类重新定义父类的同名函数(非virtual函数)
注:仅用于学习总结