C++11 理解 (十) 之 显式虚函数重载

在 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 的虚拟函数，有相同的函数签名(signature)；若不存在，则会回报错误。

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)使用。