C++中虚函数功能的实现机制

2024-08-27 00:38
文章标签 c++ 实现 函数 功能 机制 中虚

本文主要是介绍C++中虚函数功能的实现机制，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

https://www.cnblogs.com/kylehz/p/4663468.html

 

C++中虚函数功能的实现机制

要理解C++中虚函数是如何工作的，需要回答四个问题。

1、  什么是虚函数。

虚函数由于必须是在类中声明的函数，因此又称为虚方法。所有以virtual修饰符开始的成员函数都成为虚方法。此时注意是virtual修饰的成员函数不是virtual修饰的成员函数名。

例如：基类中定义：

                            virtual void show();           //由于有virtual修饰因此是虚函数

                            voidshow(int);          //虽然和前面声明的show虚函数同名，但不是虚函数。

所有的虚函数地址都会放在所属类的虚函数表vtbl中。另外在基类中声明为虚函数的成员方法，到达子类时仍然是虚函数，即使子类中重新定义基类虚函数时未使用virtual修饰，该函数地址仍会放在子类的虚函数表vtbl中。

 

2、  正确区分重载、重写和隐藏。

注意三个概念的适用范围：处在同一个类中的函数才会出现重载。处在父类和子类中的函数才会出现重写和隐藏。

重载：同一类中，函数名相同，但参数列表不同。

重写：父子类中，函数名相同，参数列表相同，且有virtual修饰。

隐藏：父子类中，函数名相同，参数列表相同，但没有virtual修饰；

                    或：函数名相同，参数列表不同，无论有无virtual修饰都是隐藏。

例如：

                   基类中：(1)    virtual void show();           //是虚函数

                                     (2)    void show(int);          //不是虚函数

                   子类中：(3)    void show();                        //是虚函数

                                     (4)    void show(int);          //不是虚函数

1,2构成重载，3,4构成重载，1,3构成重写，2,4构成隐藏。另外2,3也会构成隐藏，子类对象无法访问基类的void show(int)成员方法，但是由于子类中4的存在导致了子类对象也可以直接调用void show(int)函数，不过此时调用的函数不在是基类中定义的void show(int)函数2，而是子类中的与3重载的4号函数。

 

3、  虚函数表是如何创建和继承的。

基类的虚函数表的创建：首先在基类声明中找到所有的虚函数，按照其声明顺序，编码0,1,2,3,4……，然后按照此声明顺序为基类创建一个虚函数表，其内容就是指向这些虚函数的函数指针，按照虚函数声明的顺序将这些虚函数的地址填入虚函数表中。例如若show放在虚函数声明的第二位，则在虚函数表中也放在第二位。

 

对于子类的虚函数表：首先将基类的虚函数表复制到该子类的虚函数表中。若子类重写了基类的虚函数show，则将子类的虚函数表中存放show的函数地址(未重写前存放的是子类的show虚函数的函数地址)更新为重写后函数的函数指针。若子类增加了一些虚函数的声明，则将这些虚函数的地址加到该类虚函数表的后面。

 

4、  虚函数表是如何访问的。

当执行pBase->show()时，要观察show在Base基类中声明的是虚函数还是非虚函数。若为虚函数将使用动态联编(使用虚函数表决定如何调用函数)，若为非虚函数则使用静态联编(根据调用指针pBase的类型来确定调用哪个类的成员函数)。此处假设show为虚函数，首先：由于检查到pBase指针类型所指的类Base中show定义为虚函数，因此找到pBase所指的对象(有可能是Base类型也可能是Extend类型。)，访问对象得到该对象所属类的虚函数表地址。其次：查找show在Base类中声明的位置在Base类中所有虚函数声明中的位序。然后到pBase所指对象的所属类(有可能是Extend哦，多态)的虚函数表中访问该位序的函数指针，从而得到要执行的函数。

         例如：

                   基类Base::virtualvoid show();                 (1)

                   子类Extend::virtualvoid show();             (2)

                   Externext;

                   Base*pBase=&ext;

                   pBase->show();

 

当执行pBase->show();时首先到Base中查看show()，发现其为虚函数，然后访问pBase指向的ext对象，在对象中得到Extend类的虚函数表，在Base类声明中找到show()声明的位序0，访问Extend类的虚函数表的位置0，得到show的函数地址。注意若只有基类定义了virtual void show();而子类未重写virtual void show();即上面的函数（2），则Extend虚函数表中的位序0中存放的地址仍然是Base类中定义的virtual void show()函数，而若Extend类中重写了Base类中的virtual void show()方法，则Extend的虚函数表中位序0的函数地址将被更新为Extend中新重写的函数地址。从而调用pBase->show()时将产生多态的现象。

 

总结：当调用pBase->show();时，执行的步骤：

