文章目录
一、多态的概念
多态的概念:通俗来说,就是多种形态,具体点就是去完成某个行为,当不同的对象去完成时会 产生出不同的状态
🍐举个栗子:比如买票这个行为,当普通人买票时,是全价买票;学生买票时,是半价买票;军人 买票时是优先买票
二、多态的定义及实现
1.多态的构成条件
多态是在不同继承关系的类对象,去调用同一函数,产生了不同的行为。比如Student继承了
Person。Person对象买票全价,Student对象买票半价
那么在继承中要构成多态还有两个条件
1️⃣必须通过基类的指针或者引用调用虚函数
2️⃣被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写(重写与继承中的隐藏是不一样的,重写概念具体看后面)
2.虚函数
虚函数:即被virtual修饰的类成员函数称为虚函数
class Person {
public:
virtual void BuyTicket() { cout << "买票-全价" << endl;}
};
3.虚函数的重写
🍸 虚函数的重写(覆盖):派生类中有一个跟基类
完全相同
的虚函数
(即派生类虚函数与基类虚函数的
返回值类型、函数名字、参数列表完全相同),称子类的虚函数重写了基类的虚函数
class Person {
public:
virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
/*注意:在重写基类虚函数时,派生类的虚函数在不加virtual关键字时,虽然也可以构成重写(因
为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范,不建议
这样使用*/
/*void BuyTicket() { cout << "买票-半价" << endl; }*/
virtual void BuyTicket() { cout << "买票-半价" << endl; }
};
void Func(Person& p)
{
p.BuyTicket();
}
4.虚函数重写的两个例外
1️⃣协变(基类与派生类虚函数返回值类型不同)(实际很少用到, 只做了解
)
派生类重写基类虚函数时,与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指
针或者引用,派生类虚函数返回派生类对象的指针或者引用时,称为协变
class A {};
class B : public A {};
class Person
{
public:
virtual A* f()
{
std::cout << "person" << std::endl;
return new A;
}
};
class Student : public Person
{
public:
virtual B* f()
{
std::cout << "stduent" << std::endl;
return new B;
}
};
};
2️⃣析构函数的重写(基类与派生类析构函数的名字不同)
如果基类的析构函数为虚函数,此时派生类析构函数只要定义,无论是否加virtual关键字,都与基类的析构函数构成重写,虽然基类与派生类析构函数名字不同。虽然函数名不相同,看起来违背了重写的规则,其实不然,这里可以理解为编译器对析构函数的名称做了特殊处 理,编译后析构函数的名称
统一处理成destructor
(正是这个处理方法使得多态的析构不会析构错,如下解析)
class Person {
public:
~Person() { cout << "~Person()" << endl; }
};
class Student : public Person {
public:
~Student() { cout << "~Student()" << endl; }
};
// 只有派生类Student的析构函数重写了Person的析构函数,下面的delete对象调用析构函
int main()
{
Person* p1 = new Person;
Person* p2 = new Student;
delete p1;
delete p2;
return 0;
}
如果像以上代码一样析构函数如果没有加virtual的话,Student析构时会析构错(如下图一),所以我们必须加virtual(如下图二)
5. C++11 override 和 final
从上面可以看出,C++对函数重写的要求比较严格,但是有些情况下由于疏忽,可能会导致函数名字母次序写反而无法构成重载,而这种错误在编译期间是不会报出的,只有在程序运行时没有得到预期结果才来debug会得不偿失,因此:C++11提供了override和final两个关键字,可以帮 助用户检测是否重写。
1️⃣final:修饰虚函数,表示该虚函数不能再被重写
class Car
{
public:
virtual void Drive() final {}
};
class Benz :public Car
{
public:
virtual void Drive() {cout << "Benz-舒适" << endl;}
};
2️⃣. override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错
class Car
{
public:
void Drive() {}
};
class Benz :public Car
{
public:
virtual void Drive() override { cout << "Benz-舒适" << endl; }
};
三、抽象类
在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类(也叫接口类),抽象类不能实例化出对象。派生类继承后也不能实例化出对象,
只有重写纯虚函数,派生类才能实例化出对象
纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承
class Car
{
public:
virtual void Drive() = 0;
};
class Benz :public Car
{
public:
virtual void Drive()
{
cout << "Benz-舒适" << endl;
}
};
class BMW :public Car
{
public:
void Drive()
{
cout << "BMW-操控" << endl;
}
};
void Test()
{
Car A;
Car* pBenz = new Benz;
pBenz->Drive();
Car* pBMW = new BMW;
pBMW->Drive();
}
四、多态的原理
1.虚函数表
一个含有虚函数的类中都至少都有一个虚函数表指针,因为虚函数 的地址要被放到虚函数表中,虚函数表也简称虚表
class Base
{
public:
virtual void Func1()
{
cout << "Func1()" << endl;
}
private:
int _b = 1;
};
猜猜以上代码运行结果是多少(32位下)?
我们可以发现在b对象中有一个二级指针,所以才为8字节,这个二级指针所指向的就是虚函数表
那么虚函数表里都放着什么呢?我们用以下代码来观察
#include <iostream>
class Base {
public:
virtual void foo() {
std::cout << "Base::foo()" << std::endl;
}
virtual void bar() {
std::cout << "Base::bar()" << std::endl;
}
};
typedef void (*FunctionPointer)();
int main() {
Base obj;
// 获取对象的地址
//注意以下reinterpret_cast<T>是C++的强制转换,类似于(T),但比C的强制类型转换更加安全
uintptr_t* objPtr = reinterpret_cast<uintptr_t*>(&obj);
// 获取虚函数表指针(这里假设虚函数表是第一个指针)
uintptr_t* vtablePtr = reinterpret_cast<uintptr_t*>(*objPtr);
// 获取虚函数指针并调用函数
FunctionPointer funcPtr;
// 第一个虚函数是 foo()
funcPtr = reinterpret_cast<FunctionPointer>(vtablePtr[0]);
std::cout << "Function at index 0: ";
funcPtr();
// 第二个虚函数是 bar()
funcPtr = reinterpret_cast<FunctionPointer>(vtablePtr[1]);
std::cout << "Function at index 1: ";
funcPtr();
return 0;
}
这个void**是什么呢?我们可以通过强制转换打印出虚函数表里的函数
2. 多态原理
class Base
{
public:
virtual void Func1()
{
cout << "Base::Func1()" << endl;
}
virtual void Func2()
{
cout << "Base::Func2()" << endl;
}
void Func3()
{
cout << "Base::Func3()" << endl;
}
private:
int _b = 1;
};
class Derive : public Base
{
public:
virtual void Func1()
{
cout << "Derive::Func1()" << endl;
}
private:
int _d = 2;
};
int main()
{
Base b;
Derive d;
return 0;
}
通过上图所给的通过虚函数表打出虚函数,于多态有什么用呢?根据以上我给的函数给出结论
1.基类b对象和派生类d对象虚表是不一样的,这里我们发现Func1完成了重写,所以d的虚表中存的是重写的Derive::Func1,所 以虚函数的重写也叫作
覆盖
,覆盖就是指虚表中虚函数 的覆盖。重写是语法的叫法,覆盖是原理层的叫法
。
2.另外Func2继承下来后是虚函数,所以放进了虚表,Func3也继承下来了,但是不是虚函 数,所以不会放进虚表。
3. 虚函数表本质是一个存虚函数指针的指针数组,一般情况这个数组最后面放了一个nullptr
。
4. 总结一下派生类的虚表生成:a.先将基类中的虚表内容拷贝一份到派生类虚表中 b.如果派生 类重写了基类中某个虚函数,用派生类自己的虚函数覆盖虚表中基类的虚函数 c.派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后
❓❓❓那我们在思考一下实现多态的两个条件,一是完成虚函数的冲写,这个是为了让派生类覆盖虚函数表里的函数,二是需要是对象的指针或引用调用虚函数,这是为了弄到虚函数表的地址,通过以上分析,多态是不是很清晰了
3.动态绑定和静态绑定
1.静态绑定又称为前期绑定(早绑定),在程序编译期间确定了程序的行为,也称为静态多态, 比如:
函数重载
2. 动态绑定又称后期绑定(晚绑定),是在程序运行期间,根据具体拿到的类型确定程序的具体 行为,调用具体的函数,也称为动态多态