虚函数—作为面向对象编程的核心特性之一,虚函数不仅在代码中发挥着重要作用,更是实现多态性的关键所在。
在 C++ 中,虚函数是为了实现运行时多态性而设计的特殊类型的函数。通过在基类中声明虚函数,并在派生类中进行重写,可以在程序运行时根据实际对象类型确定调用的函数版本。这为我们提供了一种灵活的方式来处理继承关系,使得代码更具可扩展性和可维护性。
虚函数表(virtual function table,简称 Vtable)是 实现虚函数的重要机制之一。每个类(包括含有虚函数的类)都会生成一个对应的虚函数表,其中存储了该类中所有虚函数的地址。
当对象被创建时,会分配一个指向其类的虚函数表的指针(虚指针)。通过这个指针,程序能够在运行时确定调用的函数版本,实现了动态绑定。注意与静态绑定混淆重载-静态绑定(链接)。
派生类的虚函数表包含基类的虚函数表内容,并扩展新函数:派生类的虚函数表通常是在基类的虚函数表的基础上进行扩展的。
示例代码解释 让我们通过一段简单的代码来说明虚函数表的工作原理:
#include <iostream>class Base {public: virtual void func1() { std::cout << "Base::func1()" << std::endl; } virtual void func2() { std::cout << "Base::func2()" << std::endl; }};class Derived : public Base {public: void func1() override { std::cout << "Derived::func1()" << std::endl; } void func3() { std::cout << "Derived::func3()" << std::endl; }};int main() { Base* ptr = new Derived(); ptr->func1(); // 动态绑定 ptr->func2(); // 动态绑定 delete ptr; return 0;}
在这个示例中,我们创建了一个基类 Base 和一个派生类 Derived,后者重写了基类中的 func1()。
在 main() 函数中,我们创建了一个基类指针指向派生类对象,并通过该指针调用了两个虚函数 func1() 和 func2()。由于 func1() 是虚函数,并且对象是 Derived 类型,所以会动态绑定到 Derived::func1()。而 func2() 在派生类中没有被重写,所以会绑定到基类的版本。
先看一个例子(操作环境64位系统)
//先看空类大小class test {};//只有一个虚函数的类大小class test1 { public: virtual void function(){ std::cout << "function()" << std::endl; }};//两个虚函数类的大小class test2 { public: virtual void function1(){ std::cout << "function1()" << std::endl; } virtual void function2(){ std::cout << "function2()" << std::endl; }};int main(){ std::cout<<"sizeof test: "<<sizeof(test)<<std::endl; std::cout<<"sizeof test1: "<<sizeof(test1)<<std::endl; std::cout<<"sizeof test2: "<<sizeof(test2)<<std::endl; return 0;}
类在内存中记录虚函数是以一个指针记录的,并且该指针指向一个数组,数组中装着的是虚函数的地址。同时,经过实验,64bit的编译器下,虚函数表的指针大小是8字节。
本文链接://www.dmpip.com//www.dmpip.com/showinfo-26-84466-0.html探秘C++虚函数:解密多态的奥秘
声明:本网页内容旨在传播知识,若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。邮件:2376512515@qq.com
上一篇: 探讨视觉追踪技术在VR安全中的风险