【C++学习手札】多态:掌握面向对象编程的动态绑定与继承机制(初识)

 

                                               🎬慕斯主页修仙—别有洞天

                                              ♈️今日夜电波:世界上的另一个我

                                                                1:02━━━━━━️💟──────── 3:58
                                                                    🔄   ◀️   ⏸   ▶️    ☰  

                                      💗关注👍点赞🙌收藏您的每一次鼓励都是对我莫大的支持😍


目录

首先了解形成多态的条件

接着了解多态的“三同”规则

思考

C++11 override 和 final

抽象类


首先了解形成多态的条件

        在C++中,形成多态主要依赖于以下几个条件:

  1. 继承:多态通常发生在类与类的继承关系中。一个基类(或称为父类)可以有一个或多个派生类(或称为子类),派生类继承并可能扩展基类的行为。
  2. 虚函数:在基类中声明虚函数是实现运行时多态的关键。通过在基类中使用virtual关键字声明成员函数,可以在派生类中重写这些函数,提供不同的实现。
  3. 动态绑定(迟绑定):当通过基类指针或引用调用虚函数时,具体调用哪个版本的函数(基类还是派生类的)是在程序运行时决定的,这称为动态绑定或迟绑定。这是多态行为的核心机制。
  4. 基类指针或引用:要实现多态,通常需要使用指向基类的指针或引用来操作派生类对象。这样,可以通过相同的接口来处理不同类型的派生类对象。
  5. 派生类重写虚函数:派生类必须重写基类中的虚函数以提供自己的实现。如果派生类没有重写虚函数,它将直接继承基类中的版本。
  6. 访问权限:确保派生类有足够的访问权限来重写基类中的虚函数。例如,如果基类的虚函数是私有的,则除了友元类之外,派生类将无法重写它。
  7. 析构函数的多态性:为了使通过基类指针删除派生类对象时能够正确调用派生类的析构函数,基类的析构函数应该被声明为虚函数。
  8. 纯虚函数和抽象基类:如果基类包含纯虚函数(使用= 0声明的虚函数),那么这个基类就是一个抽象基类,不能被实例化。派生类必须提供所有纯虚函数的实现,才能成为可实例化的具体类。
  9. 类型安全:C++中的RTTI(运行时类型信息)机制,如typeiddynamic_cast,允许在运行时检查和转换对象的类型,增加了多态的安全性。
  10. 编译器和内存管理:C++编译器在后台维护虚函数表(vtable)和管理动态内存分配,以确保多态行为的正确实现。

        简简单单的先看个例子吧:

#include<iostream>
using namespace std;class Person
{
public:virtual void publish(){cout << "i am a Person" << endl;}virtual ~Person() { cout << "~Person()" << endl; }
};class Student:public Person
{
public:virtual void publish(){cout << "i am a Student" << endl;}virtual ~Student() { cout << "~Student()" << endl; }
};void fun(Person& a)
{a.publish();
}void fun2(Person* A)
{A->publish();
}int main()
{Person* cc = new Person;Student* ccc = new Student;fun2(cc);fun2(ccc);delete ccc;delete cc;cout << "_________________" << endl;Person aa;Student aaa;fun(aa);fun(aaa);return 0;
}

接着了解多态的“三同”规则

        在C++中,多态性(Polymorphism)主要指的是运行时多态,它允许不同类的对象通过相同的接口调用适当的方法。这种特性通常归纳为“三同”原则:

  1. 同函数名(Same Function Name):基类和派生类中的虚函数必须具有相同的函数名。这样,当通过基类的指针或引用调用该函数时,可以根据对象的实际类型来调用正确的函数实现。
  2. 同参数列表(Same Parameter List):基类和派生类中的虚函数应该具有相同的参数列表。这意味着函数的参数数量和类型应该相同,以确保在调用时传递的参数是一致的。
  3. 同返回类型(Same Return Type):基类和派生类中的虚函数应具有相同的返回类型,或者派生类中的返回类型应该是基类中返回类型的子类型(C++11起支持协变返回类型)。这是为了确保在使用基类指针或引用调用虚函数时,返回值的类型是一致的,从而可以进行正确的赋值或操作。

        需要注意的是,从C++11开始,引入了返回类型协变的概念,即派生类重写的虚函数可以返回基类中虚函数返回类型的子类型。例如:

