C++语法——详细剖析多态与虚函数

news2024/11/25 4:28:43

目录

一.虚函数与多态的概念与基本使用

(一).概念

(二).基本使用

二.虚函数的底层

三.特殊的虚函数(协变)

四.多态在多继承、菱形继承与菱形虚拟继承中的使用。

(一).多继承

(二).菱形继承、菱形虚拟继承

五.析构函数和不能声明为虚函数的函数


一.虚函数与多态的概念与基本使用

(一).概念

所谓虚函数就是当通过指针或引用调用该函数时,编译器不会在编译时确定该函数地址,而是在运行时通过指针或引用的具体对象类型进行动态绑定

正因为虚函数的这种特性,可以说它“天生”就是为多态准备的。

多态是OOP的核心思想,含义是“多种形式”。当我们通过父类的指针或引用调用父类定义的虚函数时,并不会在编译时就清楚它的地址,只有当运行时确定了具体的对象类型,才会根据该对象类型调用该类型重写的该函数。

多态又分为动态绑定静态绑定。静态绑定即编译时确定调用的具体函数,比如函数重载和子类函数重定义(隐藏)。动态绑定即运行时确定调用的具体函数,比如虚函数的重写。而我们重点讨论动态绑定的多态。

换一种说法,假设人是一种父类,其中皮肤是虚函数,派生出了黑人、白人、黄种人三个子类,各自重写了皮肤函数为黑色、白色、黄色。当我们用“人”指针指向子类,调用皮肤函数时,在不清楚指针指向时并不知道其具体肤色,只有知道指向后才能根据子类调用正确肤色。这就是动态绑定的多态,即运行时多态。

用图来理解就是这样:

用代码演示一下:

class human//人
{
public:
	virtual void skin()
	{
		cout << "~" << endl;
	}
};
class Black : public human//黑人
{
public:
	void skin()//虚函数重写
	{
		cout << "black" << endl;
	}
};
class White : public human//白人
{
public:
	void skin()//虚函数重写
	{
		cout << "white" << endl;
	}
};
class Yellow : public human//黄种人
{
public:
	void skin()//虚函数重写
	{
		cout << "yellow" << endl;
	}
};
void GetSkinColor(human* p)
{
    cout << "My shin color is :";
	p->skin();//通过父类指针或引用进行多态调用
}
int main()
{
	human h;
	Black b;
	White w;
	Yellow y;
	human* hptr = &h, *bptr = &b, *wptr = &w, *yptr = &y;
	GetSkinColor(hptr);
	GetSkinColor(bptr);
	GetSkinColor(wptr);
	GetSkinColor(yptr);
	return 0;
}

(二).基本使用

如果想进行多态调用,必须满足三点条件:虚函数重写父类指针或引用调用该函数

虚函数注意事项:如果父类中该函数未声明为虚函数,即便子类进行声明也不是虚函数。

即虚函数必须是由父类进行声明。

重写的含义:子类该函数的函数名、返回值、参数(个数、种类、位置)与父类相同。

满足以上三种条件的才会构成多态。

同时一定注意的是,重写的虚函数即便有缺省参数(默认形参),那也会使用父类的缺省。因为重写只是改变函数内部的实现,对于函数参数列表则还是使用父类的。

二.虚函数的底层

在使用虚函数时,编译器会为该类型创建一个虚函数表(简称虚表)。虚表中装有该类型虚函数地址。重写的装自己重写的地址,未重写的装父类虚函数地址。

虚函数表在编译时就会生成,存放在常量区

虚表指针在构造对象时才会生成

在派生的子类中,虚表指针在父类区域中,指针指向对应的虚表。

当进行多态调用时,如果是虚函数,那么编译器就会从该类型的虚表中找对应函数的地址完成调用。正因为继承关系的类的虚表中存有的函数地址并不相同,因此当通过父类指针指向某一对象进行虚函数调用时会根据对象的真实类型完成不同函数的调用。

当然,虚表内存有虚函数地址也只是理论上,实际不同的编译器有不同的处理方法。

比如vs环境下,虚表内装的是中转地址,当通过虚表寻找具体虚函数时,会先找到这个中转地址,

再通过中转地址jump到真正的虚函数。

百闻不如一见,我们看底层:

小编这里依旧使用之前的例子做解释,这里我们选择黑人类的对象b:

三.特殊的虚函数(协变)

当然,虚函数的定义中存在特例:

1.子类可以不写virtual,只需要父类定义该函数时声明为virtual,之后当子类重写时可以不加上virtual,其依旧是虚函数。

