1、虚函数的工作原理
通常,编译器处理虚函数的方法是:给每个对象添加一个隐藏成员。隐藏成员中保存了一个指向函数地址数组的指针。这种数组称为虚函数表。虚函数表中存储了为类对象进行声明的虚函数的地址。
例如,基类对象包含一个指针,该指针指向基类中所有虚函数的地址表。派生类对象将包含一个指向独立地址表的指针。如果派生类提供了虚函数的新定义,该虚函数表将保存新函数的阿地址;如果派生类没有重新定义虚函数,该vtbl将保存函数原始版本的地址。如果派生类定义了新的虚函数,则该函数的地址也将被添加到vtbl中。无论类中包含的虚函数是几个,都只需要在对象中添加1个地址成员,只是表的大小不同而已。
2、虚函数使用事项
- 调用虚函数时,程序将查看存储在对象中的vtbl地址,然后转向相应的函数地址表。
- 每个对象都将增大,增大量为存储地址的空间
- 对于每个类,编译器都创建一个虚函数地址表(数组)
- 对于每个函数调用,都需要执行一项额外的操作,即到表中查找地址
- 在基类方法的声明中使用关键字virtual可使该方法在基类以及所有的派生类中是虚函数
- 如果使用指向对象的引用或指针来调用虚方法,程序将使用为对象类型定义的阿方法,而不使用为引用或指针类型定义的方法。这称为动态联编。
- 如果定义的类将被用作基类,则应将那些要在派生类中重新定义的类方法声明为虚的
- 构造函数不能是虚函数
- 析构函数应当是虚函数,除非类不用做基类。
- 友元函数不能是虚函数,因为友元不是类成员,只有成员才能使虚函数
- 如果在派生类中重新定义继承的方法并不是重载,将不是使用相同的函数名称覆盖基类声明,而是隐藏同名的基类方法。
- 如果基类声明被重载了,则应在派生类中重新定义所有的基类版本。如果只重新定义一个版本,则另外的版本将被隐藏,派生类对象将无法使用它们。