以下内容转载自
https://baike.baidu.com/item/%E7%BA%AF%E8%99%9A%E5%87%BD%E6%95%B0/9113729?fr=aladdin
-
中文名
- 纯虚函数 定 义
- 不能对虚函数给出有意义的实现
-
存在原因
- 方便使用 多态特性 归 类
- 计算机
目录
纯
虚函数是一种特殊的虚函数,它的一般格式如下:
class <类名>
{
virtual <类型><函数名>(<参数表>)=0;
…
};
纯虚函数可以让类先具有一个操作名称,而没有操作内容,让派生类在继承时再去具体地给出定义。凡是含有纯虚函数的类叫做
抽象类。这种类不能声明对象,只是作为基类为派生类服务。除非在派生类中完全实现基类中所有的的纯虚函数,否则,派生类也变成了抽象类,不能实例化对象。
一般而言纯虚函数的函数体是缺省的,但是也可以给出纯虚函数的函数体(此时纯虚函数变为虚函数),这一点经常被人们忽视,调用纯虚函数的方法为baseclass::virtual function.
1、为了方便使用
多态特性,我们常常需要在基类中定义虚函数。
2、在很多情况下,基类本身生成对象是不合情理的。例如,动物作为一个基类可以派生出老虎、孔雀等子类,但动物本身生成对象明显不合常理。
为了解决上述问题,引入了纯虚函数的概念,将函数定义为纯虚函数(方法:virtual ReturnType Function()= 0;)。若要使派生类为非抽象类,则编译器要求在派生类中,必须对纯虚函数予以重写以实现多态性。同时含有纯虚函数的类称为抽象类,它不能生成对象。这样就很好地解决了上述两个问题。
多态性
a.编译时多态性:通过
重载函数和运算符重载实现。
b运行时多态性:通过虚函数和继承实现。
虚函数
抽象类
包含纯虚函数的类称为
抽象类。由于抽象类包含了没有定义的纯虚函数,所以不能定义抽象类的对象。
程序举例:
基类:
1
2
3
4
5
6
7
8
|
class
A {
public
:
A();
virtual
~A();
void
f1();
virtual
void
f2();
virtual
void
f3()=0;
};
|
子类:
1
2
3
4
5
6
7
8
|
class
B:
public
A{
public
:
B();
virtual
~B();
void
f1();
virtual
void
f2();
virtual
void
f3();
};
|
主函数:
1
2
3
4
5
6
7
8
|
int
main(
int
argc,
char
* argv[]) {
A *m_j =
new
B();
m_j -> f1();
m_j -> f2();
m_j -> f3();
delete
m_j;
return
0;
}
|
f1()是一个隐藏,关于函数的隐藏,可以参考其它词条.
调用m_j->f1();会去调用A类中的f1(),它是在我们写好代码的时候就会定好的.
也就是根据它是由A类定义的,这样就调用这个类的函数.
f2()是重写(覆盖).
调用m_j->f2();会调用m_j中到底保存的对象中,对应的这个函数.这是由于new的B
对象.(调用
派生类的f2())
f3()与f2()一样,只是在基类中不需要写函数实现.