文章目录
多态
概念
多态是面向对象三大特性中相对复杂的一个,他从直观上理解就是,不同的人(对象)做同一件事情(调用函数),会产生不同的结果(状态)
多态又分为静态多态和动态多态,静态多态其实就是函数重载,在本篇文章中主要介绍动态多态,在讲到多态的原理时,我们会细讲其中的区别
定义及实现
多态是在不同的为继承关系的类对象,调用同一个函数(同名函数),产生的不同的行为
例如,Student是Person的子类,同样的买票动作下,Person是全价,而Student是全价
构成条件
构成多态必须有两个条件
- 必须通过父类的指针或引用调用虚函数
- 被调用的函数必须是虚函数,子类必须重写父类的虚函数
例如
#include<iostream>
using namespace std;
class Person
{
public:
virtual void Buyticket()
{
cout << "Person:全价" << endl;
}
};
class Student : public Person
{
public:
virtual void Buyticket()
{
cout << "Student:半价" << endl;
}
};
void func(Person & people)
{
people.Buyticket();
}
int main()
{
Person P;
Student S;
func(P);
func(S);
P.Buyticket();
S.Buyticket();
}
简单说就是,谁调用就用谁的同名函数,要注意这两个条件缺一不可
虚函数
被virtual修饰的成员函数称为虚函数,刚刚我们也用到了
class Person
{
public:
virtual void Buyticket()
{
cout << "Person:全价" << endl;
}
};
虚函数的重写
虚函数的重写也叫做覆盖,要和函数重载,继承中的隐藏相区分
重写是子类和父类中有一个完全相同的虚函数(返回值、函数名、参数列表),称之为子类虚函数重写父类的虚函数
在实际中,子类不加virtual关键字时仍然可以构成多态,是因为继承的基类虚函数在子类中依然保持虚函数属性,但是不建议省略
虚函数重写中有两个例外
-
协变
基类与派生类的虚函数返回值类型不同,这里的不同指的是,基类虚函数返回基类指针或引用,派生类虚函数返回派生类指针或引用,构成协变,依然属于重写class A{}; class B : public A {}; class C { public: virtual A* f() { return new A; } } class D : public C { public: virtual B* f() { return new B; } }
-
析构函数重写
父类的析构函数为虚函数,只要子类的析构函数定义,由于继承了父类的虚函数特性,无论是否加virtual关键字,都构成重写,因为编译器对析构函数的名称统一处理为destructor,也满足多态的条件
override 和 final
这两个关键字是C++11提供的,用于确保重写
final修饰虚函数,表示该函数不能被重写
class A
{
public:
virtual void func() final {};
};
override会检查该函数是否重写了某个虚函数,如果没有重写则编译器报错
重载、覆盖、隐藏
函数重载的条件
- 两个函数处于相同作用域
- 函数名相同
- 参数列表不相同
重写(覆盖)的条件
- 两个函数分别在父类和子类
- 函数名,参数,返回值必须相同(除协变)
- 必须是两个虚函数
重定义(隐藏)的条件
- 两个函数分别在父类和子类
- 函数名相同
这里我们发现,重写比隐藏的条件要苛刻,实际上在父类和子类的派生类,只要函数名相同,不是重写就是隐藏
抽象类
纯虚函数
在虚函数的后面写上 = 0 就是纯虚函数
包含纯虚函数的类叫做抽象类,也叫做接口类
抽象类不能实例化出对象,派生类继承后也不能实例化,抽非重写纯虚函数,才能实例化
纯虚函数更体现了接口继承的特性
例如
class Base
{
public:
virtual void Func() = 0;
};
class A : public Base
{
public:
virtual void Func()
{
cout << "A::Func()" << endl;
}
};
class B : public Base
{
public:
virtual void Func()
{
cout << "B::Func()" << endl;
}
};
void test()
{
Base* pA = new A;
Base* pB = new B;
pA->Func();
pB->Func();
}
接口继承与实现继承
普通函数的继承是一种实现继承,派生类继承基类的函数,可以使用函数,继承的是函数的实现,或者说函数体
虚函数的继承是一种接口继承,派生类继承基类虚函数的接口,是为了重写,实现多态,继承的是接口,因此只需要在实现多态的时候定义虚函数
多态的原理
虚函数表
有这样一个类
class Base
{
public:
virtual void Func1()
{
cout << "Base::Func1" << endl;
}
protected:
int _base;
};
当我们输出sizeof Base时会发现,他的大小是8,查看监视窗口
我们发现还有一个_vfptr的指针(x86,32位平台)
这个指针我们叫做虚函数表指针,一个包含虚函数的类中都至少有一个虚函数表指针,因为虚函数的地址都要放到虚函数表中
我们对Base类继承,如下
class Base
{
public:
virtual void Func1()
{
cout << "Base::Func1" << endl;
}
virtual void Func2()
{
cout << "Base::Func2" << endl; // 添加虚函数Func2
}
void Func3()
{
cout << "Base::Func3" << endl; // 添加普通函数Func3
}
protected:
int _base;
};
class Derive : public Base
{
public:
virtual void Func1()
{
cout << "Derive::Func1" << endl; // 重写虚函数Func1
}
protected:
int _derive;
};
int main()
{
Base b;
b._base = 1;
Derive d;
d._derive = 1;
d._base = 2;
return 0;
}
这里因为VS2022的限制,由监视窗口就不能看出来具体的构造了,需要通过内存分析
我们先看Base类的
通过这里我们可以发现,首先虚函数表实际上是一个函数指针数组,其次不论有无被重写,都会存在于虚函数表中,普通函数不会存在虚表之中
然后再看Derive类的
这里我们发现,虚表地址不同,说明在继承之后虚表是重新创建了一份,重写函数地址不同,虚表的第一行是重写的Func()地址不同,也就是被覆盖,因此重写也称为覆盖
其次未重写的虚函数,由于继承,也在虚表中出现
最后,虚表的最后一项为空指针,经过验证,Linux g++没有这个空指针
因为虚表实际上是一个函数指针数组,我们可以通过指针分别打印出他们的地址,并判断出他是存在于内存的哪个区域
经过验证,虚函数和虚函数表是存在于代码段的,虚函数表中存的是虚函数指针,对象中存的是虚函数表指针
原理
通过上面的虚函数表分析,我们可以大致可以了解原理应该是这样的
当调用函数时,编译器直接访问第一个虚函数表指针,找到虚表,在调用对应的虚函数即可,这样就实现了多态的功能
动态绑定与静态绑定
静态绑定又称为前期绑定、早绑定,程序在编译时就确定了程序的行为,也称为静态多态
动态绑定又称为后期绑定、晚绑定,在程序运行期间,需要根据类型确定程序的行为和具体调用的函数,称为动态多态
我们可以通过对应的汇编代码来观察这一过程
多继承的虚函数表
单继承的虚函数表我们已经在上面的虚函数表原理中介绍过了,这里不再赘述
多继承中的虚函数表
class Base1
{
public:
virtual void func1()
{
cout<<"Bas1::func1"<<endl;
}
virtual void func2()
{
cout<<"Base1::func2"<<endl;
}
int b1;
};
class Base2
{
public:
virtual void func1()
{
cout<<"Base2::func1"<<endl;
}
virtual void func3()
{
cout<<"Base2::func2"<<endl;
}
int b2;
};
class Derive : public Base1, public Base2
{
public:
virtual void func1()
{
cout<<"Derive::func1"<<endl;
}
virtual void func3()
{
cout<<"Derive::func3"<<endl;
}
int d1;
};
int main()
{
Derive d;
return 0;
}
这里的内存分布就类似于之前的了,只是子类的虚函数和第一个父类公用一张虚函数表