目录
- 前言
- 一、程序及输出
- 1.1 虚函数
- 1.2 纯虚函数
- 1.2.1 定义、示例
- 1.2.2 引入原因
- 1.2.3 抽象类
- 二、分析与总结
前言
在 C++ 中,虚函数和纯虚函数是实现多态性的重要概念。虚函数是在基类中声明为虚函数的函数,在派生类中可以被重写,实现动态联编。而纯虚函数是在基类中声明为纯虚函数的函数,没有具体的实现,需要在派生类中实现,用于定义接口。
一、程序及输出
1.1 虚函数
定义一个函数为虚函数,不代表函数为不被实现的函数。
定义他为虚函数是为了允许用基类的指针来调用子类的这个函数。
#include <iostream>
class Base {
public:
virtual void print() {
std::cout << "Base class" << std::endl;
}
};
class Derived : public Base {
public:
void print() override {
std::cout << "Derived class" << std::endl;
}
};
int main() {
Base* b = new Base();
Base* d = new Derived();
b->print(); // 动态联编,调用 Base 类的 print 方法
d->print(); // 动态联编,调用 Derived 类的 print 方法
}
输出:
1.2 纯虚函数
1.2.1 定义、示例
纯虚函数是在基类中声明的虚函数,它在基类中没有定义,但要求任何派生类都要定义自己的实现方法。在基类中实现纯虚函数的方法是在函数原型后加 =0:
定义一个函数为纯虚函数,代表函数没有被实现。
定义纯虚函数是为了实现一个接口,起到一个规范的作用,规范继承这个类的程序员必须实现这个函数。
#include <iostream>
class Base {
public:
virtual void print() = 0; // 纯虚函数声明
};
class Derived : public Base {
public:
void print() override {
std::cout << "Derived class" << std::endl;
}
};
int main() {
// Base* b = new Base(); // 无法实例化含有纯虚函数的类
Base* d = new Derived();
d->print(); // 动态联编,调用 Derived 类的 print 方法
}
输出:
1.2.2 引入原因
在很多情况下,基类本身生成对象是不合情理的。例如,动物作为一个基类可以派生出老虎、孔雀等子类,但动物本身生成对象明显不合常理。
为了解决上述问题,引入了纯虚函数的概念,将函数定义为纯虚函数(方法:virtual ReturnType Function()= 0;),则编译器要求在派生类中必须予以重写以实现多态性。同时含有纯虚拟函数的类称为抽象类,它不能生成对象。这样就很好地解决了上述两个问题。
声明了纯虚函数的类是一个抽象类。所以,用户不能创建类的实例,只能创建它的派生类的实例。
纯虚函数最显著的特征是:它们必须在继承类中重新声明函数(不要后面的=0,否则该派生类也不能实例化),而且它们在抽象类中往往没有定义。
1.2.3 抽象类
在 C++ 中,抽象类是包含至少一个纯虚函数(纯虚函数是指在基类中没有给出具体实现的虚函数)的类。抽象类不能被实例化,只能作为基类来派生出其他类。抽象类的主要作用是定义接口,强制派生类实现这些接口。
抽象类不能被实例化,只能作为基类使用。
抽象类中可以包含普通成员函数、虚函数和纯虚函数。
如果一个类包含至少一个纯虚函数,那么这个类就是抽象类。
派生类必须实现抽象类中的所有纯虚函数,否则派生类也会成为抽象类。
抽象类的目的是定义接口,提供一种规范,强制派生类实现这些接口。
抽象类通常用于设计框架或基类,提供一种多态的方式来处理不同类型的派生类对象。
二、分析与总结
虚函数
:为了允许用基类的指针来调用子类的这个函数
纯虚函数
:为了实现一个接口,起到一个规范的作用,规范继承这个类的程序员必须实现这个函数
抽象类
:抽象类是包含至少一个纯虚函数的类
参考链接:
C++虚函数详解