【C++ | 虚函数】虚函数详解及例子代码演示

在C++中，虚函数是实现多态的重要机制。本文将详细解析虚函数的概念、使用方法、动态绑定、虚函数表及虚表指针，并通过示例代码演示其应用。

一、什么是虚函数？

虚函数是指在基类中声明为virtual的成员函数。通过虚函数，可以在派生类中重写基类的同名函数，以实现动态绑定。虚函数的主要作用是支持多态性，使得程序在运行时能够根据对象的实际类型调用相应的函数。

1.1 虚函数的定义

虚函数的定义格式如下：

class Base {
public:
    virtual void show() {
        std::cout << "Base show()" << std::endl;
    }
};

二、虚函数的使用

2.1 基本使用

通过基类指针或引用调用虚函数时，将会根据对象的实际类型来决定调用哪个函数，这称为动态绑定。

#include <iostream>

class Base {
public:
    virtual void show() {
        std::cout << "Base show()" << std::endl;
    }
    virtual ~Base() {}  // 虚析构函数
};

class Derived : public Base {
public:
    void show() override {
        std::cout << "Derived show()" << std::endl;
    }
};

int main() {
    Base* b = new Derived();
    b->show();  // 输出：Derived show()

    delete b; // 释放内存
    return 0;
}

在上述代码中，Base类中声明了一个虚函数show()，而Derived类重写了该函数。当通过基类指针调用show()时，输出的是派生类中的实现。

2.2 动态绑定

动态绑定是指在程序运行时确定要调用哪个函数，而不是在编译时。虚函数的机制使得C++能够实现动态绑定。

示例：

#include <iostream>

class Base {
public:
    virtual void display() {
        std::cout << "Display from Base" << std::endl;
    }
};

class Derived : public Base {
public:
    void display() override {
        std::cout << "Display from Derived" << std::endl;
    }
};

void showDisplay(Base* obj) {
    obj->display();  // 动态绑定
}

int main() {
    Base b;
    Derived d;
    showDisplay(&b);  // 输出：Display from Base
    showDisplay(&d);  // 输出：Display from Derived
    return 0;
}

三、虚函数表和虚表指针

每个含有虚函数的类都包含一个虚函数表（vtable），这个表存储着指向该类虚函数的指针。当通过基类指针调用虚函数时，程序会查找该指针所指向的对象的虚函数表，以确定实际要调用的函数。

3.1 虚函数表

每个对象的虚表指针（vptr）指向对应的虚函数表。通过vptr，可以动态决定调用哪个虚函数。

3.2 示例代码

#include <iostream>

class Base {
public:
    virtual void show() {
        std::cout << "Base show()" << std::endl;
    }
    virtual ~Base() {}
};

class Derived : public Base {
public:
    void show() override {
        std::cout << "Derived show()" << std::endl;
    }
};

int main() {
    Base* b = new Derived();
    b->show();  // 通过vptr调用Derived的show()
    delete b;
    return 0;
}

四、总结

通过本文的讲解，我们详细介绍了C++中的虚函数及其相关概念。虚函数使得C++能够实现多态，通过动态绑定可以灵活地选择运行时调用的函数。此外，虚函数表和虚表指针的机制为动态绑定提供了支持。

理解虚函数的工作原理对掌握C++中的面向对象编程至关重要。希望这篇文章能够帮助你深入理解虚函数的使用和实现！如有任何疑问，欢迎在评论区留言讨论。