一、简介
虚函数一般是在基类中定义的函数,需要由派生类来重写它,从而实现其具体的功能。以实现多态性,可以让父类的指针调用子类的函数。
#include<iostream>
using namespace std;
class Parent {
public:
virtual void print() {
cout << "我是父类,哈哈哈。。。" << endl;
}
};
class Son : public Parent {
public:
void print() {
cout << "我是子类,哈哈哈。。。" << endl;
}
};
int main(){
Son son; //创建子类对象
Parent* test = &son; //创建父类指针指向子类对象
// Parent* test = new Son(); //和上面两行可以等价替换,但是尽量别用这种,因为new是在堆上开辟内存,需要用delete释放内存否则会造成内存泄漏,比较麻烦。
test->print();
return 0;
}
运行:
二、虚函数表(vtal)与虚函数指针(vptr)(以下是32位情况下)
2.1 如果一个类中有虚函数,则该类的大小就会多4个字节,即虚函数指针。这个指针指向虚函数表。所谓虚函数表就是一张专门存储虚函数地址的表。
这张表解决了继承、覆盖的问题,保证其真实反应实际的函数。这样,在有虚函数的类的实例中分配了指向这个表的指针的内存,所以,当用父类的指针来操作一个子类的时候,这张虚函数表就显得尤为重要了,它就像一个地图一样,指明了实际所应该调用的函数。
--------------------------百度百科
注意:普通函数、虚函数、vtbl都是同一个类的所有对象公有的,只有成员变量和vptr是每个对象私有的(即C++中一个类是公用一张虚函数表的,基类有基类的虚函数表,子类是子类的虚函数表)。vptr通常会在对象内存的最起始位置。另外,当类有多个虚函数时,仍然只有一个虚函数表指针vptr,而此时的虚函数表vtbl中会有多个函数指针,分别指向对应的虚函数实现区域。
2.2 虚函数实现的过程:通过对象内存中的vptr找到虚函数表vtbl,接着通过vtbl找到对应虚函数的实现区域并进行调用。
2.3 动态绑定
有如下代码:
class A {
public:
virtual void vfunc1() { cout << "我是A的vfunc1" << endl; };
virtual void vfunc2() { cout << "我是A的vfunc2" << endl; };
void func1() { cout << "我是A的func1" << endl; };
void func2() { cout << "我是A的func2" << endl; };
private:
int m_data1, m_data2;
};
class B : public A {
public:
virtual void vfunc1() { cout << "我是B的vfunc1" << endl; };
void func1() { cout << "我是B的func1" << endl; };
private:
int m_data3;
};
class C : public B {
public:
virtual void vfunc2() { cout << "我是C的vfunc2" << endl; };
void func2() { cout << "我是C的func2" << endl; };
};
其对象模型如下图所示:
测试一下:
int main(){
C c; //子类对象
A* test = &c; //父类指针指向子类对象
test->func1(); //调用非虚函数
test->func2();
test->vfunc1(); //调用虚函数
test->vfunc2();
return 0;
}
运行:
三、 构造函数和析构函数可以是虚函数吗?为什么?
答:构造函数不能是虚函数,析构函数可以是虚函数且推荐最好设置为虚函数。
原因:①因为需要实例化对象才可以调用虚函数,而实例化对象又需要调用构造函数,所以就产生了矛盾,故不能虚构造。
②用基类类型指针绑定派生类实例,析构的时候,如果基类析构函数不是虚函数,则只会析构基类,不会析构派生类对象,从而造成内存泄漏。所以如果该类要作为父类的话,就应该把它的析构函数设为虚函数。