C++ 基础教程之虚函数实例代码详解

2023-07-31 19:34:03 82

虚函数的定义

虚函数：就是在基类的成员函数前加关键字virtual(即被virtual关键字修饰的成员函数)，并在一个或多个派生类中被重新定义的成员函数；虚函数：就是在编译的时候不确定要调用哪个函数，而是动态决定将要调用哪个函数。它的作用就是为了能让这个函数在它的子类里面可以被重载，这样的话，编译器就可以使用后期绑定来达到多态了，也就是用基类的指针来调用子类的这个函数；虚函数的作用：在于用专业术语来解释就是实现多态性，多态性是将接口与实现进行分离，通过指向派生类的基类指针或引用，访问派生类中同名覆盖成员函数；用形象的语言来解释就是实现以共同的方法，但因个体差异，而采用不同的策略；虚函数用法格式为：virtual函数返回类型函数名（参数表）{函数体}；

虚函数在c++的继承体系中是一个非常重要概念，让我们可以在子类中复写父类的方法。学到这里我还不知道在c++中是否有抽象类的概念，那么学习过虚函数我们就知道通过（纯）虚函数可以实现java中的抽象类，

要实现虚函数需要两个步骤进行修改

在父类中，在函数GetName()前面加上virtual
在子类中，在函数GetName()后面加上override

再次运行编译运行程序就得到我们想要结果了

Shaprectangle

下面开始正文

virtual函数

示例代码如下：

#include
classbase{
public:
virtualvoidname(){printf("base\n");};
virtual~base(){};
};
classplus:publicbase{
public:
virtualvoidname(){printf("plus\n");};
};
voidfv(baseb){
b.name();
}
voidfp(base&b){
b.name();
}
intmain(){
baseb;
plusp;
fv(b);
fv(p);
fp(b);
fp(p);
return0;
}

程序输出：

basebasebaseplus

这里涉及到一个c++知识点--向上强制转换：将派生类引用或指针转换为基类引用或指针。该规则使得公有继承不需要进行显示类型转化，它是is-a规则的一部分。

相反的过程被称为--向下强制转换，向下强制类型转换必须是显示的。因为派生类可能对基类进行拓展，新增的成员变量和函数不能应用于基类。

隐式向上强制转换使得基类指针或引用可以指向基类对象或派生类对象，因此需要动态联编。C++使用虚成员函数函数满足这种需求。

动态联编

编译器在编译时要将调用的函数对应相应的可执行代码，此过程为函数联编（binding），在C++因为函数重载的原因，需要查看调用函数名和传入参数才能确认是哪一个函数。在编译的时候可以确认使用哪一个函数的联编被称为静态联编或早期联编。

同时因为virtual函数的存在，编译工作变得更加复杂，如示例函数所示，具体使用的哪个类型对象不能确认。为此编译器必须生成一些代码，使得在程序运行的时候选择正确的虚函数，这被称为动态联编，又被称为晚期联编。

为了验证上面所述我们可以做一组对照，首先我们用gnu工具nm来查看sysbols,可以发现如下的部分:

$nmvirtual.exe|grep-c-E"plus|base"

然后我们改造一下上面的代码：

classbase{
public:
voidname(){printf("base\n");};//修改
virtual~base(){};
};
classplus:publicbase{
public:
voidname(){printf("plus\n");};//修改
};

编译后重新执行nm命令：

nmvirtual_.exe|grep-c-E"plus|base"45

经过比对后我们会发现修改后缺少了以下symbols：

000000000040509cp.pdata$_ZN4plus4nameEv0000000000402e00t.text$_ZN4plus4nameEv00000000004060a0r.xdata$_ZN4plus4nameEv0000000000402e00T_ZN4plus4nameEv

动态联编在效率上要低于静态联编，在C++中默认使用静态联编。C++之父strousstup认为C++指导原则之一是不要为不使用的特性付出代价（cpu、memory等）。

所以在派生类不需要去重写基类函数时，则不要将其声明为virtual函数。

virtual函数工作原理

虚函数表示每一个使用C++的开发者耳熟能详的东西，有一个道经典的试题如下：

