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

2024-08-27 00:38

本文主要是介绍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

相关文章

Python使用Tenacity一行代码实现自动重试详解

《Python使用Tenacity一行代码实现自动重试详解》tenacity是一个专为Python设计的通用重试库,它的核心理念就是用简单、清晰的方式,为任何可能失败的操作添加重试能力,下面我们就来看... 目录一切始于一个简单的 API 调用Tenacity 入门:一行代码实现优雅重试精细控制:让重试按我

深度解析Spring Security 中的 SecurityFilterChain核心功能

《深度解析SpringSecurity中的SecurityFilterChain核心功能》SecurityFilterChain通过组件化配置、类型安全路径匹配、多链协同三大特性,重构了Spri... 目录Spring Security 中的SecurityFilterChain深度解析一、Security

MySQL常用字符串函数示例和场景介绍

《MySQL常用字符串函数示例和场景介绍》MySQL提供了丰富的字符串函数帮助我们高效地对字符串进行处理、转换和分析,本文我将全面且深入地介绍MySQL常用的字符串函数,并结合具体示例和场景,帮你熟练... 目录一、字符串函数概述1.1 字符串函数的作用1.2 字符串函数分类二、字符串长度与统计函数2.1

Redis客户端连接机制的实现方案

《Redis客户端连接机制的实现方案》本文主要介绍了Redis客户端连接机制的实现方案,包括事件驱动模型、非阻塞I/O处理、连接池应用及配置优化,具有一定的参考价值,感兴趣的可以了解一下... 目录1. Redis连接模型概述2. 连接建立过程详解2.1 连php接初始化流程2.2 关键配置参数3. 最大连

Python实现网格交易策略的过程

《Python实现网格交易策略的过程》本文讲解Python网格交易策略,利用ccxt获取加密货币数据及backtrader回测,通过设定网格节点,低买高卖获利,适合震荡行情,下面跟我一起看看我们的第一... 网格交易是一种经典的量化交易策略,其核心思想是在价格上下预设多个“网格”,当价格触发特定网格时执行买

python设置环境变量路径实现过程

《python设置环境变量路径实现过程》本文介绍设置Python路径的多种方法:临时设置(Windows用`set`,Linux/macOS用`export`)、永久设置(系统属性或shell配置文件... 目录设置python路径的方法临时设置环境变量(适用于当前会话)永久设置环境变量(Windows系统

python使用try函数详解

《python使用try函数详解》Pythontry语句用于异常处理,支持捕获特定/多种异常、else/final子句确保资源释放,结合with语句自动清理,可自定义异常及嵌套结构,灵活应对错误场景... 目录try 函数的基本语法捕获特定异常捕获多个异常使用 else 子句使用 finally 子句捕获所

C++11范围for初始化列表auto decltype详解

《C++11范围for初始化列表autodecltype详解》C++11引入auto类型推导、decltype类型推断、统一列表初始化、范围for循环及智能指针,提升代码简洁性、类型安全与资源管理效... 目录C++11新特性1. 自动类型推导auto1.1 基本语法2. decltype3. 列表初始化3

C++11右值引用与Lambda表达式的使用

《C++11右值引用与Lambda表达式的使用》C++11引入右值引用,实现移动语义提升性能,支持资源转移与完美转发;同时引入Lambda表达式,简化匿名函数定义,通过捕获列表和参数列表灵活处理变量... 目录C++11新特性右值引用和移动语义左值 / 右值常见的左值和右值移动语义移动构造函数移动复制运算符

Python对接支付宝支付之使用AliPay实现的详细操作指南

《Python对接支付宝支付之使用AliPay实现的详细操作指南》支付宝没有提供PythonSDK,但是强大的github就有提供python-alipay-sdk,封装里很多复杂操作,使用这个我们就... 目录一、引言二、准备工作2.1 支付宝开放平台入驻与应用创建2.2 密钥生成与配置2.3 安装ali