2.协变,当函数返回值是类本身的指针或引用时,也构成虚函数的重写。这主要应用于虚拷贝

比如实现一个虚函数用于返回当前对象类型的拷贝,就需要用到协变。因为假如返回值相同,那么即便指针指向子类对象,其返回值也是父类类型,这显然不是我们希望看见的。

下面是错误代码:

代码本意是希望当创建子类指针时能通过子类内部Copy函数拷贝一份

class A
{
public:
	A(int _i)
		:i(_i)
	{}

	virtual A* Copy()
	{
		return new A(*this);
	}

	int i = 0;
};
class B : public A
{
public:
	B(int _i)
		:A(_i)
	{}
	A* Copy()
	{
		return new B(*this);
	}

};
int main()
{
	B b(2);
	B* c = b.Copy();
	return 0;
}

 因为返回值是父类指针,子类指针无法接收,进而导致我们无法实现相关操作。

所以,协变应运而生:

class B : public A
{
public:
	B(int _i)
		:A(_i)
	{}
	B* Copy()//协变+虚函数重写
	{
		return new B(*this);
	}

};

四.多态在多继承、菱形继承与菱形虚拟继承中的使用。

(一).多继承

普通多继承时,对象中每个父类的区域都会有一个虚表指针指向对应的虚表。

class A
{
public:
	virtual void func()
	{
		cout << "A";
	}

};
class B 
{
public:
	virtual void func()
	{
		cout << "B";
	}

};
class C : public A, public B
{
public:
	void func()
	{
		cout << "c";
	}
};
int main()
{
	C c;

	return 0;
}

 虽然c对象中两个虚表中存放的值不同,但都是指向c类型重写的func函数。虚表中的值是跳转地址,因此不同。

此外,B类区域的跳转地址并不是直接转到真正函数地址,而是通过改变ebp寄存器位置到A类区域,再通过A类的虚表找到真正函数地址

同时,需要注意,如果子类自己声明了一个虚函数,会入首先继承的父类区域虚表中,只是vs环境下调试无法在虚表中看到。 

(二).菱形继承、菱形虚拟继承

在实际开发中,我们并不推荐使用菱形和菱形虚拟继承,这往往会使问题复杂化。

比如我们看如下代码:

class A
{
public:
	virtual void func()
	{
		cout << "A";
	}

};
class B : public virtual A
{
public:
	void func()
	{
		cout << "B";
	}

};
class C : public virtual A
{
public:
	void func()
	{
		cout << "c";
	}
};
class D : public B,public  C
{
public:
	
};

如果D单纯继承自B和C,那么编译会报错,因为这会引发二义性。我们仔细想想,B和C是虚继承自A类,那么当实例化D对象时,其内部只会有一个A类区域。由于func函数是A类声明的,那么对应的虚表指针就在A区域中。当B和C类重写func函数时,指针就不清楚是该指向B对应的函数还是C对应的函数,从而引发二义性。

因此,需要在D类中重写func函数,从而避免二义性。

在调试窗口 可以看到,只有一个虚表指针:

但是当我们往B和C类中声明自己的虚函数时,又会发生不一样的现象:

class A
{
public:
	virtual void func()
	{
		cout << "A";
	}

};
class B : public virtual A
{
public:
	void func()
	{
		cout << "B";
	}
	virtual void test()
	{
		cout << "testB";
	}

};
class C : public virtual A
{
public:
	void func()
	{
		cout << "c";
	}
	virtual void test()
	{
		cout << "testC";
	}

};
class D : public B,public  C
{
public:
	void func()
	{
		cout << "D";
	}
};

 这是,由于B和C都有了自己声明的虚函数test,因此势必要创建一个虚表指向自己的test函数,同时各自又会创建一个虚表指针。

当使用D对象调用test函数时,还需要注意二义性的问题,因为此时D对象中有两个test函数,分别位于B和C的区域。

经过调试可以更清楚一些:

五.析构函数和不能声明为虚函数的函数

static函数不能声明为虚函数,这是因为static函数是静态绑定,即编译时就确定,而虚函数在运行时才能确定,属于动态绑定。

构造、拷贝构造函数不能声明为虚函数,这是因为在调用构造函数时,虚表指针尚未创建,更无从谈起虚函数。

析构函数建议是虚函数,因为即便是使用父类指针或引用调用子类对象,在析构时也是会希望析构子类。

内联函数inline虽然可以和虚函数同时使用,但是并无实际意义。同时虚函数要求运行时确定,而内联则在编译时确定,但内联只是一种建议,因此编译时并不会选择内联展开。

六.override与回避虚函数

(一).override

