C++基础 虚函数

已于 2023-05-03 15:38:36 修改
阅读量1.2k 收藏 2
点赞数 1
文章标签： c++ 开发语言
于 2023-04-28 17:01:37 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/zbbzb/article/details/130380516
版权
文章详细介绍了C++中的虚函数机制，包括静态联编与动态联编的区别，虚函数的作用，以及如何通过虚函数实现多态。同时，讨论了虚函数表（vtbl）在类对象中的存储和继承关系下的变化，包括单继承、多继承的情况，并提到了虚函数在内存和性能上的影响。此外，还强调了析构函数必须为虚函数的原因。
摘要由CSDN通过智能技术生成

参考

顺便记录下写的比较好的博客
C++ Primer Plus (第6版)
C++虚函数表
C++内存模型
关于vtordisp知多少？
【VC++】虚函数 内存结构 - 第四篇（多重继承，无虚函数覆盖）
C++ 虚函数表剖析

虚函数

静态联编: 在编译过程中函数实现与函数关联
动态联编: 在程序执行阶段函数实现和调用关联

基类中没有把函数声明为虚, 根据指针类型调用调用对应的函数实现, 编译器对非虚方法使用静态联编
基类中把函数声明位虚, 根据对象类型调用对应的函数实现, 编译器对虚方法使用动态联编

向上强制转换: 派生类的引用或指针转换为基类引用或指针
向下强制转换: 基类的引用或指针转换为派生类的引用或指针(不能隐式转换, 会导致不安全)

虚函数: 在基类方法的神明中使用关键字virtual可使改方法在基类以及所有派生类(包括从派生类派生出来的类)中是虚的

使用指向对象的引用或指针来调用虚方法, 程序会使用对象类型定义的方法, 而不是引用或指针类型定义的方法

#include <iostream>

using namespace std;
class A {
public:
	A(int a):m_a(a) {
		cout << "A地址:" << this << endl;
	}

	virtual void Show() {
		cout << "A::Show()" << endl;
	}
public:
	int m_a;
};

class B : public A{
public:
	B(int a, int b):A(a), m_b(b) {
		cout << "B 地址:" << this << endl;
	}
	
	virtual void Show() {
		cout << "B::Show()" << endl;
	}
public:
	int m_b;
};

void fr(A& rb) {
	rb.Show();
}

void fp(A* rb) {
	rb->Show();
}

void fv(A a) {
	a.Show();
}

int main() {
	A a(10);
	B b(10, 11);
	fr(a);		// 使用 A::Show()
	fr(b);		// 使用 B::Show()
	fp(&a);		// 使用 A::Show()
	fp(&b);		// 使用 B::Show()
	fv(a);		// 使用 A::Show()
	fv(b);		// 使用 A::Show()
}

虚函数的注意事项

虚函数内存和执行速度方面有一定成本:

  • 每个对象都会增大, 增大存储地址的空间
  • 每个类, 编译器都创建一个虚函数地址表
  • 对于每个函数调用, 都需要执行一项额外的操作, 表中查地址

构造函数
构造函数不能是虚函数, 创建派生类对象, 将先调用基类的构造函数, 在调用派生类的构造函数

析构函数
析构函数需要为虚函数, 默认静态联编, delete会调用指针类型的析构函数, 释放派生类对象中基类指向的内存, 不会释放派生类指向的内存
析构函数时虚的, 则会先调用对象析构函数先释放派生类指向的内存, 再调用基类析构函数释放基类指向的内存

友元函数
友元不能是虚函数, 友元不是类成员, 只有成员才能是虚函数, 可以用过友元函数使用虚成员函数来解决

派生类重新定义函数， 不会生成函数的两个重载版本, 会隐藏基类所有同名的类方法

  1. 重新定义继承的方法, 确保与原来原型完全相同, 如果返回类型是基类引用或指针, 则可以修改为指向派生类的引用或指针, 这种特性称为返回类型协变(convariance of return type)
  2. 基类声明被重载, 则应再派生类中重新定义所有的基类版本, 只定义一个, 则另外两个版本将被隐藏
    在这里插入图片描述

虚函数表

编译器处理虚函数是给对象添加隐藏成员, 隐藏成员中保存一个指向函数地址数组的指针, 这个数组称为虚函数表(virtual function table, vtbl)
虚函数表存储了为类进行声明的虚函数的地址
在这里插入图片描述
1. 同类对象的虚函数表

#include <iostream>

