C++: 多态实现原理解析
文章目录
- 1 静态多态
- 实现
- 原理
- 2 动态多态
- 实现
- 原理
- code
1 静态多态
实现
函数重载，在编译器确定
函数重载的条件：
- 函数名相同
- 参数个数不同，参数的类型不同，参数顺序不同
- 返回值类型，不作为重载的标准
原理
函数名修饰（替换），进行命名倾轧
函数执行过程：
- 预处理 ：把头文件的函数声明拷贝到源文件
- 编译 ： 语法分析，同时进行函数汇总
- 汇编 ：生成函数名到函数地址的映射
- 链接 ： 加那个多个文件的符号表汇总合并
2 动态多态
实现
多态实现条件：
- 父类中有虚函数，即共用接口
- 子类 override(覆写)父类中的虚函数
- 通过己被子类对象赋值的父类指引用 或子类对象地址赋值给父类指针，调用共用接口
虚函数声明：
class 类名
{virtual 函数声明;
}
纯虚函数：
- 纯虚函数只有声明，没有实现，被“初始化”为 0
- 含有纯虚函数的类，称为 Abstract Base Class(抽象基类)，不可实例
声明：
class 类名
{virtual 函数声明 = 0;
}
原理
若类使用虚函数，则会为类生成虚函数表（一维数组，存放了虚函数表的地址），类对象构造时会初始化虚函数表的指针
code
#include <iostream>
using namespace std;class Shape
{
public:Shape(int x,int y):_x(x),_y(y){}virtual void draw(){cout<<"draw Shap ";cout<<"start ("<<_x<<","<<_y<<") "<<endl;}protected:int _x;int _y;
};class Circle:public Shape
{
public:Circle(int x, int y,int r):Shape(x,y),_r(r){}void draw(){cout<<"draw Circle ";cout<<"start ("<<_x<<","<<_y<<") ";cout<<"raduis r = "<<_r<<endl;}private:int _r;
};int main()
{Shape s(3,5);Circle c(1,2,4);// 不能实现多态s = c;s.draw();// 子类对象赋值为父类引用，实现多态Shape &rs = c;rs.draw();//子类对象地址赋值给父类指针，实现多态Shape *ps = &c;ps->draw();return 0;
}
运行结果：
draw Shap start (1,2)
draw Circle start (1,2) raduis r = 4
draw Circle start (1,2) raduis r = 4