1，  判断Base类中show是否为虚函数。

2，  若不是虚函数则找到pBase所指向的对象所属类Base。执行Base::show()。若是虚函数则执行步骤3.

3，  访问pBase所指对象的虚函数表指针得到pBase所指对象所在类的虚函数表。

4，  查找Base中show()在声明时的位序为x，到步骤3得到的虚函数表中找到位序x，从而得到要执行的show的函数地址。

5，  根据函数地址和Base中声明的show的函数类型(形参和返回值)访问地址所指向的函数。

 

 

以上为虚函数的工作机制。

注意只有用virtual修饰的成员方法才会放到虚函数表中去。

子类对父类函数的隐藏将导致无法通过子类对象访问基类的成员方法。

因此给出以下建议：

1、  若要在子类中重新定义父类的方法(有virtual为重写，无virtual为隐藏)，则应确保子类中的函数声明和父类函数声明中的形参完全一样。但返回值类型是基类引用/指针的成员函数在重新定义时可以返回子类的引用/指针(返回值协变)，这是由于子类的对象可以赋给基类引用/指针。

2、  若基类中声明了函数的重载版本，则在派生类中重新定义时应该重新定义所有基类的重载版本。这是因为，重新定义一个函数，其他的基类重载版本将被隐藏，导致子类无法使用这些基类的成员方法。所以需要每个都重新定义。若一些父类的重载版本，子类确实不需要修改，则由于重新定义了一个重载版本，即使有些重载版本不需要修改也要重新定义，在定义体中直接调用基类的成员方法(使用作用于限定符访问)。

3、  从虚函数的实现机制可以看到要想在子类中实现多态需要满足三个重要的条件。(1)在基类中函数声明为虚函数。(2)在子类中，对基类的虚函数进行了重写。(3)基类的指针指向了子类的对象。

 

上述转载自：here

隐藏测试： 子类中只定义了show（），那么子类对象将不能访问父类的show（int）

复制代码

#include<iostream>
using namespace std;
class Parent{
public:void show(){cout<<"Parent::show()"<<endl;}void show(int t){cout<<"Parent::show()"<<t<<endl;}
};
class Child: public Parent{
public:void show(){cout<<"Child::show()"<<endl;}
};
int main()
{Child c;c.show();getchar();return 0;
}

复制代码

Child::show()多态 父类中没有定义虚函数show，则使用静态联编，根据指针p的类型来决定调用哪个类的函数

复制代码

#include<iostream>
using namespace std;
class Parent{
public:void show(){cout<<"Parent::show()"<<endl;}void show(int t){cout<<"Parent::show()"<<t<<endl;}
};
class Child: public Parent{
public:void show(){cout<<"Child::show()"<<endl;}
};
int main()
{Child c;Parent *p=&c;p->show();p->show(2);getchar();return 0;
}

复制代码

Parent::show()

Parent::show()2

 

多态 父类中定义了虚函数show，查找show在Base类中声明的位置在父类中所有虚函数声明中的位序。然后找到p所指对象的所属类的虚函数表中访问该位序的函数指针，从而得到要执行的函数。

复制代码

#include<iostream>
using namespace std;
class Parent{
public:virtual void show(){cout<<"Parent::show()"<<endl;}void show(int t){cout<<"Parent::show()"<<t<<endl;}
};
class Child: public Parent{
public:void show(){cout<<"Child::show()"<<endl;}
};
int main()
{Child c;Parent *p=&c;p->show();p->show(2);getchar();return 0;
}

复制代码

Child::show()

Parent::show()2

 

多态 如果子类中没有重新父类方法，那么复制父类的虚函数表

复制代码

#include<iostream>
using namespace std;
class Parent{
public:virtual void show(){cout<<"Parent::show()"<<endl;}void show(int t){cout<<"Parent::show()"<<t<<endl;}
};
class Child: public Parent{
public:void show(){cout<<"Child::show()"<<endl;}
};
class GrandChild:public Child{};
int main()
{GrandChild c;Parent *p=&c;p->show();p->show(2);getchar();return 0;
}

复制代码

Child::show()

Parent::show()2

 

多态 如果子类重写了父类的虚函数，那么通过p指针所在类的该虚函数的位序访问子类中的对应的函数，如果子类重写的是非虚函数，那么通过指针p只能访问p所在类的该函数

复制代码

#include<iostream>
using namespace std;
class Parent{
public:virtual void show(){cout<<"Parent::show()"<<endl;}void show(int t){cout<<"Parent::show()"<<t<<endl;}
};
class Child: public Parent{
public:void show(){cout<<"Child::show()"<<endl;}void show(int t){cout<<"Child::show()"<<t<<endl;}
};
class GrandChild:public Child{void show(){cout<<"GrandChild::show()"<<endl;}void show(int t){cout<<"GrandChild::show()"<<t<<endl;}
};
int main()
{GrandChild c;Parent *p=&c;p->show();p->show(2);getchar();return 0;
}

