转载自:https://blog.csdn.net/weixin_45590473/article/details/108328192
https://blog.csdn.net/anarkitek/article/details/90590031
补充阅读:https://zhuanlan.zhihu.com/p/37331092
一、定义介绍
1. 多态
多态(polymorphism)是面向对象编程语言的一大特点,而虚函数是实现多态的机制。
其核心理念就是通过基类访问派生类定义的函数。
多态性使得程序调用的函数是在运行时动态确定的,而不是在编译时静态确定的。
使用一个基类类型的指针或者引用,来指向子类对象,进而调用由子类复写的个性化的虚函数,这是C++实现多态性的一个最经典的场景。
2. 虚函数/纯虚函数
- 虚函数,在类成员方法的声明(不是定义)语句前加“virtual”, 如
virtual void func()
- 纯虚函数,在虚函数后加“=0”,如
virtual void func()=0
- 对于虚函数,子类可以(也可以不)重新定义基类的虚函数,该行为称之为复写Override。
- 对于纯虚函数,子类必须提供纯虚函数的个性化实现。
在派生子类中对虚函数和纯虚函数的个性化实现,都体现了“多态”特性。但区别是:
- 子类如果不提供虚函数的实现,将会自动调用基类的缺省虚函数实现,作为备选方案;
- 子类如果不提供纯虚函数的实现,编译将会失败。尽管在基类中可以给出纯虚函数的实现,但无法通过指向子类对象的基类类型指针来调用该纯虚函数,也即不能作为子类相应纯虚函数的备选方案。(纯虚函数在基类中的实现跟多态性无关,它只是提供了一种语法上的便利,在变化多端的应用场景中留有后路。)
二、多态答疑
1. 为什么类的静态成员函数不能为虚函数?
如果定义为虚函数,那么它就是动态绑定的,也就是在派生类中可以被覆盖的,这与静态成员函数的定义(在内存中只有一份拷贝,通过类名或对象引用访问静态成员)本身就是相矛盾的。
2. 为什么构造函数不能为虚函数?
在继承体系中,构造的顺序就是从基类到派生类,其目的就在于确保对象能够成功地构建。构造函数同时承担着虚函数表的建立,如果它本身都是虚函数的话,如何确保vtbl的构建成功呢?
3. 为什么析构函数是虚函数?
如果不定义虚析构函数,当删除一个指向派生类对象的指针时,只会调用基类的析构函数,派生类的析构函数未被调用,造成内存泄露。
4. 虚函数析构函数的工作顺序?
虚析构函数工作的方式是:最底层的派生类的析构函数最先被调用,然后各个基类的析构函数被调用。这样,当删除指向派生类的指针时,就会首先调用派生类的析构函数,不会有内存泄露的问题了。
5. 如果形参是父类,实参是子类,那么局部对象是父类还是子类?
如果形参是父类,而实参是子类,在进行值传递的时候,临时对象构造时只会构造父类的部分,是一个纯粹的父类对象,而不会构造子类的任何特有的部分。如果想在被调函数中通过调用虚函数获得一些子类特有的行为,这是不能实现的。
6. 父类、子类中同名函数,但一为虚函数,一为普通函数的情况?
- 父类虚函数,子类普通函数
调用子类普通函数 - 父类普通函数,子类虚函数
调用父类普通函数 - 如果是析构函数是什么情况?
父虚子实 → 先析构子类再析构父类
父实子虚 → 只析构父类
父实子实 / 父虚子虚 → 先析构子类再析构父类
三、父类为形参,子类为实参时的传参情况
1. 采用直接值传递
- 代码示例
#include <iostream>
using namespace std;
class Fish
{
public:
virtual void ShowInf()
{
cout << "我是一条fish" << endl;
}
};
class Carp : public Fish
{
public:
void ShowInf()
{
cout << "我是一条carp" << endl;
}
};
void ShowInf(Fish fish) // 直接进行普通的值传递
{
fish.ShowInf();
}
int main()
{
Carp carp;
ShowInf(carp);
}
- 代码到底讲述了什么?
当函数参数是父类对象且传入的参数是子类对象,然而我们用的是普通值传递时,子类对象仅仅将自己继承的那部分数据复制给子类形参。 - 运行结果
我是一条fish
2. 采用引用值传递
- 代码示例
#include <iostream>
using namespace std;
class Fish
{
public:
virtual void ShowInf()
{
cout << "我是一条fish" << endl;
}
};
class Carp : public Fish
{
public:
void ShowInf()
{
cout << "我是一条carp" << endl;
}
};
void ShowInf(Fish& fish) // 进行引用值传递
{
fish.ShowInf();
}
int main()
{
Carp carp;
ShowInf(carp);
}
-
代码到底讲述了什么?
当用 &引用的方式 进行值传递时,就相当将自己阉割成父类对象的样子,即将只属于自己的那一部分割去。然后将剩下的这一部分当作实参传递给函数。
我们这里要注意的是虚函数,当父类中有与子类同名的虚函数时,此时子类的成员函数会覆盖父类中的虚成员函数。因此,阉割剩下的部分并不与原父类成员相同。虚函数的作用原理详见“虚函数表”。 -
虚函数表
我们看到父类中的ShowInf()函数被声明为virtual类型的了,那虚函数是如何作用的呢?
我个人理解:虚函数的虚字可以理解为“形同虚设”,当我们声明父类的ShowInf()函数为虚函数同时我们在子类中也声明一个ShowInf()函数,那么在子类中,ShowInf()函数正好可以覆盖父类中的同名函数(形同虚设的函数)。 -
运行结果
我是一条carp
3. 采用深复制进行传递
- 代码示例
#include <iostream>
using namespace std;
class Fish
{
public:
virtual void ShowInf()
{
cout << "我是一条fish" << endl;
}
};
class Carp : public Fish
{
public:
void ShowInf()
{
cout << "我是一条carp" << endl;
}
};
void ShowInf(Fish* fish)
{
dynamic_cast<Carp*>(fish)->ShowInf(); // 进行了有继承关系类之间的强制类型转换
}
int main()
{
Carp carp;
ShowInf(&carp);
}
-
代码到底讲述了什么?
深复制其实传递与操作的是对象的指针,因为当我们获得地址(指针内容)后,我们可以调整指针类型用来访问不同的有效区间,有效区间仅仅指的是内存中与指针类型相同的区域,并不会像值传递的方式阉割了一部分内容,用指针作为形参既灵活(可以调整指针类型从而调整指针指向内容)又高效(传递指针比值传递快得多)。 -
运行结果
我是一条carp