using namespace std;

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

	virtual void func1() {
		cout << "A func1" << endl;
	}

	virtual void func3() {
		cout << "A func3" << endl;
	}
};

int main(){
	A a;
	A a1;
	return 0;
}

在这里插入图片描述
会发现同一类的对象用的虚函数是相同的, 都指向一个指针

2. 继承(无虚函数覆盖)

#include <iostream>

using namespace std;

class A {
public:
	virtual void func2() {
		cout << "A func2" << endl;
	}
	
	virtual void func1() {
		cout << "A func1" << endl;
	}
	
	virtual void func3() {
		cout << "A func3" << endl;
	}
};

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

	virtual void func5() {
		cout << "B func5" << endl;
	}

	virtual void func6() {
		cout << "B func6" << endl;
	}
};

int main(){
	A a;
	B b;
	return 0;
}

在这里插入图片描述

基类虚函数在子类虚函数前面, 虚函数按照声明顺序放于表中

3. 继承(虚函数覆盖)

#include <iostream>

using namespace std;

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

	virtual void func1() {
		cout << "A func1" << endl;
	}

	virtual void func3() {
		cout << "A func3" << endl;
	}
};

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

	virtual void func1() {
		cout << "B func1" << endl;
	}

	virtual void func2() {
		cout << "B func3" << endl;
	}

	virtual void func7() {
		cout << "B func6" << endl;
	}
};

在这里插入图片描述
派生类的函数被放到原来基类虚函数的位置(覆盖)
虚函数表添加顺序还是先基类, 后按声明顺序添加派生类的虚函数

4. 多重继承(无虚基类, 无虚函数覆盖)

#include <iostream>

using namespace std;

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

	virtual void func1() {
		cout << "A func1" << endl;
	}

	virtual void func3() {
		cout << "A func3" << endl;
	}
};

class AA {
public:
	virtual void func2_AA() {
		cout << "AA func2" << endl;
	}

	virtual void func1_AA() {
		cout << "AA func1" << endl;
	}

	virtual void func3_AA() {
		cout << "AA func3" << endl;
	}
};

class B : public A, public AA {
public:

	virtual void func6() {
		cout << "B func6" << endl;
	}

	virtual void func4() {
		cout << "B func4" << endl;
	}

	virtual void func5() {
		cout << "B func3" << endl;
	}

	virtual void func7() {
		cout << "B func6" << endl;
	}

};

int main(){
	AA aa;
	A a;
	B b;
	return 0;
}

在这里插入图片描述
派生类有两个虚函数表, 根据继承先后排列, 派生类的虚函数添加到第一个继承基类的虚函数表中

5. 多重继承(无虚基类, 有虚函数覆盖)

#include <iostream>

using namespace std;

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

	virtual void func1() {
		cout << "A func1" << endl;
	}

	virtual void func3() {
		cout << "A func3" << endl;
	}
};

class AA {
public:
	virtual void func2_AA() {
		cout << "AA func2" << endl;
	}

	virtual void func1_AA() {
		cout << "AA func1" << endl;
	}

	virtual void func3_AA() {
		cout << "AA func3" << endl;
	}
};

class B : public A, public AA {
public:

	virtual void func1() {
		cout << "B func1" << endl;
	}

	virtual void func4() {
		cout << "B func4" << endl;
	}

	virtual void func5() {
		cout << "B func3" << endl;
	}

	virtual void func2_AA() {
		cout << "B func2" << endl;
	}

};

int main(){
	AA aa;
	A a;
	B b;
	return 0;
}

在这里插入图片描述
6. 多重继承(有虚基类, 无虚函数覆盖)

#include <iostream>

using namespace std;

class Base {
public:
	Base(int base):m_base(base){ cout << "Base地址:" << this << endl; }

	virtual void func10() {
		cout << "Base func10" << endl;
	}
public:
	int m_base;
};

class A: virtual public Base {
public:
	A(const Base& base, int a): Base(base), m_a(a) { cout << "A的地址:" << this << endl;}

	virtual void func2() {
		cout << "A func2" << endl;
	}

	virtual void func1() {
		cout << "A func1" << endl;
	}

	virtual void func3() {
		cout << "A func3" << endl;
	}
public:
	int m_a;
};

class AA: virtual public Base {
public:
	AA(const Base& base, int aa) : Base(base), m_aa(aa) { cout << "AA的地址:" << this << endl; }

	virtual void func2_AA() {
		cout << "AA func2" << endl;
	}

	virtual void func1_AA() {
		cout << "AA func1" << endl;
	}