复制代码

GrandChild::show()

Parent::show()2

这篇关于C++中虚函数功能的实现机制的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/1110146。

相关文章

windos server2022里的DFS配置的实现

windos server2022里的DFS配置的实现

《windosserver2022里的DFS配置的实现》DFS是WindowsServer操作系统提供的一种功能,用于在多台服务器上集中管理共享文件夹和文件的分布式存储解决方案,本文就来介绍一下wi... 目录什么是DFS？优势：应用场景：DFS配置步骤什么是DFS？DFS指的是分布式文件系统（Distr
阅读更多...
NFS实现多服务器文件的共享的方法步骤

NFS实现多服务器文件的共享的方法步骤

《NFS实现多服务器文件的共享的方法步骤》NFS允许网络中的计算机之间共享资源,客户端可以透明地读写远端NFS服务器上的文件,本文就来介绍一下NFS实现多服务器文件的共享的方法步骤,感兴趣的可以了解一... 目录一、简介二、部署1、准备1、服务端和客户端：安装nfs-utils2、服务端：创建共享目录3、服
阅读更多...
C#使用yield关键字实现提升迭代性能与效率

C#使用yield关键字实现提升迭代性能与效率

《C#使用yield关键字实现提升迭代性能与效率》yield关键字在C#中简化了数据迭代的方式,实现了按需生成数据,自动维护迭代状态,本文主要来聊聊如何使用yield关键字实现提升迭代性能与效率,感兴... 目录前言传统迭代和yield迭代方式对比yield延迟加载按需获取数据yield break显式示迭
阅读更多...
Python实现高效地读写大型文件

Python实现高效地读写大型文件

《Python实现高效地读写大型文件》Python如何读写的是大型文件,有没有什么方法来提高效率呢,这篇文章就来和大家聊聊如何在Python中高效地读写大型文件,需要的可以了解下... 目录一、逐行读取大型文件二、分块读取大型文件三、使用 mmap 模块进行内存映射文件操作（适用于大文件）四、使用 pand
阅读更多...
python实现pdf转word和excel的示例代码

python实现pdf转word和excel的示例代码

《python实现pdf转word和excel的示例代码》本文主要介绍了python实现pdf转word和excel的示例代码,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价... 目录一、引言二、python编程1，PDF转Word2，PDF转Excel三、前端页面效果展示总结一
阅读更多...
Python xmltodict实现简化XML数据处理

Python xmltodict实现简化XML数据处理

《Pythonxmltodict实现简化XML数据处理》Python社区为提供了xmltodict库,它专为简化XML与Python数据结构的转换而设计,本文主要来为大家介绍一下如何使用xmltod... 目录一、引言二、XMLtodict介绍设计理念适用场景三、功能参数与属性1、parse函数2、unpa
阅读更多...
C#实现获得某个枚举的所有名称

C#实现获得某个枚举的所有名称

《C#实现获得某个枚举的所有名称》这篇文章主要为大家详细介绍了C#如何实现获得某个枚举的所有名称,文中的示例代码讲解详细,具有一定的借鉴价值,有需要的小伙伴可以参考一下... C#中获得某个枚举的所有名称using System;using System.Collections.Generic;usi
阅读更多...
Go语言实现将中文转化为拼音功能

Go语言实现将中文转化为拼音功能

《Go语言实现将中文转化为拼音功能》这篇文章主要为大家详细介绍了Go语言中如何实现将中文转化为拼音功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 有这么一个需求：新用户入职 创建一系列账号比较麻烦，打算通过接口传入姓名进行初始化。想把姓名转化成拼音。因为有些账号即需要中文也需要英
阅读更多...
C# 读写ini文件操作实现

C# 读写ini文件操作实现

《C#读写ini文件操作实现》本文主要介绍了C#读写ini文件操作实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录一、INI文件结构二、读取INI文件中的数据在C#应用程序中，常将INI文件作为配置文件，用于存储应用程序的
阅读更多...
C#实现获取电脑中的端口号和硬件信息

C#实现获取电脑中的端口号和硬件信息

《C#实现获取电脑中的端口号和硬件信息》这篇文章主要为大家详细介绍了C#实现获取电脑中的端口号和硬件信息的相关方法,文中的示例代码讲解详细,有需要的小伙伴可以参考一下... 我们经常在使用一个串口软件的时候，发现软件中的端口号并不是普通的COM1，而是带有硬件信息的。那么如果我们使用C#编写软件时候，如
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2