虚函数是C++为了实现类的多态性。
多态的目的是:可以通过基类指针对所有派生类(包括直接派生和间接派生)的成员变量和成员函数进行“全方位”的访问,尤其是成员函数。如果没有多态,我们只能访问成员变量。
//Test1.h文件定义TestA类
#include<iostream>
using namespace std;
class TestA {
public:
TestA(int nCount);
void showClass();
protected:
int m_count;
};
TestA::TestA(int nCount): m_count(nCount) {}
void TestA::showClass() {
cout << "it is TestA and m_count=" << m_count << endl;
}
////Test2.h文件定义TestB类
#include"Test1.h"
#include<iostream>
using namespace std;
class TestB: public TestA
{
public:
TestB(int nCount);
void showClass();
};
TestB::TestB(int nCount) : TestA(nCount) {}
void TestB::showClass() {
cout << "it is TestB and m_count=" << m_count << endl;
}
//main.cpp
#include"Test1.h"
#include"Test2.h"
#include<iostream>
using namespace std;
int main() {
TestA *p = new TestA(1);
p->showClass();
p = new TestB(2);
p->showClass();
system("pause");
return 0;
}
运行结果:
it is TestA and m_count=1
it is TestA and m_count=2
分析:由于基类指针只能访问派生类的成员变量,不能访问派生类的成员函数。
修改基类的函数为虚函数
virtual void showClass();
运行结果:
it is TestA and m_count=1
it is TestB and m_count=2
只要基类函数声明为虚函数,派生类中的具有遮蔽关系的同名函数都会自动变为虚函数。(遮蔽关系:如果派生类有同名函数,那么就会遮蔽基类中的所有同名函数,不管它们的参数是否一样。)
构造函数不可以是虚函数。因为基类的只是在派生类的构造函数中被调用,而不会被继承到派生类,所以构造函数声明为虚函数没有意义。
析构函数可以声明为虚函数。派生类的析构函数始终会调用基类的析构函数,这个过程是隐式完成的。
虚函数的调用只有在程序运行的时候才确定调用的是哪个函数。
纯虚函数:格式如下的函数为纯虚函数
virtual 返回值类型 函数名 (函数参数) = 0;
包含纯虚函数的类为抽象类,抽象类不可以被实例化,无法创建对象,原因是纯虚函数没有函数体,不是完整的函数,无法被调用,也无法为其分配内存空间。派生类必须实现纯虚函数才能被实例化。
纯虚函数可以约束其派生类,要求派生类一定要实现其中的虚函数。