c++中虚函数和纯虚函数的区别_C++多态与抽象类的核心区别

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

虚函数和纯虚函数都是实现C++多态的关键机制,但它们在用途和语义上有明显区别。理解这些差异有助于更好地设计类层次结构,尤其是在使用抽象类和接口时。

虚函数:支持动态绑定的成员函数

虚函数是在基类中声明为virtual的成员函数,可以在派生类中被重写。它的主要作用是实现运行时多态。

关键点:

  • 虚函数在基类中可以有默认实现
  • 派生类选择性地重写虚函数,也可以不重写
  • 包含虚函数的类可以实例化对象
  • 通过基类指针或引用调用时,会根据实际对象类型动态调用对应版本

示例:

class Animal {
public:
   virtual void makeSound() {
      cout    }
};

class Dog : public Animal {
public:
   void makeSound() override {
      cout    }
};

纯虚函数:强制接口规范的抽象方法

纯虚函数是一种特殊的虚函数,使用= 0语法声明,表示该函数没有实现,必须由派生类提供具体实现。

关键点:

  • 纯虚函数不能有函数体(特殊情况除外)
  • 含有纯虚函数的类称为抽象类,不能直接实例化
  • 派生类必须实现所有继承的纯虚函数,否则仍是抽象类
  • 用于定义接口或契约,强调“必须做什么”而非“怎么做”

示例:

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结尾

基本上就这些。虚函数适合已有默认行为的场景,纯虚函数更适合构建框架或接口规范。