类（七）《一谈类的更深与番外》·（一）虚函数&override&final

1.OOP:虚函数virtual

1.1概述

虚函数是类特有的函数。它一般在有层次关系的类内出现（基类、派生类）。虚函数的定义以virtual开始。由于虚函数是类特有的函数，所以我们不能将一个普通的函数定义为虚函数。

1.2定义与特性

以下是一个虚函数的定义：

class A{
public:
    virtual bool it_is(fstream&);
    //...
};

我们在函数it_is前加了virtual关键字，所以it_is是一个虚函数。
虚函数在编译时才会解析，所以，调用哪个版本的虚函数与调用它的对象的动态类型有关。关于动态类型详见1.3。

如果没有基类、派生类，那么写一个虚函数完全是多余

1.3动态类型

如果一个对象是对象而非指针或引用，那么它的动态类型永远与静态类型一致。如果一个对象是指针或引用，那么动态类型与它所绑定的对象的类型有关。参考以下代码：

class A{
//...
public:
    virtual  int A_apple();
};
class B:public A{
//...
//必须重新定义A_apple函数，原因稍后解释
public:
    int A_apple();
};
int main()
{
    A a;
    B b;
    A& c=b;
    //...
}

如图所示，上面的a和b的动静态类型是一致的（两者均为对象）而c的动态类型为它所绑定的对象的类型，也就是B&（它本身为引用），静态类型为A&

1.4override和final关键字

我们要将派生类重定义的虚函数覆盖的时候，可以使用override关键字来修饰函数。
如果我们不希望别的类继承它，可以使用final关键字来修饰它。
我们可以将1.3的代码改写为

class A{
public:
    virtual  int A_apple();
};
class B:public A final{
public:
    int A_apple() override;
};
int main()
{
    A a;
    B b;
    A& c=b;
    //...
}

1.5强行调用虚函数

如果我们想要强行调用某个版本的虚函数，可以用作用域运算符强行调用。