	virtual void func3_AA() {
		cout << "AA func3" << endl;
	}
public:
	int m_aa;
};

class B : public A, public AA{
public:
	B(const Base& base, int a, int aa) : Base(base), A(base, a), AA(base, aa) { cout << "B的地址:" << this << endl; }
	
	virtual void func11() {
		cout << "B func11" << endl;
	}
public:
	int m_b;
};

int main(){
	B b(Base(2), 10, 11);
	return 0;
}

在这里插入图片描述
在这里插入图片描述
多了vbptr和vbtable
A对应vbptr指针位置 + vbtable[0][0] = A对应vfptr的指针位置(4 + -4 = 0)
A对应vbptr指针位置 + vbtable[0][1] = Base对应vfptr的指针位置(4 + 24 = 28)

	int** t = (int**)(int*)(((int*)&b + 1) + 0); // 指向A的vbtable
	cout << t[0][0] << endl;					 // -4
	
	int** baseFun = (int**)((int*)&b + 7);  // 指向base的vbptr
	cout << baseFun[0][0] << endl;          // 7607512
	pFun = (Fun)(baseFun[0][0]);			// 指向Base::func10()函数的地址
	pFun();									// Base func10
zbbzb
关注
C++之虚函数和虚函数表
C语言与CPP编程的博客
04-18 2146
哈喽大家好。最近开始学习计算机基础相关的面试内容，比如C++、算法与数据结构、计算机网络、操作系统、设计模式、数据库等。因此把学习时记的笔记分享给大家，希望对大家有所帮助。今天分享的是C++中虚函数和虚函数表相关知识，下面是正文。虚函数概念虚函数是在编译时，并不能确定的类函数，而是在运行时确定的。核心点：通过基类对象访问派生类实现的函数。例子虚函数的例子，通常有三步。第一...
C++ 虚函数
小喇叭儿滴滴的吹
04-19 654
对于虚函数而言，这篇博客主要侧重于理解虚函数的实现机制，也就是如何实现的多态？ 在C++中，使用virtual关键字声明的函数为虚函数。当类中有虚函数时，编译器会将该类中所有虚函数的首地址保存在一张表中，这张表也称为虚函数地址表（虚表），在我们代码层面可以理解为函数指针数组。同时编译器还会在类中添加一个隐藏数据成员，该成员称为虚表指针，该指针也就是用于保存前面所说的虚表首地址。 好了，下面就先...
C++之虚函数
qq_44559016的博客
05-19 161
C++之虚函数 介绍 首先要明白什么是虚函数，函数名称前面加上virtual这个函数就称为虚函数，常用在继承关系里，子类想要修改父类的某个函数，就将父类对应的函数声明为虚的。 非虚函数：普通函数，你不希望子类重新定义（重写）它 虚函数：你希望子类重新定义它，并且它已经有默认定义 纯虚函数：你希望子类一定重新定义它，你对他没有默认定义。 如下程序： class Shape{ public: virtual void draw()const=0;//纯虚函数 virtual void error(c
C++虚函数
weixin_72715349的博客
05-24 169
C++虚函数 笔记
C++虚函数详解
qq_42048450的博客
05-26 11万+
1.虚函数的使用？ 1.1虚函数的定义 在实现c++多态时会用到虚函数。虚函数使用的其核心目的是通过基类访问派生类定义的函数。所谓虚函数就是在基类定义一个未实现的函数名，为了提高程序的可读性，建议后代中虚函数都加上virtual关键字。一般格式： class base { public: base(); virtual void test(); //定义的一个虚函数 private: char *basePStr; }; 上述代码在基类中定义了一个test的虚函数，所有可以在其子类重新定义父
C++多态性：虚函数的调用原理
08-19
总之，C++的虚函数和虚函数表是实现多态的关键机制。它们允许我们编写更加灵活、可扩展的代码，使得程序能够根据对象的实际类型进行行为选择，而无需在编译时就完全确定。这种特性极大地增强了C++的面向对象编程能力...
C++虚函数及虚函数表解析
07-24
总之，C++的虚函数和虚函数表是实现多态的基础，它们使得我们可以编写更加通用和可扩展的代码，同时保持运行时的高效性。通过理解和熟练运用这些概念，开发者可以设计出更强大、更具适应性的软件解决方案。
xuhanshu.rar_C++虚函数_虚函数
09-14
在C++编程语言中，虚函数（Virtual Function）是一个核心特性，它允许子类重写父类的方法，实现多态性。多态性是面向对象编程的三大特性之一，另外两个是封装和继承。理解并熟练运用虚函数是C++程序员必备的技能。 ...
C++中虚函数与纯虚函数的用法
09-04
总之，虚函数和纯虚函数是C++面向对象编程的基础，它们使得代码能够根据对象的实际类型动态选择执行的函数，实现了多态性。理解和熟练运用这些概念是每个C++开发者必备的技能。在实际编程中，它们常用于设计类的继承...
38.【C++ 虚函数 纯虚函数 虚基类 （最全详解）】
qq_69683957的博客
08-22 3029
虚函数、虚基类、纯虚函数
C++虚基类、虚函数、虚析构函数、纯虚函数
weixin_40763897的博客
08-16 2141
举个例子来说明一下什么是虚基类吧。return 0;}BaseDerived ABaseDerived B从上面打印出来的结果可以看出Base在内存中有两个副本。但实际上只需要一个Base副本就可以了。BaseDerived ADerived B此时Base在内存只有一份了。...
C++虚基类构造函数详解（调用顺序）之一
weixin_30660027的博客
04-25 1691
解释某个函数，我通常的讲解不会先去长篇大论去空谈，先整个例子来看看！！走起.... #include <iostream> #include <string> using namespace std; class A { public: A(const char*s) { cout<<s<&...
c++虚函数详解（你肯定懂了）
热门推荐
lyztyycode的博客
08-01 25万+
转自：c++虚函数  大牛的文章，就是通俗易懂，言简意赅。 前言 C++中的虚函数的作用主要是实现了多态的机制。关于多态，简而言之就是用父类型别的指针指向其子类的实例，然后通过父类的指针调用实际子类的成员函数。这种技术可以让父类的指针有“多种形态”，这是一种泛型技术。所谓泛型技术，说白了就是试图使用不变的代码来实现可变的算法。比如：模板技术，RTTI技术，虚函数技术，要么是试图做到在编译时决议...
c++ 虚函数多态、纯虚函数、虚函数表指针、虚基类表指针详解
暖心~的博客
05-24 3909
静态多态和动态多态–虚函数、纯虚函数 静态多态：程序在编译阶段就可以确定调用哪个函数。这种情况叫做静态多态。比如重载 动态多态：在运行期间才可以确定最终调用的函数。需要通过虚函数+封装+继承实现。 虚函数 1、虚函数都必须有定义 2、虚函数一般用在继承中。多个子类继承同一基类，若在某种行为上不同的派生类有着自己的实现方式。这种情况我们就会用到多态。采用在基类中将此函数定义成虚函数，派生类...
C++ 基础之虚函数和虚基类
LSEC小陆的博客
02-28 6819
C++ 基础之虚函数和虚基类 C++ 有别于 C ,比较重要的就是其抽象、封装、继承和多态等特性。多态又具体地体现在重载、虚函数和模板等等之上。 今天就和大家聊一聊虚函数和虚基类。 虚函数 我们来思考一个问题。假如子（派生）类 B 继承自父（基）类 A，现在有一个 A 类型的指针指向了 B，这时候指针只能调用 B 中继承自 A 的那一部分东西。那么，现在假设 B 中有一个和 A 中同名、同传入参数...
C++虚继承和虚基类；虚函数与继承
cyuyanchenxi的专栏
03-28 8280
定义：在C++中，在定义公共基类的派生类的时候，如果在继承方式前使用关键字virtual
【C++】红黑树的封装——同时实现map和set
最新发布
Mesar的博客
09-27 645
学习map和set，深入了解底层，通过模拟实现，学习高效数据结构与容器的关系，也帮助我们更好了解和使用容器
c++ 使用 Graham 扫描的凸包（Convex Hull using Graham Scan）
csdn_aspnet的专栏
09-26 1102
对于剩余的点，我们跟踪最近的三个点，并找到它们形成的角度。如果这些点的方向（按相同顺序考虑它们）不是逆时针的，我们丢弃 c，否则我们保留它。因此，第六步逐个处理点需要 O(n) 时间，假设堆栈操作需要 O(1) 时间。总体复杂度为 O(n) + O(nLogn) + O(n) + O(n)，即 O(nLogn)。在每个步骤中，算法都会检查添加到凸包中的最后两个点是否形成右转。格雷厄姆扫描算法是一种简单而有效的算法，用于计算一组点的凸包。凸包用于各种计算几何算法，例如查找最近的点对和计算一组点的直径。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值