#include
classbase
{
public:
base(){};
virtual~base(){printf("base\n");};
};
classplus:publicbase
{
public:
plus(/*args*/){};
virtual~plus(){printf("plus\n");};
};
classplus2:publicbase
{
public:
plus2(/*args*/){};
~plus2(){printf("plus2\n");};
};
classplus3:publicbase
{
public:
virtualvoidname(){printf("plus3");};
plus3(/*args*/){};
virtual~plus3(){printf("plus3\n");};
};
classempty
{
private:
/*data*/
public:
empty(/*args*/){};
~empty(){printf("empty\n");};
};
intmain()
{
baseb;
printf("base:%d\n",sizeof(b));
plusp;
printf("plus:%d\n",sizeof(p));
plus2p2;
printf("plus2:%d\n",sizeof(p2));
plus3p3;
printf("plus3:%d\n",sizeof(p3));
emptye;
printf("empty:%d\n",sizeof(e));
}

其最终输出的结果如下：

base:8plus:8plus2:8plus3:8empty:1emptyplus3baseplus2baseplusbasebase

ps：由于操作系统位数的影响结果可能有变动，在x64位系统中指针内存分配大小为8字节，x86系统中指针内存分配大小为4。

我们可以清楚的看到，只要存在虚函数不论是成员函数异或是析构函数，是在类中定义或继承都会有包含一个虚函数表。而这里的8字节就是分配给了虚函数表的指针。

我们可以通过gnutoolgdb指令进行验证,在触发断点之后通过infolocal命令去查看：

(gdb)infolocals
b={_vptr.base=0x555555755d20}
p={={_vptr.base=0x555555755d00},}
p2={={_vptr.base=0x555555755ce0},}
p3={={_vptr.base=0x555555755cb8},}
e={}

我们可以看到每一个对象内都有一个指针指向vtable。

当一个基类声明一个虚函数后，在创建对象的时候会将该函数地址加入虚函数列表中，如果派生类重写了该函数，则会用新函数地址替换，如果其定义了新函数，则会将新函数的指针加入虚表中。

示例代码如下：

#include
classbase
{
public:
base(){};
virtualconstchar*feature(){return"test";};
virtualvoidname(){printf("base\n");}
virtual~base(){printf("~base\n");};
};
classplus:publicbase
{
public:
plus(/*args*/){};
virtualvoidname(){printf("plus\n");}
virtualvoidparant(){printf("base\n");}
~plus(){printf("plus\n");};
};
intmain()
{
baseb;
printf("base:%ld\n",size_t(&b));
plusp;
printf("plus:%ld\n",size_t(&p));
}

仍然用gdb来验证，断点后通过infovtbl命令查看：

(gdb)infovtblp
vtablefor'plus'@0x555555755d08(subobject@0x7fffffffe010):
[0]:0x555555554b4a
[1]:0x555555554bf8
[2]:0x555555554c30
[3]:0x555555554c66
[4]:0x555555554c14
(gdb)infovtblb
vtablefor'base'@0x555555755d40(subobject@0x7fffffffe008):
[0]:0x555555554b4a
[1]:0x555555554b5c

当调用虚函数的时候，会在虚函数表中寻找对应的函数地址，因此它每一次调用动会多做一步匹配，相比静态联编的非虚函数要更加耗时。

需要注意的是构造函数不能声明为虚函数，而如果一个类作为除非不作为基类，否则建议声明一个虚析构函数。

总结

到此这篇关于C++基础教程之虚函数实例代码详解的文章就介绍到这了,更多相关c++虚函数内容请搜索毛票票以前的文章或继续浏览下面的相关文章希望大家以后多多支持毛票票！

声明：本文内容来源于网络，版权归原作者所有，内容由互联网用户自发贡献自行上传，本网站不拥有所有权，未作人工编辑处理，也不承担相关法律责任。如果您发现有涉嫌版权的内容，欢迎发送邮件至：czq8825#qq.com（发邮件时，请将#更换为@）进行举报，并提供相关证据，一经查实，本站将立刻删除涉嫌侵权内容。

C++ 基础教程之虚函数实例代码详解

热门推荐

随机推荐