虚函数可被重写并有默认实现,支持运行时多态;纯虚函数无实现、必须被重写,用于定义抽象接口。含虚函数的类可实例化,而含纯虚函数的类为抽象类,不能实例化。

虚函数和纯虚函数都是实现C++多态的关键机制,但它们在用途和语义上有明显区别。理解这些差异有助于更好地设计类层次结构,尤其是在使用抽象类和接口时。
虚函数:支持动态绑定的成员函数
虚函数是在基类中声明为virtual的成员函数,可以在派生类中被重写。它的主要作用是实现运行时多态。
关键点:
- 虚函数在基类中可以有默认实现
- 派生类选择性地重写虚函数,也可以不重写
- 包含虚函数的类可以实例化对象
- 通过基类指针或引用调用时,会根据实际对象类型动态调用对应版本
示例:
立即学习“C++免费学习笔记(深入)”;
class Animal {public:
virtual void makeSound() {
cout }
};
class Dog : public Animal {
public:
void makeSound() override {
cout }
};
纯虚函数:强制接口规范的抽象方法
纯虚函数是一种特殊的虚函数,使用= 0语法声明,表示该函数没有实现,必须由派生类提供具体实现。
关键点:
- 纯虚函数不能有函数体(特殊情况除外)
- 含有纯虚函数的类称为抽象类,不能直接实例化
- 派生类必须实现所有继承的纯虚函数,否则仍是抽象类
- 用于定义接口或契约,强调“必须做什么”而非“怎么做”
示例:
立即学习“C++免费学习笔记(深入)”;
class Shape {public:
virtual double area() = 0; // 纯虚函数
};
class Circle : public Shape {
double r;
public:
Circle(double radius) : r(radius) {}
double area() override {
return 3.14159 * r * r;
}
};
核心区别总结
两者都支持多态,但在设计意图和使用方式上存在本质不同:
- 实现要求:虚函数可选重写,纯虚函数必须重写
- 类的可实例化性:含虚函数的类可创建对象,含纯虚函数的类不可
- 设计目的:虚函数用于扩展行为,纯虚函数用于定义统一接口
- 语法形式:虚函数有函数体,纯虚函数以= 0结尾
基本上就这些。虚函数适合已有默认行为的场景,纯虚函数更适合构建框架或接口规范。











