C++面向对象三大特性--多态

2024-06-23 21:52

本文主要是介绍C++面向对象三大特性--多态,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

C++面向对象三大特性–多态

文章目录

      • C++面向对象三大特性--多态
        • 1.虚函数(Virtual Function)
        • 2.纯虚函数(Pure Virtual Function)和抽象类(Abstract Class)
        • 3.重写(Override)
        • 4.动态绑定(Dynamic Binding)或迟绑定(Late Binding)
        • 5.虚析构函数和纯虚析构
          • 5.1虚析构函数
          • 5.2纯虚析构函数
          • 5.3总结

C++中的多态(Polymorphism)是一种面向对象编程的重要特性,它允许你使用一个接口来表示不同的类型。C++中的多态主要通过虚函数(Virtual Functions)来实现,包括静态多态(编译时多态,主要是函数重载和模板)和动态多态(运行时多态)。下面将介绍C++中动态多态的基础语法:

1.虚函数(Virtual Function)

虚函数是实现动态多态的关键。在基类中声明函数为虚函数,使得派生类可以重写该函数。虚函数的声明需要在基类的函数声明前加上virtual关键字。

class Base {
public:virtual void display() { /* 默认实现 */ }// 注意:析构函数建议声明为虚函数,以确保通过基类指针删除对象时能正确调用派生类的析构函数virtual ~Base() {}
};class Derived : public Base {
public:void display() override { /* 重写实现 */ }
};//
// Created by 86189 on 2024/6/22.
//
#include <iostream>using namespace std;class Animal {
public:virtual void speak() {cout << "Animal speak" << endl;}
};class Dog : public Animal {void speak() override {cout << "Dog speak" << endl;}
};class Cat : public Animal {void speak() override {cout << "Cat speak" << endl;}
};void doWork(Animal &p) {p.speak();
}int main() {Animal *p = new Dog(); // 动态绑定 父类的指针指向子类对象p->speak();Animal *p2 = new Cat();p2->speak();Cat c;Dog d;doWork(c);   //父类的引用指向子类对象doWork(d);delete p;delete p2;return 0;
}
2.纯虚函数(Pure Virtual Function)和抽象类(Abstract Class)

纯虚函数是在基类中没有具体实现的虚函数,要求派生类必须提供实现。含有纯虚函数的类称为抽象类,不能实例化。

class Base {
public:virtual void func() = 0; // 纯虚函数
};// Base类现在是一个抽象类,不能直接创建对象
// Base b; // 错误class Derived : public Base {
public:void func() override { /* 实现 */ }
};//
// Created by 86189 on 2024/6/22.
//
#include <iostream>
using namespace std;class Base {
public:virtual void func() = 0;  //纯虚函数
};//派生类必须重写纯虚函数  否则无法实例化对象
class Derived : public Base {
public:void func() override {cout << "Derived::func()" << endl;}
};int main() {Base *p = new Derived();p->func();return 0;
}
3.重写(Override)

在派生类中重新定义基类的虚函数称为重写。使用override关键字可以明确指出某个函数是重写的意图,同时编译器会进行检查,确保该函数确实是在重写基类的一个虚函数。

class Derived : public Base {
public:void display() override { /* 重写实现 */ }
};
4.动态绑定(Dynamic Binding)或迟绑定(Late Binding)

动态绑定是运行时根据对象的实际类型来决定调用哪个函数的机制。这要求通过基类指针或引用来调用虚函数。如果直接通过对象名调用,则仍然是静态绑定。

Base* basePtr = new Derived();
basePtr->display(); // 运行时会调用Derived类的display()
delete basePtr;
5.虚析构函数和纯虚析构
5.1虚析构函数

基类的析构函数应该声明为虚函数,以确保当通过基类指针删除派生类对象时,能够正确地调用派生类的析构函数,避免内存泄漏。

在多态场景中,如果基类的析构函数不是虚函数,当通过基类指针删除派生类对象时,只会调用基类的析构函数,而派生类特有的资源可能不会被正确释放,从而导致资源泄漏或更严重的问题。

解决这个问题的方法很简单,就是确保所有包含纯虚函数的抽象基类,其析构函数也应该是虚函数。这样,无论通过基类指针指向的是基类对象还是派生类对象,都能够保证调用到正确的析构函数链,从派生类开始,逐级向上调用到基类的析构函数,彻底释放资源。

//
// Created by 86189 on 2024/6/23.
//
#include <iostream>
using namespace std;class Base {
public:virtual void func () = 0;virtual ~Base() {cout << "Base::~Base()" << endl;}
};class Derived : public Base {
public:void func() override {cout << "Derived::func()" << endl;p = new int(10);}~Derived() override {cout << "Derived::~Derived()" << endl;delete p;}int *p{};
};int main() {Derived d;Base *p = new Derived();p->func();delete p;return 0;
}
  • 定义:当在基类中将析构函数声明为虚函数时,它就成为了虚析构函数。声明时不需要赋值为0,格式为 virtual ~ClassName() {}
  • 用途:确保当通过基类指针或引用删除派生类对象时,能够调用到派生类的析构函数,从而正确释放派生类特有的资源。如果不声明为虚析构,那么仅基类的析构函数会被调用,可能导致派生类的资源泄露。
  • 实例化:声明了虚析构函数的类仍然可以实例化对象,不是抽象类。
