C++ 11 学习3：显示虚函数重载(override)

5.显示虚函数重载

在 C++ 里，在子类中容易意外的重载虚函数。举例来说:

struct Base {
    virtual void some_func();
};

struct Derived : Base {
    void some_func();
};

Derived::some_func 的真实意图为何? 程序员真的试图重载该虚函数，或这只是意外? 这也可能是 base 的维护者在其中加入了一个与Derived::some_func 同名且拥有相同参数的虚函数。

另一个可能的状况是，当基类中的虚函数的名字或者参数被改变，子类中拥有旧签名的函数就不再重载该虚函数。因此，如果程序员忘记修改所有子类，运行期将不会正确调用到该虚函数正确的实现。

C++11 将加入支持用来防止上述情形产生，并在编译期而非运行期捕获此类错误。为保持向后兼容，此功能将是选择性的。其语法如下:

struct Base {
    virtual void some_func(float);
};

struct Derived : Base {
    virtual void some_func(int) override;   // 错误格式: Derive::some_func 并没有 override Base::some_func
    virtual void some_func(float) override; // OK
};

编译器会检查基底类型是否存在一虚拟函数，与派生类中带有声明override 的虚拟函数，有相同的函数；若不存在，则会报错。

C++11 也提供指示字final，用来避免类型被继承，或是基底类型的函数被改写：

struct Base1 final { };

struct Derived1 : Base1 { }; // 错误格式: class Base1 已标明为 final

struct Base2 {
    virtual void f() final;
};

struct Derived2 : Base2 {
    void f(); // 错误格式: Base2::f 已标明为 final
};

以上的示例中，virtual void f() final;声明一新的虚拟函数，同时也表明禁止派生函数改写原虚拟函数。

override与final都不是语言关键字(keyword)，只有在特定的位置才有特别含意，其他地方仍旧可以作为一般指示字(identifier)使用。