有关于虚函数

关于C++中的虚函数

虚函数是C++实现多态的重要表现。多态的重要特征之一就是使用指向父类的指针或引用来操作对象。看一下下面的代码：

 

 

 

#include<iostream> using namespace std; class Father { public: void show(); }; class Child : public Father { public: void show(); }; void Father::show() { cout << "This is Father" << endl; } void Child::show() { cout << "This is Child" << endl; } int main() { Father fa; Child ch; Father *pfa = &fa; Father *pch = &ch; pfa->show(); pch->show(); return 0; }

输出结果如下：

This is Father

This is Father

很明显，Father *pch = &ch;中指针pch指向的是子类的引用，但输出结果仍是This is Father，这个结果不是我们想要的。解决这个问题可以直接在父类的show()函数前使用virtual关键字修饰。代码如下：

 

#include<iostream> using namespace std; class Father { public: void virtual show(); }; class Child : public Father { public: void show(); }; void Father::show() { cout << "This is Father" << endl; } void Child::show() { cout << "This is Child" << endl; } int main() { Father fa; Child ch; Father *pfa = &fa; Father *pch = &ch; pfa->show(); pch->show(); return 0; }

再次编译运行，得到结果如下：

This is Father

This is Child

需要说明的是，在把父类中的函数声明为virtual的时候，子类中的相应函数也自动成为virtual。

 

另外，把类的析构函数声明为virtual，是为了防止可能的内存泄露。

例子如下：

#include<iostream> using namespace std; class Father { public: Father(); ~Father(); }; class Child : public Father { public: Child(); ~Child(); }; Father::Father() { cout << "Father::Father" << endl; } Father::~Father() { cout << "Father::~Father" << endl; } Child::Child() { cout << "Child::Child" << endl; } Child::~Child() { cout << "Child::~Child" << endl; } int main() { Father *fa = new Child; delete fa; return 0; }

执行结果如下：

Father::Father

Child::Child

Father::~Father

很明显，子类的对象并没有被析构。原因是因为：新建的子类对象采用一个父类的指针来接收，析构的时候，编译器只知道这个指针是父类的，所以只将父类部分的内存析构了，而不会析构子类的内存。解决这个问题的方法是在父类的析构函数前加上virtual。代码如下：

#include<iostream> using namespace std; class Father { public: Father(); virtual ~Father(); }; class Child : public Father { public: Child(); ~Child(); }; Father::Father() { cout << "Father::Father" << endl; } Father::~Father() { cout << "Father::~Father" << endl; } Child::Child() { cout << "Child::Child" << endl; } Child::~Child() { cout << "Child::~Child" << endl; } int main() { Father *fa = new Child; delete fa; return 0; }

重新编译执行的结果如下：

Father::Father

Child::Child

Child::~Child

Father::~Father

从Child::~Child可以看到，子类对象也被析构了。