override是C++11新规定的说明符,用于检查子类的虚函数是否完成了重写。

class A
{
    public:
        vitrtual void func1();
        vitrtual void func2();
        void func3();
}
class B : A
{
    public:
        void func1() override;//正确,完成重写
        void func2(int) override;//错误,未完成重写
        void func3() override;//错误,不是虚函数
        void func4() overide;//错误,父类没有该虚函数
}

(参考代码:《C++ Primer》p538) 

(二).回避虚函数

有时,我们希望调用虚函数其他版本,而不是动态绑定,这时就需要使用回避函数。具体情况就是子类的虚函数需要调用父类该虚函数共同完成任务时。

这时需要使用作用域运算符完成任务。

class B : A
{
    public:
        virtual void func()
        {
            A::func();//强制调用父类虚函数
        }
}

如果函数内部在调用时没有加上父类的作用域,那么函数会一直递归调用本函数,造成死循环。

就算它工作不正常也别担心。如果一切正常,你早该失业了——Mosher


如有错误,敬请斧正

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1959.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

C语言分支与循环实战篇-猜数字小游戏/关机小程序

前言 &#x1f47b;作者&#xff1a;龟龟不断向前 &#x1f47b;简介&#xff1a;宁愿做一只不停跑的慢乌龟&#xff0c;也不想当一只三分钟热度的兔子。 &#x1f47b;专栏&#xff1a;C初阶知识点 &#x1f47b;工具分享&#xff1a; 刷题&#xff1a; 牛客网 leetcode笔记软…

大一学生HTML5期末大作业——基于HTML+CSS制作传统节日美食13页(美食网站设计与实现)

&#x1f380; 精彩专栏推荐&#x1f447;&#x1f3fb;&#x1f447;&#x1f3fb;&#x1f447;&#x1f3fb; ✍️ 作者简介: 一个热爱把逻辑思维转变为代码的技术博主 &#x1f482; 作者主页: 【主页——&#x1f680;获取更多优质源码】 &#x1f393; web前端期末大作业…

[LeetCode周赛复盘] 第 317 场周赛20221030

[LeetCode周赛复盘] 第 317 场周赛20221030 一、本周周赛总结二、 [Easy] 6220. 可被三整除的偶数的平均值1. 题目描述2. 思路分析3. 代码实现三、[Medium] 6221. 最流行的视频创作者1. 题目描述2. 思路分析3. 代码实现四、[Medium] 6222. 美丽整数的最小增量1. 题目描述2. 思路…

终极Hadoop大数据教程

终极Hadoop大数据教程 包含 MapReduce、HDFS、Spark、Flink、Hive、HBase、MongoDB、Cassandra、Kafka 等的数据工程和 Hadoop 教程&#xff01; 课程英文名&#xff1a;The Ultimate Hands-On Hadoop - Tame your Big Data! 此视频教程共17.0小时&#xff0c;中英双语字幕&…

1.3 信号处理函数,创建worker进程

文章目录1、信号处理函数2、创建worker线程3、sigsuspend函数说明4、write函数思考1、信号处理函数 1、初始化信号的函数&#xff0c;用于注册信号处理程序 2、信号处理函数 初始化信号函数&#xff0c;遍历结构体数组&#xff0c;然后给结构体数组中的每个成员注册信号处理函数…

python实现自动检测核酸用码记录 ---- 自动化办公小技巧(摸鱼利器)

自动检测核酸用码记录&#x1f947;预备知识✈️os库os.path.exists()os.mkdir()os.remove()os.listdir()&#x1f47d;Python 3 查看字符编码方法⏰python3获取当前系统时间&#x1f424;读取图片&#xff0c;保存到指定目录&#x1f47c;将数据保存到csv文件中&#x1f948;p…

使用html+css实现一个静态页面(含源码)

HTML实例网页代码, 本实例适合于初学HTML的同学。该实例里面有设置了css的样式设置&#xff0c;有div的样式格局&#xff0c;这个实例比较全面&#xff0c;有助于同学的学习,本文将介绍如何通过从头开始设计个人网站并将其转换为代码的过程来实践设计。 文章目录一、网页介绍一…

freeRTOS学习(三)

任务管理 任务功能&#xff1a;任务以C函数的形式实现。唯一特别的地方是它们的原型&#xff0c;它必须返回void并接受一个void指针形参。 void ATaskFunction(void *pvParameters);**每个任务本身都是一个小程序。它有一个入口点&#xff0c;通常在无限循环中永远运行&#…

回归测试选择用例,看这里就可以了。

