Effective Modern C++[实践]-＞使用 override 关键字声明要重写的函数

使用 override 关键字声明要重写的函数

• 重载和重写
• • 重载 (在编译时实现)
  • 覆盖 (在运行时实现)
  • • 实现覆盖 必备条件
    • override关键字
    • 解决了两个问题
• 参考

用关键字 override 声明覆盖函数。
成员函数引用后置修饰符可以区别对待左值和右值对象

重载和重写

好多博客在c++中列出了Overload、Override和Overwrite三种基础概念，感觉这是不严谨的。官网并未给出有关overwirte概念的任何信息，如下：

重载 (在编译时实现)

如果同一作用域内的几个函数名字相同，但是形参列表不同，我们称之为重载函数。

基本示例如下：

#include 
using namespace std;
 
// overloaded functions
void test(int);
void test(float);
void test(int, float);
 
int main(){
    int a = 5;
    float b = 5.5;
 
    // Overloaded functions
    // with different type and
    // number of parameters
    test(a);
    test(b);
    test(a, b);
 
    return 0;
}
 
// Method 1
void test(int var){
    cout << "Integer number: " << var << endl;
}
 
// Method 2
void test(float var){
    cout << "Float number: "<< var << endl;
}
 
// Method 3
void test(int var1, float var2){
    cout << "Integer number: " << var1;
    cout << " and float number:" << var2;
}

更多知识参见：运算符重载、重载决议等。

覆盖 (在运行时实现) 实现覆盖 必备条件

覆盖：派生类中定义的虚函数如果与基类中定义的同名虚函数具有相同的形参列表，则派生类将覆盖基类的版本。
如果要实现覆盖， 必须满足以下条件：

1. 基类的函数必须声明为 virtual。
2. 基类和派生类的函数名称必须是完全一样的（析构函数除外）。
3. 基类和派生类的函数参数类型必须完全一样。
4. 基类和派生类的函数 const 特性必须完全一样。
5. 基类和派生类的函数返回值类型和异常声明必须是兼容的。
6. 函数的引用后置修饰符必须完全一样。

void doWork() &; // 只有*this是左值（lvalue） 时才能调用
void doWork() &&; //只有*this是右值（rvalue） 时才能调用

override关键字

正确声明派生类的覆盖函数是如此的重要，又如此容易出错，因此 C++11 给你提供了
一种显式声明 override， 表明派生类的函数是要覆盖对应的基类函数的

1. 在成员函数的声明或定义中，override 说明符确保该函数为虚函数并覆盖某个基类中的虚函数。如果不是这样，那么程序为谬构（生成编译错误）。
2. override 是在成员函数声明符之后使用时拥有特殊含义的标识符：其他情况下它不是保留的关键词。

struct A
{
    virtual void foo();
    void bar();
};
 
struct B : A
{
    void foo() const override; // 错误：B::foo 不覆盖 A::foo
                               // （签名不匹配）
    void foo() override; // OK：B::foo 覆盖 A::foo
    void bar() override; // 错误：A::bar 非虚
};

解决了两个问题

1. 本意覆盖却变成了重写；
2. 基类虚函数删除，后果可能很严重。

struct Base {
virtual void foo();
};
struct SubClass: Base {
void foo();
};

SubClass::foo 可能并不是程序员尝试重载虚函数，只是恰好加入了一个具有相同名字的函数。另一个可能的情形是，当基类的虚函数被删除后，子类拥有旧的函数就不再重载该虚拟函数并摇身一变成为了一个普通的类方法，这将造成灾难性的后果。

参考

[1] C++中的Overload、Override和Overwrite
[2] override 说明符(C++11 起)