定义方式
- 虚函数:
- 在基类中使用
virtual
关键字来声明的成员函数就是虚函数。其语法形式为在函数声明前加上 virtual
关键字。 - 例如:
class Base {
public:
virtual void func() {
std::cout << "Base::func()" << std::endl;
}
};
- 纯虚函数:在基类中声明的虚函数,并且在函数声明后面加上
= 0
,就成为了纯虚函数。例如:
class Base {
public:
virtual void func() = 0;
};
实现要求
- 虚函数:基类中可以为虚函数提供具体的实现代码。派生类可以选择重写(override)这个虚函数,也可以不重写而直接使用基类的实现。例如:
class Derived : public Base {
public:
void func() override {
std::cout << "Derived::func()" << std::endl;
}
};
- 纯虚函数:基类中不能为纯虚函数提供具体的实现(虽然 C++ 允许为纯虚函数提供定义,但这并不影响它的纯虚性质,且调用时需要通过特定方式),派生类必须重写纯虚函数,否则派生类也会成为抽象类,无法实例化。
抽象类特性
- 虚函数:仅包含虚函数的类不是抽象类,可以被实例化。
- 纯虚函数:包含纯虚函数的类被称为抽象类,抽象类不能被实例化,只能作为基类供其他类继承。例如:
class Base {
public:
virtual void func() = 0;
};
class Derived : public Base {
public:
void func() override {
std::cout << "Derived::func()" << std::endl;
}
};
Derived derived;
调用方式
- 虚函数:通过基类指针或引用调用虚函数时,会根据指针或引用实际指向的对象类型来决定调用哪个版本的函数,实现动态绑定。例如:
Base* ptr = new Derived();
ptr->func();
delete ptr;
- 纯虚函数:同样通过基类指针或引用调用时,会根据实际对象类型调用派生类中重写的版本。但如果要调用基类中为纯虚函数提供的定义,需要使用作用域解析运算符
::
。例如:
class Base {
public:
virtual void func() = 0;
};
void Base::func() {
std::cout << "Base::func() implementation" << std::endl;
}
class Derived : public Base {
public:
void func() override {
std::cout << "Derived::func()" << std::endl;
}
};
int main() {
Base* ptr = new Derived();
ptr->func();
ptr->Base::func();
delete ptr;
return 0;
}
注意
- 纯虚函数可以实现,编译器不会报错,但是没有意义
- 继承抽象类,若是子类不实现基类的纯虚函数,那么子类依然是个抽象类,不允许实例化调用其他函数
#include<iostream>
using namespace std;
class A
{
public:
virtual void fun() = 0;
};
class B : public A
{
public:
void test()
{
cout << "b.test()" << endl;
}
};
void A::fun()
{
cout << "A::func()" << endl;
}
int main()
{
B b1;
b1.test();
A* ptr = &b1;
ptr->fun();
return 0;
}

使用场景
- 虚函数:当基类和派生类有一些通用的行为,但派生类可能需要对这些行为进行个性化实现时,使用虚函数。例如,图形类
Shape
有一个 draw
虚函数,不同的图形(如圆形、矩形)可以重写这个函数来实现自己的绘制方式。 - 纯虚函数:当基类只是定义了一组接口,具体的实现由派生类完成时,使用纯虚函数。例如,定义一个抽象的
Animal
类,其中的 makeSound
函数可以定义为纯虚函数,不同的动物类(如狗、猫)继承 Animal
类并实现 makeSound
函数。