5.2纯虚析构函数
  • 定义:在基类中将析构函数声明为纯虚函数,即在声明后加上= 0,格式为 virtual ~ClassName() = 0;。需要注意的是,纯虚函数需要在类外提供定义。
  • 用途:与虚析构函数类似,用于确保多态销毁时调用正确的析构函数。但除此之外,声明了纯虚析构函数的类自动成为抽象类。
  • 实例化:拥有纯虚析构函数的类是抽象类,这意味着不能直接实例化此类的对象。抽象类的主要目的是作为其他类的基类,强制要求派生类实现某些纯虚函数(不仅仅是析构函数)。
//
// Created by 86189 on 2024/6/23.
//
#include <iostream>
using namespace std;class Base {
public:virtual ~Base() = 0;  // 纯虚析构函数 确保了派生类中内存可以被释放
};
class Derived : public Base {
public:void func() {cout << "func()" << endl;p = new int(10);}~Derived() override {cout << "~Derived()" << endl;  //纯虚析构保证了释放派生类中申请的内存delete p;p = nullptr;}int *p{};
};Base::~Base() {cout << "Base()" << endl;
}int main() {Derived d;d.func();Base *p = new Derived();delete p;return 0;
}
5.3总结

两者都用于支持多态性下的正确资源管理,但纯虚析构函数额外具有将类定义为抽象类的特性。选择使用哪一种取决于你的设计需求:如果你希望基类可以实例化,并且需要多态性的析构,使用虚析构函数;如果你的基类根本就不应该直接实例化,而总是作为派生类的基类,并且同样需要多态性的析构,那么纯虚析构函数更为合适。

这篇关于C++面向对象三大特性--多态的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1088381

相关文章

从入门到精通C++11 <chrono> 库特性

《从入门到精通C++11<chrono>库特性》chrono库是C++11中一个非常强大和实用的库,它为时间处理提供了丰富的功能和类型安全的接口,通过本文的介绍,我们了解了chrono库的基本概念... 目录一、引言1.1 为什么需要<chrono>库1.2<chrono>库的基本概念二、时间段(Durat

C++20管道运算符的实现示例

《C++20管道运算符的实现示例》本文简要介绍C++20管道运算符的使用与实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录标准库的管道运算符使用自己实现类似的管道运算符我们不打算介绍太多,因为它实际属于c++20最为重要的

Visual Studio 2022 编译C++20代码的图文步骤

《VisualStudio2022编译C++20代码的图文步骤》在VisualStudio中启用C++20import功能,需设置语言标准为ISOC++20,开启扫描源查找模块依赖及实验性标... 默认创建Visual Studio桌面控制台项目代码包含C++20的import方法。右键项目的属性:

c++中的set容器介绍及操作大全

《c++中的set容器介绍及操作大全》:本文主要介绍c++中的set容器介绍及操作大全,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录​​一、核心特性​​️ ​​二、基本操作​​​​1. 初始化与赋值​​​​2. 增删查操作​​​​3. 遍历方

解析C++11 static_assert及与Boost库的关联从入门到精通

《解析C++11static_assert及与Boost库的关联从入门到精通》static_assert是C++中强大的编译时验证工具,它能够在编译阶段拦截不符合预期的类型或值,增强代码的健壮性,通... 目录一、背景知识:传统断言方法的局限性1.1 assert宏1.2 #error指令1.3 第三方解决

C++11委托构造函数和继承构造函数的实现

《C++11委托构造函数和继承构造函数的实现》C++引入了委托构造函数和继承构造函数这两个重要的特性,本文主要介绍了C++11委托构造函数和继承构造函数的实现,具有一定的参考价值,感兴趣的可以了解一下... 目录引言一、委托构造函数1.1 委托构造函数的定义与作用1.2 委托构造函数的语法1.3 委托构造函

C++11作用域枚举(Scoped Enums)的实现示例

《C++11作用域枚举(ScopedEnums)的实现示例》枚举类型是一种非常实用的工具,C++11标准引入了作用域枚举,也称为强类型枚举,本文主要介绍了C++11作用域枚举(ScopedEnums... 目录一、引言二、传统枚举类型的局限性2.1 命名空间污染2.2 整型提升问题2.3 类型转换问题三、C

C++链表的虚拟头节点实现细节及注意事项

《C++链表的虚拟头节点实现细节及注意事项》虚拟头节点是链表操作中极为实用的设计技巧,它通过在链表真实头部前添加一个特殊节点,有效简化边界条件处理,:本文主要介绍C++链表的虚拟头节点实现细节及注... 目录C++链表虚拟头节点(Dummy Head)一、虚拟头节点的本质与核心作用1. 定义2. 核心价值二

Java 继承和多态的作用及好处

《Java继承和多态的作用及好处》文章讲解Java继承与多态的概念、语法及应用,继承通过extends复用父类成员,减少冗余;多态实现方法重写与向上转型,提升灵活性与代码复用性,动态绑定降低圈复杂度... 目录1. 继承1.1 什么是继承1.2 继承的作用和好处1.3 继承的语法1.4 子类访问父类里面的成

C++ 检测文件大小和文件传输的方法示例详解

《C++检测文件大小和文件传输的方法示例详解》文章介绍了在C/C++中获取文件大小的三种方法,推荐使用stat()函数,并详细说明了如何设计一次性发送压缩包的结构体及传输流程,包含CRC校验和自动解... 目录检测文件的大小✅ 方法一:使用 stat() 函数(推荐)✅ 用法示例:✅ 方法二:使用 fsee