c++ 虚函数和纯虚函数有什么区别_c++中虚函数机制与抽象类解析

虚函数允许派生类重写并实现运行时多态,可提供默认实现;纯虚函数强制派生类实现特定接口,无函数体且使类成为抽象类。1. 虚函数用virtual声明,支持动态绑定,可通过基类指针调用对应派生类版本;2. 纯虚函数以=0结尾,不含实现,包含它的类不能实例化;3. 抽象类用于定义接口规范,提升代码扩展性与维护性;4. C++通过vtable和vptr实现虚函数调用机制,纯虚函数在vtable中标记为未实现;5. 只要类有纯虚函数即为抽象类,必须由派生类实现后才能实例化。两者共同支撑C++多态与面向对象设计。

虚函数和纯虚函数都是C++实现多态的重要机制,但它们在用途和语法上存在关键区别。理解这些差异有助于正确设计类层次结构,尤其是涉及抽象类和接口时。

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

虚函数是在基类中使用virtual关键字声明的成员函数,允许派生类重写其行为。当通过基类指针或引用调用该函数时,程序会根据实际对象类型选择对应的版本,实现运行时多态。

虚函数可以有默认实现,基类提供通用逻辑,派生类可根据需要覆盖。

例如:

class Animal {
public:
    virtual void speak() {
        cout << "Some sound" << endl;
    }
};

class Dog : public Animal { public: void speak() override { cout << "Woof!" << endl; } };

这里speak()是虚函数,Animal对象调用输出默认声音,而Dog对象输出“Woof!”。

纯虚函数:强制派生类实现的接口

纯虚函数是一种特殊的虚函数,声明时以= 0结尾,不提供函数体。包含纯虚函数的类称为抽象类,不能实例化。

它的作用是定义接口规范,要求所有派生类必须实现该函数,否则派生类仍是抽象类。

例如:

class Shape {
public:
    virtual double area() = 0; // 纯虚函数
};

class Circle : public Shape { private: double radius; public: Circle(double r) : radius(r) {} double area() override { return 3.14159 radius radius; } };

Shape是抽象类,无法创建实例。只有实现了area()Circle等具体类才能被实例化。

虚函数机制与抽象类的关系

C++通过虚函数表(vtable)实现动态 dispatch。每个含有虚函数的类都有一个vtable,存储指向各虚函数的指针。对象内部包含一个vptr,指向所属类的vtable。

当调用虚函数时,程序通过vptr找到vtable,再定位到实际函数地址。这个过程在运行时完成,支持多态。

抽象类的vtable中,纯虚函数对应的位置通常标记为未实现(或指向错误处理函数),确保不会被直接调用。

抽象类常用于设计框架或接口,比如:

  • 定义统一操作接口(如draw()update()
  • 隐藏具体实现细节
  • 提高代码扩展性和可维护性

基本上就这些。虚函数提供可选重写的多态能力,纯虚函数则强制派生类实现特定接口,两者结合支撑了C++面向对象设计中的重要模式。不复杂但容易忽略的是,哪怕只有一个纯虚函数,类就变成抽象类,不能再直接实例化。