18.x - 小结与测试 - 虚函数
复习
- C++ 允许你将基类类型的指针或引用指向派生类的对象。当我们需要编写代码使其能够配合从同一个基类继承的派生类工作时,这个特性非常有用;
- 如果没有虚函数的帮助,指向派生类的基类指针和引用就只能访问基类的成员变量和基类中对应的函数;
- 虚函数是一种特殊类型的函数,它会解析为基类和派生类中共同存在的最后派生的函数(称为重载)。为了实现重载。派生类的函数和基类中的虚函数必须具有相同的函数签名和返回值类型。一个例外的情况是协变返回值类型,这种情况下重载函数的返回值可以返回派生类类型的指针或引用,而不必和基类中的函数一样也返回基类类型的指针和引用;
18.3 - override、final标识符以及协变返回类型
- 如果一个函数的目的是被另外一个函数重载,我们应该使用
override
来修饰它以便确保它被重载; final
关键字可以用来指明某个函数不可以被重载或某个类不能被继承;
- 如果一个类的功能是作为基类使用,那应该将其析构函数设为虚函数,这样才能确保一个指向派生类的基类类型的指针被
delete
的时候,能够调用正确的析构函数(子类的析构函数); - 使用作用域解析运算符可以规避虚函数解析,它可以直接显式地指定你希望使用哪个类中的函数:例如:
base.Base::getName()
;
- 当编译器解析到函数的直接调用时,会进行早期绑定。编译器或者链接器可以直接解析该函数调用。 后期绑定 则发生在通过函数指针进行调用时。在这种情况下,实际的函数调用只有在运行时才能确定。虚函数使用后期绑定和虚函数表来确定实际调用的函数。
- 使用虚函数是有开销的:虚函数的调用更耗时,而且虚函数表也会使每一个包含虚函数的对象其大小增加一个指针的大小。
- 虚函数可以被定义为纯虚函数或抽象函数,只需在其函数原型的结尾添加”=0“即可。包含纯虚函数的类称为抽象类,它 不能被实例化。一个继承了纯虚函数的类,必须实现这些虚函数,否则该类也是抽象类。纯虚函数也可以有函数体,但即便这样它仍然是抽象的。
- 接口类是那些没有成员变量,且所有函数均为纯虚函数的类,通常在命名它们的时候会使用大写字母I开头。
- 虚基类是一种基类,不论它被继承多少次,它始终只会被构造一次。
- 动态类型转换可以用来将一个指向基类对象的指针转换为指向派生类对象的指针,即downcasting。如果转换失败,则会返回一个空指针。
- 为派生类重载
<<
运算符的最简单的办法,是重载最基础的基类的<<
运算符,然后调用虚成员函数来进行打印。