C++ virtual虚函数详解_C++多态性与动态绑定-C++-PHP中文网

C++ virtual虚函数详解_C++多态性与动态绑定

尼克

发布： 2025-11-29 17:23:02

原创

610人浏览过

虚函数通过virtual关键字实现多态，使派生类能重写函数并在运行时动态绑定。基类指针或引用调用虚函数时，根据实际对象类型确定调用版本，如Animal*指向Dog对象则执行Dog::speak()。编译器使用vtable和vptr机制，每个含虚函数的类有虚函数表存储函数地址，对象包含指向该表的指针，运行时通过查表确定调用目标。纯虚函数以=0声明，使类成为抽象类，不可实例化，派生类必须实现才能创建对象。C++11引入override确保正确重写基类函数，final禁止进一步派生或重写。构造函数不能为虚函数，因对象未构造完成；析构函数通常应为虚函数，确保派生类资源正确释放。非虚函数调用在编译期确定，无多态性。虚函数存在性能开销，因需运行时查表，需权衡使用场景。掌握虚函数是理解C++多态与面向对象设计的关键。

c++ virtual虚函数详解_c++多态性与动态绑定

虚函数是C++实现多态性和动态绑定的核心机制。通过在基类中将函数声明为virtual，可以让派生类重写该函数，并在运行时根据对象的实际类型调用正确的版本。这种机制使得程序可以在不修改已有代码的前提下，灵活扩展功能。

虚函数的基本语法与作用

在基类中使用virtual关键字声明一个函数，它就成为虚函数。当通过基类指针或引用调用该函数时，系统会根据实际指向的对象类型决定调用哪个版本的函数，而不是依据指针或引用的类型。

例如：

class Animal {
public:
    virtual void speak() {
        std::cout << "Animal speaks\n";
    }
};
<p>class Dog : public Animal {
public:
void speak() override {
std::cout << "Dog barks\n";
}
};</p><p>Animal* ptr = new Dog();
ptr->speak(); // 输出: Dog barks</p>

登录后复制

这里虽然ptr是Animal*类型，但指向的是Dog对象，因此调用的是Dog::speak()。这就是动态绑定的效果。

立即学习“C++免费学习笔记（深入）”；

虚函数表与虚函数指针（vtable 与 vptr）

C++编译器通常使用虚函数表（vtable）和虚函数指针（vptr）来实现动态绑定。

每个含有虚函数的类都有一个对应的虚函数表，其中存储了该类所有虚函数的地址。
每个该类的对象都包含一个隐式的虚函数指针（vptr），指向其所属类的虚函数表。
当通过基类指针调用虚函数时，程序会通过vptr找到实际类型的vtable，再查找对应函数地址进行调用。

这个过程发生在运行时，因此支持多态行为。

Melodio

Melodio是全球首款个性化AI流媒体音乐平台，能够根据用户场景或心情生成定制化音乐。

110

查看详情

纯虚函数与抽象类

如果希望某个虚函数没有默认实现，强制派生类提供自己的版本，可以将其定义为纯虚函数。

class Shape {
public:
    virtual void draw() = 0; // 纯虚函数
};
<p>class Circle : public Shape {
public:
void draw() override {
std::cout << "Drawing a circle\n";
}
};</p>

登录后复制

包含纯虚函数的类称为抽象类，不能实例化。只有当派生类实现了所有纯虚函数后，才能创建该类的对象。

override 和 final 关键字的使用

C++11引入了override和final关键字，增强虚函数的安全性和控制力。

override：显式表明函数意图重写基类虚函数。若签名不匹配，编译器会报错，避免意外隐藏。
final：用于类或虚函数，表示禁止进一步派生或重写。

class Base {
public:
    virtual void func() final {}
};
<p>class Derived : public Base {
public:
void func() override; // 错误：Base::func 是 final
};</p>

登录后复制