介绍 在软件生命周期中&#xff0c;软件经常发生变化&#xff0c;软件开发人员任何代码改动都会有引入故障的风险&#xff09;。 为了消除或减小这种风险&#xff0c;在软件迭代开发模式下&#xff0c;回归测试扮演着重要的角色&#xff1a;它能够帮助测试人员验证新增的功能…

mac配置jdk环境变量

**下载完成后直接安装一路next直到完成。 查看JDK安装后的路径 在终端输入以下命令查看JDK地址** 按照以下命令的顺序来设置jdk环境变量 查看JDK地址 &#xff1a;/usr/libexec/java_home -V。 open -e .bash_profile打开文件 touch .bash_profile 创建文件 打开.bash_prof…

G2O (General Graph Optimization)入门及简单使用

g2o全称是General Graph Optimization&#xff0c;也就是图优化&#xff0c;我们在做SLAM后端或者更加常见的任何优化问题&#xff08;曲线拟合&#xff09;都可以使用G2O进行处理。 先放出本文的几个参考链接&#xff1a; 半闲居士&#xff08;高翔博士&#xff09; 非线性…

智能终端信息安全概念(一):开篇

最近屁事以及自己对于时间的把控太差了&#xff0c;还有就是一个师妹最近让辅导作业&#xff0c;很烦。 回归正轨&#xff0c;好好学习Linux驱动的方面。 在实际的Linux驱动中&#xff0c;Linux内核尽量做得更多&#xff0c;以便于底层的驱动可以做得更少。 而且&#xff0c…

【C++笔试强训】第十七天

&#x1f387;C笔试强训 博客主页&#xff1a;一起去看日落吗分享博主的C刷题日常&#xff0c;大家一起学习博主的能力有限&#xff0c;出现错误希望大家不吝赐教分享给大家一句我很喜欢的话&#xff1a;夜色难免微凉&#xff0c;前方必有曙光 &#x1f31e;。 &#x1f4a6;&a…

【微服务容器化】第四章-Docker应用部署

&#x1f334;第四章 Docker应用部署&#x1f343;4.1 Mysql部署&#x1f343;4.2 Tomcat部署&#x1f343;4.3 Nginx 部署&#x1f343;4.4 redis 部署&#x1f343;4.1 Mysql部署 分析: 容器内的网络服务和外部机器不能直接通信 外部机器和宿主机可以直接通信 宿主机和容器…

因为有了它,我用舍友玩王者的时间拿到了华为offer

随时随地刷Leetcode题的方法&#xff0c;大学因为这个&#xff0c;我入职大厂! 下面有免费试用网址 目录我如何拿到大厂offer秘密武器使用教程VSCODE云IDE介绍完整功能&#xff0c;兼容VS Code安装的插件没有效果&#xff1f;通过终端启动项目后无法预览&#xff1f;CIDE收费…

sklearn笔记:调参

1 介绍 超参数是不直接在估计器中学习的参数。 在 scikit-learn 中&#xff0c;它们作为参数传递给估计器类的构造函数。 需要搜索超参数空间以获得最佳交叉验证分数。scikit-learn 中提供了两种通用的参数搜索方法&#xff1a; 对于给定的值&#xff0c;GridSearchCV 会详尽地…

客快物流大数据项目(八十四):Impala优化

文章目录 Impala优化 一、​​​​​​​Impala关键配置 二、Impala查询分析

C++ Reference: Standard C++ Library reference: C Library: cstring: strspn

C官网参考链接&#xff1a;strspnhttps://cplusplus.com/reference/cstring/strspn/strspn 函数 <cstring> strspn size_t strspn ( const char * str1, const char * str2 ); 获取字符串中字符集的跨度 返回str1的初始部分的长度&#xff0c;它只包含str2的一部分字符…

FPGA双线性插值图像缩放详细讲解,上板验证稳定通过,提供两套工程源码

开局直接放大招&#xff1a;提供源码及工程&#xff1b; 重点讲解双线性插值图像缩放&#xff1b; 此功能模块使用HLS实现&#xff0c;并已封装导出IP&#xff0c;可在工程中添加并使用&#xff0c;可提供HLS工程源码&#xff1b; 若是用verilog实现双线性插值图像缩放&#xf…

【Java中23种面试常考的设计模式之组合模式(Composite)---结构型模式】

【Java中23种面试常考的设计模式之组合模式(Composite)—结构型模式】 知识回顾: 之前我们讲过的设计模式在这里呦: 【面试最常见的设计模式之单例模式】 【面试最常见的设计模式之工厂模式】 【Java中23种面试常考的设计模式之备忘录模式(Memento)—行为型模式】 【Java中23种…