(转)C++中虚函数功能的实现机制-程序员宅基地

技术标签: c/c++  

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

 

转载于:https://www.cnblogs.com/kylehz/p/4663468.html

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/weixin_30305735/article/details/97280207

智能推荐

单例模式之应用场景_单例模式应用场景实例-程序员宅基地

文章浏览阅读203次。1.用作全局变量,可以作为一个Cache;例如:要获取一个URL服务器请求host,可以通过HttpRequestServerlet**.java获得host,并将其保存在单例实例中,可以供项目直接调用。2.一个简单的单例Test类,测试如下:public class Test { private String str = "abc"; private Test()..._单例模式应用场景实例

ExtAspNet应用技巧(十七) - 新增菜单_ext:pagemanager-程序员宅基地

文章浏览阅读573次。界面截图 点击“新增菜单”,在父页面弹出对话框,选择父菜单为“==根节点==”,这里模拟树的下拉列表是不是很酷(这也是ExtAspNet的一个特色): 点击“保存并继续”,首先会AJAX回发到服务器并新增菜单到数据库,然后重新绑定下拉列表并弹出对话框: 新增另外一个菜单,并设置此菜单的父菜单为刚刚添加的: 点击“保存并关闭”,首先会AJAX回发到服务器并新增菜单到数据库,然后弹出对话框,当你_ext:pagemanager

办公软件不能打印能打印测试页,在office办公软件word中不能打印是什么原因-程序员宅基地

文章浏览阅读3.6k次。Word不能打印,原因可能有以下几种:1、可能没有安装打印机驱动首先检查一下是否安装了打印机驱动程序。方法是:在“计算机”上右键——“属性”——“设备管理器”,打开“设备管理器”窗口,检查里面是否有“打印机”,没有就还没有安装打印机驱动程序。如果是 xp 操作系统,在“我的电脑”上右键——“管理”——“设备管理器”,打开“设备管理器”窗口。2、是否设置了默认打印机依次选择“开始”——“控制面板”,..._表格和文档打印不了,可以打印测试页

没时间解释了,快使用Snackbar!——Android Snackbar花式使用指南_snackbar android 大小-程序员宅基地

文章浏览阅读8.6k次。http://www.jianshu.com/p/cd1e80e64311本文是在《Design Support Library第三部分:Snackbar样式》和《Snackbar使用及其注意事项》两篇文章的启发下而来,首先对两篇文章的作者表示感谢。Snackbar是Android Support Design Library库中的一个控件,可以在屏幕底部快速弹出消息,比Toa_snackbar android 大小

runtime exception & checked exception-程序员宅基地

文章浏览阅读116次。JAVA 提供两种异常,检测与非检测;检测异常类是java.lang.Exception and its subclass.non checked exception is java.lang.RuntimeException,java.lang.Error and their subclass.Checked exceptions indicate an exceptional ...

Android 8.0以上获取设备序列号解决方案_access denied finding property "ro.serialno-程序员宅基地

文章浏览阅读2.5w次,点赞16次,收藏26次。Android8.0以下通常使用反射的方式读取SN号码Class<?> c = Class.forName("android.os.SystemProperties");Method get = c.getMethod("get", String.class);String serial = (String) get.invoke(c, "ro.serialno");An..._access denied finding property "ro.serialno

随便推点

雨林木风系统md5值_新手小白如何重装电脑系统详解-程序员宅基地

文章浏览阅读214次。目前流行四种安装方法:一是windows PE安装,二是网上下载安装,三是Ghost克隆安装,四是盘对盘对拷。windows PE安装成功率高,操作间单,用时短,十几分钟就装完了,为一般人所喜爱。1、首先,要准备好Windows系统文件,大家可以在网上自行下载,我一般都在雨林木风里面下载,里面的系统也比较稳定流畅,http://www.ylmfeng.com/index.html2、下载好了系统之...

linux 内核配置_allocate 2nd-level pagetab-程序员宅基地

文章浏览阅读1.2k次。对于每一个配置选项,用户可以回答"y"、"m"或"n"。其中"y"表示将相应特性的支持或设备驱动程序编译进内核;"m"表示将相应特性的支持或设备驱动程序编译成可加载模块,在需要时,可由系统或用户自行加入到内核中去;"n"表示内核不提供相应特性或驱动程序的支持。只有才能选择M1. General setup(通用选项)[*]Prompt for development and/or _allocate 2nd-level pagetab

shell怎么使用制表符_shell中vi替换特殊字符(制表符\t等)的方法-程序员宅基地

文章浏览阅读1.4k次。今天看shell教程,看了下特殊字符里面还真不少,顺便练下手echo ------------------------------------echo "|a\t|ab\t|abc\t|abcd\t|abcde\t|abcdef\t|"echo -----------------------------------_echo "|\v|"输出还不错-------------------------..._shell \t

solr教程,值得刚接触搜索开发人员一看_solr一个人能开发吗-程序员宅基地

文章浏览阅读1.1k次。Solr调研总结开发类型全文检索相关开发Solr版本4.2文件内容本文介绍solr的功能使用及相关注意事项;主要包括以下内容:环境搭建及调试;两个核心配置文件介绍;维护索引;查询索引,和在查询中可以应用的高亮显示、拼写检查、搜索建议、分组统计、拼音检索等功能的使用方法。版本_solr一个人能开发吗

python3-pwntools教程_python的pwntools工具的日常使用-程序员宅基地

文章浏览阅读1k次。1.安装操作系统:ubuntu16.04环境准备:pythonpiplibssl-devlibffi-devpwntools安装:sudo apt-get install libffi-devsudo apt-get install libssl-devsudo apt-get install pythonsudo apt-get install python-pipsudo pip instal..._python3 pwn如何发送一个整数

Manim 安装_dvisvgm-程序员宅基地

文章浏览阅读4k次,点赞11次,收藏27次。目录安装 Anaconda3安装 FFmpeg安装 Dvisvgm安装 miktex安装 Pycario安装 manim测试注意:一下安装的路径一定不要出现中文。不然可能会出现BUG。安装 Anaconda3具体安装配置及用法参考新建一个虚拟环境进入虚拟环境后续在此安装各种python库安装 FFmpegffmpeg(命令行工具) 是一个快速的音视频转换工具。进入网站链接,选择蓝色 win 标志, 点击第一个链接,进入下面画面下载。给FFmpeg添加环境变量,把下图路_dvisvgm