C++——多态2|virtual与析构函数|C++11override 和 final|重载,重写(覆盖),隐藏(重定义对比| 抽象类|子类和父类虚表|多继承|习题|总结(上)

简介: 笔记

virtual与析构函数


1.png


这里的父类和子类析构完成了重写。


因为析构函数名会被处理成destructor,所以这里析构函数完成虚函数重写。


不加virtual,子类对象没被析构,因为这里是一个普通调用,

2.png



delete b,变成b->destructor(); operator delete(b);


满足多态时,此时子类调用子类析构,父类调用父类析构。

3.png 子类的析构函数重写父类析构函数,才能正确调用,这里对父类析构了俩次是因为,Student里面也继承了一个父类,而我们又创建了一个父类对象,所以对父类析构了俩次。不存在重复析构。由于先delete a所以先析构子类对象。


C++11 override 和 final


.final:修饰虚函数,表示该虚函数不能再被重写

4.png

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

5.png


6.png


重载,重写(覆盖),隐藏(重定义)对比

重载:俩个函数在同一作用域,要求函数名相同,类型不同(包括类型不同,顺序不同,个数不同)


重写(覆盖): 俩函数分别在基类和派生类的作用域,函数名/参数/返回值都必须相同(协变例外),俩个函数必须是虚函数。


重定义(隐藏):俩个函数分别在基类和派生类的作用域,函数名相同,俩个基类和派生类的同名函数不构成重写就是重定义。


抽象类


在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类(也叫接口类),抽象类不能实例化出对象。派生类继承后也不能实例化出对象,只有重写纯虚函数,派生类才能实例化出对象。纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承。

7.png

这种情况下,子类也没办法实例化

8.png

因为子类继承了纯虚函数,如果没有重写,则子类也是抽象类


子类重写后正常运行


9.png


普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实现。

10.png

虚函数的继承是一种接口继承,派生类继承的是基类虚函数的接口,目的是为了重写,达成多态,继承的是接口。所以如果不实现多态,不要把函数定义成虚函数。


子类和父类虚表


这里p1和p2共用一个虚表

11.png


student和person创建的对象用的不是同一个虚表,父类虚表存父类虚函数,子类虚表存子类虚函数。

12.png

13.png

通过观察和测试,我们发现了以下几点问题:

1. 派生类对象d中也有一个虚表指针,d对象由两部分构成,一部分是父类继承下来的成员,虚表指针也就是存在部分的另一部分是自己的成员。


2. 基类b对象和派生类d对象虚表是不一样的,这里我们发现Func1完成了重写,所以d的虚表

中存的是重写的Derive::Func1,所以虚函数的重写也叫作覆盖,覆盖就是指虚表中虚函数

的覆盖。重写是语法的叫法,覆盖是原理层的叫法。



3. 另外Func2继承下来后是虚函数,所以放进了虚表,Func3也继承下来了,但是不是虚函

数,所以不会放进虚表。


4. 虚函数表本质是一个存虚函数指针的指针数组,一般情况这个数组最后面放了一个nullptr。



5. 总结一下派生类的虚表生成:a.先将基类中的虚表内容拷贝一份到派生类虚表中


b.如果派生类重写了基类中某个虚函数,用派生类自己的虚函数覆盖虚表中基类的虚函数


c.派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后。



在vs下,调试的时候,虚表中没有子类自己写的虚函数,其实是fun4进了虚表,只不过没显示

14.png15.png16.png

内存中此时多出来一个地址,这个地址就FUN4这个虚函数的地址


虚函数表是一个函数指针数组,我们可以打印出来


上面这些函数都没有返回值,没有参数


这是一个函数指针类型


17.png18.png

这个函数指针类型名字我们设置为ptr,ptr代表没有返回值,没有参数的函数指针类型


传过来的参数类型是函数指针数组

19.png20.png

*(int*)&s1 是取前四个字节


但传参穿的是函数指针类型,还要再类型转换


21.png22.png

#include<iostream>
using namespace std;
typedef void(*ptr)();
void PrinVFTable(ptr table[])
{
  for (size_t i = 0; table[i] != nullptr; ++i)
  {
  printf("vft[%d]:%p", i, table[i]);//打印地址和函数名
  table[i]();//调用函数,由于是无返回值,无参数,table[i]就是虚表里对应的函数
  }
}
class Base
{
public:
  virtual void Func1()
  {
  cout << "Base::Func1()" << endl;
  }
  virtual void Func2()
  {
  cout << "Base::Func2()" << endl;
  }
  void Func3()
  {
  cout << "Base::Func3()" << endl;
  }
private:
  int _b = 1;
};
class Derive : public Base
{
public:
  virtual void Func1()
  {
  cout << "Derive::Func1()" << endl;
  }
  virtual void Func4()
  {
  cout << "Derive::Func4()" << endl;
  }
private:
  int _d = 2;
};
int main()
{
  Derive s1;
  PrinVFTable((ptr*)*(int*)&s1);//虚表的地址在对象的前四个或前八个字节
  return 0;
}

23.png

Linux下不支持虚表后面给空指针


这样写即可


24.png


多继承


using namespace std;
typedef void(*ptr)();
void PrinVFTable(ptr table[])
{
  for (size_t i = 0; table[i]!=nullptr; ++i)
  {
  printf("vft[%d]:%p", i, table[i]);//打印地址和函数名
  table[i]();//调用函数,由于是无返回值,无参数,table[i]就是虚表里对应的函数
  }
}
class Base1 {
public:
  virtual void func1() { cout << "Base1::func1" << endl; }
  virtual void func2() { cout << "Base1::func2" << endl; }
private:
  int b1;
};
class Base2 {
public:
  virtual void func1() { cout << "Base2::func1" << endl; }
  virtual void func2() { cout << "Base2::func2" << endl; }
private:
  int b2;
};
class Derive : public Base1, public Base2 {
public:
  virtual void func1() { cout << "Derive::func1" << endl; }
  virtual void func3() { cout << "Derive::func3" << endl; }
private:
  int d1;
};

25.png26.png

Derive大小=Base1+Base2+Derive成员d1


所以整体是20


Derive创建的对象里有俩个虚表

27.png



一个是Base1的,一个是Base2的

28.png

Derive继承下来的虚表中,func1是自己重写的func1,所以Base1和Base2里面的func1都是自己重写的。


由于没有重写func2,所以俩个表里面的func2都是父类的。


func3此时没有显示,因为这是子类自己增加的,这里func3是被放进了哪个虚表里?

29.png



这里打印的是第一个虚表(因为第二行打印的是Base1),说明第一个虚表里面有func3


接下来我们打印第二个虚表,第一个虚表在头四个字节,第二个虚表在中间,因为声明的时候谁先继承谁在前面

30.png


由于int *强制转换的级别高,不能直接(int*)&d+sizeof Base1,因为这样没加一次会加4个字节,而我们要取中间四个字节,这样一加会直接将该四个字节跳过


所以要转换为char*,char*一次加1个字节

31.png



我们此时发现没有func3


说明自己写的func3在第一个虚表中


这种方式也可以,利用切片,ptr2是Base2的指针,指向Base2这一块,把子类对象给Base2,完成切片

32.png

注意这俩个func1的地址不一样

33.png

34.png


这里都是Derive的func1但地址不一样(这个问题后面说)


调用的时候去指向对象虚函数表中去找func1地址调用

35.png



切片后ptr1和ptr2指向各自的区域


打印func3地址

36.png

func3地址跟这俩个虚表里的地址都不一样


直接调用d.func1()37.png

观察这俩条语句

Base1* ptr1 = &d;
    ptr1->func1();这是多态调用,先找到虚表

38.png39.png




我们发现直接用子类对象调用func1和用父类指针调用func1,只有一个步骤不同,就是子类对象直接call func1的地址,而父类指针要先找到虚表


执行这俩条语句


Base2* ptr2 = &d;
    ptr2->func1();


这里的eax跟前面的不一样,eax此时是第二个虚表的第0个虚函数地址,但是执行完eax之后,进行了sub ecx,8这里是给ecx-8,ecx是第二个虚表的地址-8,8是第一个虚表的大小,


ptr2调用ecx时,ecx指向ptr2这个位置,然后-8让ptr2指向跟ptr1同一块地方

40.png41.png

最终执行结果调的都是Derive func1.


相关文章
|
4月前
|
存储 安全 Java
c++--继承
c++作为面向对象的语言三大特点其中之一就是继承,那么继承到底有何奥妙呢?继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段,它允许程序员在保持原有类特性的基础上进行扩展,增加功能,这样产生新的类,称派生类。继承呈现了面向对象程序设计的层次结构,体现了由简单到复杂的认知过程。以前我们接触的复用都是函数复用,继承是类设计层次的复用,继承就是类方法的复用。
93 0
|
6月前
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
184 12
|
7月前
|
安全 C++
【c++】继承(继承的定义格式、赋值兼容转换、多继承、派生类默认成员函数规则、继承与友元、继承与静态成员)
本文深入探讨了C++中的继承机制,作为面向对象编程(OOP)的核心特性之一。继承通过允许派生类扩展基类的属性和方法,极大促进了代码复用,增强了代码的可维护性和可扩展性。文章详细介绍了继承的基本概念、定义格式、继承方式(public、protected、private)、赋值兼容转换、作用域问题、默认成员函数规则、继承与友元、静态成员、多继承及菱形继承问题,并对比了继承与组合的优缺点。最后总结指出,虽然继承提高了代码灵活性和复用率,但也带来了耦合度高的问题,建议在“has-a”和“is-a”关系同时存在时优先使用组合。
362 6
|
8月前
|
存储 机器学习/深度学习 编译器
【C++终极篇】C++11:编程新纪元的神秘力量揭秘
【C++终极篇】C++11:编程新纪元的神秘力量揭秘
|
9月前
|
C++ 开发者
C++学习之继承
通过继承,C++可以实现代码重用、扩展类的功能并支持多态性。理解继承的类型、重写与重载、多重继承及其相关问题,对于掌握C++面向对象编程至关重要。希望本文能为您的C++学习和开发提供实用的指导。
136 16
|
9月前
|
编译器 数据安全/隐私保护 C++
【C++面向对象——继承与派生】派生类的应用(头歌实践教学平台习题)【合集】
本实验旨在学习类的继承关系、不同继承方式下的访问控制及利用虚基类解决二义性问题。主要内容包括: 1. **类的继承关系基础概念**:介绍继承的定义及声明派生类的语法。 2. **不同继承方式下对基类成员的访问控制**:详细说明`public`、`private`和`protected`继承方式对基类成员的访问权限影响。 3. **利用虚基类解决二义性问题**:解释多继承中可能出现的二义性及其解决方案——虚基类。 实验任务要求从`people`类派生出`student`、`teacher`、`graduate`和`TA`类,添加特定属性并测试这些类的功能。最终通过创建教师和助教实例,验证代码
183 5
|
8月前
|
编译器 C++ 开发者
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
|
4月前
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果:注意:类模板中的成员函数若是放在类外定义时,需要加模板参数列表。return 0;
95 0
|
4月前
|
存储 编译器 程序员
c++的类(附含explicit关键字,友元,内部类)
本文介绍了C++中类的核心概念与用法,涵盖封装、继承、多态三大特性。重点讲解了类的定义(`class`与`struct`)、访问限定符(`private`、`public`、`protected`)、类的作用域及成员函数的声明与定义分离。同时深入探讨了类的大小计算、`this`指针、默认成员函数(构造函数、析构函数、拷贝构造、赋值重载)以及运算符重载等内容。 文章还详细分析了`explicit`关键字的作用、静态成员(变量与函数)、友元(友元函数与友元类)的概念及其使用场景,并简要介绍了内部类的特性。
173 0
|
7月前
|
设计模式 安全 C++
【C++进阶】特殊类设计 && 单例模式
通过对特殊类设计和单例模式的深入探讨,我们可以更好地设计和实现复杂的C++程序。特殊类设计提高了代码的安全性和可维护性,而单例模式则确保类的唯一实例性和全局访问性。理解并掌握这些高级设计技巧,对于提升C++编程水平至关重要。
131 16