代码随想录八股训练营第三十一天| C++

2024-09-03 05:36

本文主要是介绍代码随想录八股训练营第三十一天| C++,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

前言

一、虚函数怎么实现的:

1.1.虚函数声明::

1.2.虚函数表(vtable):

1.3.函数指针::

1.4.动态绑定:

1.5.析构函数:

1.6.纯虚函数:

二、虚函数表是什么??

2.1. 虚函数表的工作原理::

2.2. 虚函数表的作用::

2.3.虚函数表的实现细节:

总结


前言

在面向对象编程中,多态性是一个核心概念,它允许我们以统一的方式处理不同类型的对象。虚函数是实现多态性的关键技术之一,它使得派生类能够重写基类中定义的行为。在C++等语言中,虚函数的实现依赖于虚函数表(vtable)和虚函数指针(vptr)等机制。本文将详细解释虚函数的实现原理和虚函数表的作用,以及它们如何共同工作以支持多态性和动态绑定。


一、虚函数怎么实现的:

虚函数是面向对象编程中的一个重要概念,它允许在派生类中重写基类中定义的函数。虚函数的实现通常依赖于编程语言的机制,但大多数支持面向对象的编程语言(如C++、Java、C#等)都有类似的实现方式。在C++中,虚函数的实现主要依赖于以下几个关键点:

1.1.虚函数声明

  • 在基类中,函数需要被声明为virtual,这告诉编译器这个函数可以被子类重写。
class Base {
public:virtual void func() {// 基类实现}
};

1.2.虚函数表(vtable)

  • 每个包含虚函数的类都有一个虚函数表(vtable),这是一个函数指针数组。每个对象都有一个指向其类vtable的指针(通常称为vptr)。

1.3.函数指针::

  • vtable中的每个条目都是一个函数指针,指向基类或派生类中虚函数的实现。

1.4.动态绑定

  • 当通过基类指针或引用调用虚函数时,程序运行时会使用对象的vptr来查找正确的vtable,然后调用相应的函数实现。这个过程称为动态绑定或晚期绑定。

1.5.析构函数

  • 如果基类的析构函数不是虚的,那么在删除派生类对象时,派生类的析构函数可能不会被调用,导致资源泄露。因此,通常建议将基类的析构函数声明为虚函数。
class Base {
public:virtual ~Base() {// 基类析构函数}
};

1.6.纯虚函数

  • 在基类中,可以声明一个纯虚函数(使用=0),这使得类成为抽象类,不能直接实例化,并且要求所有派生类都必须实现这个纯虚函数。
class Base {
public:virtual void func() = 0; // 纯虚函数
};

二、虚函数表是什么??

虚函数表(Virtual Table,简称vtable),是C++等支持多态的编程语言中用于实现虚函数机制的一种数据结构。它是一种实现动态绑定(Dynamic Binding)或晚期绑定(Late Binding)的技术,允许在运行时确定调用哪个函数。

2.1. 虚函数表的工作原理::

  • 存储函数指针:虚函数表是一个函数指针数组,每个指针指向一个虚函数的具体实现。这些指针指向基类和派生类中重写的虚函数。

  • 对象中的指针:每个包含虚函数的对象都有一个指向其类虚函数表的指针,这个指针通常称为vptr(Virtual Pointer)。vptr存储在对象的内存布局的最前面,以便快速访问。

  • 调用虚函数:当通过基类指针或引用调用虚函数时,编译器生成的代码会使用vptr来访问对应的虚函数表,然后通过虚函数表找到正确的函数指针,并调用相应的函数。

2.2. 虚函数表的作用::

  • 实现多态:虚函数表使得对象在运行时能够根据实际的派生类类型调用正确的函数实现,这是多态性的关键。
  • 动态绑定:它允许在运行时而不是编译时确定调用哪个函数,这提供了更大的灵活性。
//Base 类有一个虚函数 show()。
//Derived 类重写了 show() 函数。
//main 函数中创建了一个 Derived 类型的对象,但通过 Base 类型的指针 b 来访问。
//当调用 b->show() 时,程序会通过 b 指向的虚函数表找到 Derived 类的 show() 函数,并调用它。
class Base {
public:virtual void show() {cout << "Base show" << endl;}virtual ~Base() {}
};class Derived : public Base {
public:void show() override {cout << "Derived show" << endl;}
};int main() {Base* b = new Derived();b->show(); // 输出 "Derived show"delete b;return 0;
}

2.3.虚函数表的实现细节:

  • vptr:每个对象都有一个vptr,指向其类的虚函数表。
  • 构造函数和析构函数:在构造和析构对象时,vptr可能会被修改以指向当前类的虚函数表,以确保正确调用虚函数。
  • 纯虚函数:如果类中有纯虚函数,那么这个类就是一个抽象类,不能实例化,但可以用于虚函数表的创建。

总结

虚函数和虚函数表是C++中实现多态性的重要机制。虚函数允许派生类重写基类的行为,而虚函数表则存储了指向这些重写函数的指针,使得在运行时可以动态地调用正确的函数实现。这种机制不仅提供了灵活性,还允许程序在不知道对象确切类型的情况下,通过基类指针或引用调用正确的函数。此外,虚函数表还确保了即使在对象被删除时,也能正确地调用派生类的析构函数,避免资源泄露。通过理解虚函数和虚函数表的工作原理,我们可以更好地利用C++等面向对象编程语言的强大功能。

这篇关于代码随想录八股训练营第三十一天| C++的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

从入门到精通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最为重要的

Java中调用数据库存储过程的示例代码

《Java中调用数据库存储过程的示例代码》本文介绍Java通过JDBC调用数据库存储过程的方法,涵盖参数类型、执行步骤及数据库差异,需注意异常处理与资源管理,以优化性能并实现复杂业务逻辑,感兴趣的朋友... 目录一、存储过程概述二、Java调用存储过程的基本javascript步骤三、Java调用存储过程示

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 委托构造函

MySQL数据库的内嵌函数和联合查询实例代码

《MySQL数据库的内嵌函数和联合查询实例代码》联合查询是一种将多个查询结果组合在一起的方法,通常使用UNION、UNIONALL、INTERSECT和EXCEPT关键字,下面:本文主要介绍MyS... 目录一.数据库的内嵌函数1.1聚合函数COUNT([DISTINCT] expr)SUM([DISTIN

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. 核心价值二