[C++]C++11关键字override和final

C++ 多态行为的基础：基类声明虚函数，派生类声明一个函数覆盖该虚函数。

在C++ 11之前，没有一个强制的机制来标识虚函数在派生类中正确被重写。

class Base {
public:
    virtual void Show(); // 虚函数
};

class Derived : public Base {
public:
    void Show(); // 重写
    virtual void Show(); // 重写
};

1、虚函数的两个常见错误

虚函数的两个常见错误：无意的重写、虚函数签名不匹配。

1.1、无意的重写

无意的重写 示例如下，在派生类中声明了一个与基类的某个虚函数具有相同的签名的成员函数，不小心重写了这个虚函数。

class Base {
public:
    virtual void Show(); // 虚函数
};

class Derived : public Base {
public:
    void Show(); // 无意的重写
};

1.2、虚函数签名不匹配

函数的签名包括：函数名，参数列表，const属性。

虚函数签名不匹配的错误通常是因为 函数名、参数列表 或 const 属性不一样，导致意外创建了一个新的虚函数，而不是重写一个已存在的虚函数。

class Base {
public:
    virtual void Show(int x); // 虚函数
};

class Derived : public Base {
public:
    virtual void Sh0w(int x); // o 写成了 0，新的虚函数 
    virtual void Show(double x); // 参数列表不一样，新的虚函数 
    virtual void Show(int x) const; // const 属性不一样，新的虚函数 
};

上述三种写法，编译器并不会报错，因为它不知道你的目的是重写虚函数，而是把它当成了新的虚函数。

2、override 和 final

针对上述情况，C++ 11 增加了两个继承控制关键字：override 和 final，两者的作用分别为：

• override：保证在派生类中声明的重载函数，与基类的虚函数有相同的签名；
• final：阻止类的进一步派生 和 虚函数的进一步重写。

2.1、override

比如下面的代码，加了override，明确表示派生类的这个虚函数是重写基类的，如果派生类与基类虚函数的签名不一致，编译器就会报错。

class Base {
public:
    virtual void Show(int x); // 虚函数
};

class Derived : public Base {
public:
    virtual void Show(int x) const override; // const 属性不一样，新的虚函数 
};

报错信息如下：

因此，为了减少程序运行时的错误，重写的虚函数都建议加上 override。

2.2、final

如果不希望某个类被继承，或不希望某个虚函数被重写，则可以在类名和虚函数后加上 final 关键字，加上 final 关键字后，再被继承或重写，编译器就会报错。

class Base {
public:
    virtual void Show(int x) final; // 虚函数
};

class Derived : public Base {
public:
    virtual void Show(int x) override; // 重写提示错误  
};

报错信息如下：

因此，一旦一个虚函数被声明为final，则派生类不能再重写它。