class Base {
public:virtual Base* clone() const {// ...}
};class Derived : public Base {
public:virtual Derived* clone() const override {// ...}
};

        在这个例子中,Derived::clone 函数的返回类型是 Derived*,它是 Base::clone 函数返回类型 Base* 的子类型,满足协变的要求。

思考

        请你思考一下以下代码的执行结果:

class A
{
public:virtual void func(int val = 1) { std::cout << "A->" << val << std::endl; }virtual void test() { func(); }
};class B : public A
{
public:void func(int val = 0) { std::cout << "B->" << val << std::endl; }
};
int main(int argc, char* argv[])
{B* p = new B;p->test();return 0;
}

        如下给出几个选项:

A: A->0 B: B->1 C: A->1 D: B->0 E: 编译出错 F: 以上都不正确

        答案为:B

        分析如下:

        首先使用B类型的指针p指向了新申请的一块B类型的空间,然后调用由父类A继承下来的test()函数,此时需要注意的是:由于是父类继承下来的test()函数,那么这个函数的原型是不会改变的,那其中的this指针也是不会改变的(意思就是类型为A* 的this指针)。接下来就是多态的概念的了,是一个多态调用,派生类是可以不加virtual的,因为他会继承父类的函数声明,而子类会重写父类的实现,这里调用的是B的func()需要注意的是:父类与子类func()中的参数列表是遵循“三同原则”的。因此我们使用的是A的func的声明,也就是:virtual void func(int val = 1),但是使用的是子类的实现:{ std::cout << "B->" << val << std::endl; }。这里又有一点注意事项只有构成多态子类才会继承父类的接口,如果不构成那么就是正常调用!

C++11 override 和 final

        从上面可以看出,C++对函数重写的要求比较严格,但是有些情况下由于疏忽,可能会导致函数名字母次序写反而无法构成重载,而这种错误在编译期间是不会报出的,只有在程序运行时没有得到预期结果才来debug会得不偿失,因此:C++11提供了override和final两个关键字,可以帮助用户检测是否重写。

  1. final:修饰虚函数,表示该虚函数不能再被重写。修饰类,表示该类不能被继承
//原型
class Car
{
public:virtual void Drive() {}
};
class Benz :public Car
{
public:virtual void Drive() { cout << "Benz-舒适" << endl; }
};
//修饰类
class Car final
{
public:virtual void Drive()  {}
};
class Benz :public Car
{
public:virtual void Drive() { cout << "Benz-舒适" << endl; }
};
//修饰虚函数
class Car 
{
public:virtual void Drive() final {}
};
class Benz :public Car
{
public:virtual void Drive() { cout << "Benz-舒适" << endl; }
};

        2.override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错。

class Car{
public:
virtual void Drive(){}
};
class Benz :public Car {
public:
virtual void Drive() override {cout << "Benz-舒适" << endl;}
};

抽象类

        抽象类是一种特殊的类,它不能被实例化,只能作为其他类的基类使用。

        在C++中,抽象类是一种特殊的类,它包含了至少一个纯虚函数(pure virtual function)。纯虚函数是一种没有实现的虚函数,它的声明以“= 0”结尾,表示该函数没有具体的实现,需要在派生类中被重写。

        抽象类的主要用途是为其他类提供一个公共的接口或基本的功能实现,同时强制要求派生类提供某些特定功能的实现。这样做的目的是为了保证派生类遵循某种规范或者具有某些特定的行为。由于抽象类不能被实例化,因此通常用来作为基类,通过继承机制来指导派生类的行为和属性。

        除了纯虚函数,抽象类也可以包含普通的成员函数和数据成员。这些普通成员可以在抽象类中实现,也可以留空让派生类去实现。如果一个类继承了抽象类但没有实现所有的纯虚函数,那么这个类也必须被声明为抽象类。

#include<iostream>
using namespace std;class car
{
public:virtual void drive() = 0{}
};class BMW : public car
{
public:virtual void drive(){cout << "i have a BMW" << endl;}
};class Benz : public car
{
public:virtual void drive(){cout << "i have a Benz" << endl;}
};void fun(car& aa)
{aa.drive();
}int main()
{BMW a;Benz b;fun(a);fun(b);return 0;
}

 


                     感谢你耐心的看到这里ღ( ´・ᴗ・` )比心,如有哪里有错误请踢一脚作者o(╥﹏╥)o! 

                                       

                                                                        给个三连再走嘛~  

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

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

内存基础知识

内存作用&#xff1a;用来存放数据 int x10&#xff1b; xx1&#xff1b; 这会生成一个可执行文件&#xff08;装入模块&#xff09;然后存入内存地址中 绝对装入&#xff1a;-如果知道程序放到内存中哪个位置&#xff0c;编译程序将产生绝对地址的目标代码 可重定位装入&am…

红队APT-钓鱼篇_邮件钓鱼_Ewomail系统_网页克隆

目录 演示案例:Ewomail&Swaks-邮件伪造发信人Ewomail-邮件系统-搭建&使用Ewomail&Gophish-邮件加网页钓鱼网页钓鱼-克隆修改-二维码用户劫持网页钓鱼-克隆修改-Flash升级后门上线 演示案例: Ewomail&Swaks-邮件伪造发信人 发邮件的邮箱地址如果能伪造的话&am…

解决传统单一模态难题!多模态图学习新SOTA来了!

多模态图学习是一种结合了图神经网络和多模态数据集成的学习方法&#xff0c;它涉及了数据科学、机器学习、图神经网络、多模态分析等多个前沿领域。这种跨学科特性为我们提供了丰富的创新点和探索空间。因此&#xff0c;多模态图学习也是发表高质量论文的好方向。 通过整合和…

MyBatis基础学习

一、MyBatis简介 二、MyBatis-HelloWorld 三、MyBatis-全局配置文件 四、MyBatis-映射文件 五、MyBatis-动态SQL 六、MyBatis-缓存机制 七、MyBatis-Spring整合 八、MyBatis-逆向工程 九、MyBatis-工作原理 十、MyBatis-插件开发

ch6-homework-OpenCompass大模型评测

ch6-homework-OpenCompass大模型评测 主要内容实践教程本地复现环境配置数据集下载启动评测评测结果评估结果文件说明评测配置文件详解 基础作业进阶作业 主要内容 视频网址&#xff1a;https://www.bilibili.com/video/BV1Gg4y1U7uc/?spm_id_from333.788&vd_sourceb96c7e…

Flash extractor功能介绍

Flash extractor功能介绍 Flash Extractor软件用于恢复U盘记忆卡和SSD硬盘内存芯片数据&#xff0c;每个月出现新型号的闪存设备。每个新器件有不同的内部物理和逻辑结构。我们每周都会分析和发布更新我们的软件。里面有一个支持模型库的程序。这些驱动器可以很容易地恢复 但如…

JDBC核心技术

第1章 JDBC概述 第2章 获取数据库连接 第3章 使用PreparedStatement实现CRUD操作 第4章 操作BLOB类型字段 第5章 批量插入 第6章 数据库事务 第7章 DAO及相关实现类 第8章 数据库连接池 第9章 Apache-DBUtils实现CRUD操作图像 小部件

数据库架构师之道:MySQL安装与系统整合指南

目录 MySQL数据库安装&#xff08;centos&#xff09; 版本选择 企业版 社区版 选哪个 MySQL特点 MySQL服务端-客户端 mysql下载选择 软件包解释 安装MySQL的方式 rpm包安装 yum方式安装 源码编译安装★ 具体的编译安装步骤★★ 环境准备 free -m命令 cat /pr…

王力宏胜诉,事实胜于雄辩,真相终将大白。

♥ 为方便您进行讨论和分享&#xff0c;同时也为能带给您不一样的参与感。请您在阅读本文之前&#xff0c;点击一下“关注”&#xff0c;非常感谢您的支持&#xff01; 文 |猴哥聊娱乐 编 辑|徐 婷 校 对|侯欢庭 好的&#xff0c;以下是对“2月5日&#xff0c;王力宏工作室在…

Graph + LLM图数据库技术如何助力行业大语言模型应用落地

随着 AI 人工智能技术的迅猛发展和自然语言处理领域的研究日益深入&#xff0c;如何构建强大的大语言模型对于企业来说愈发重要&#xff0c;尤其是在特定行业领域中。 图数据库作为处理复杂数据结构的有力工具&#xff0c;为企业构建行业大语言模型提供了强大的支持。本文将探…

商品详情API接口展示

一、应用场景 适用于跨境代购业务&#xff0c;国际物流业务&#xff0c;海外代采业务&#xff0c;群控业务&#xff0c;价格监控以及品牌维权&#xff01; 二、公共参数 请求地址: https://1688/item_get 三、请求参数 请求参数&#xff1a;num_iid610947572360 四、响应…

生成式 AI - Diffusion 模型的数学原理(4)

来自 论文《 Denoising Diffusion Probabilistic Model》&#xff08;DDPM&#xff09; 论文链接&#xff1a; https://arxiv.org/abs/2006.11239 Hung-yi Lee 课件整理 文章目录 一、 q &#xff08; x t ∣ x t − 1 &#xff09; q&#xff08;x_{t} \mid x_{t-1} &#xff…