override 说明符(C++11 起)

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

C++ 语言

 

类

概述

综述

class/struct 类型

union 类型

注入类名

成员

数据成员

静态成员

this 指针

嵌套类

成员模板

位域

using 声明

成员函数

成员访问指定符

构造函数与成员初始化器列表

默认成员初始化器(C++11)

friend 说明符

explicit 说明符

转换构造函数

特殊成员函数

默认构造函数

复制构造函数

移动构造函数(C++11)

复制赋值运算符

移动赋值运算符(C++11)

析构函数

继承

基与派生类

空基类优化

虚成员函数

纯虚函数与抽象类

override(C++11)

final(C++11)

 

指定一个虚函数覆盖另一个虚函数。

语法

如果使用标识符 override，那么它紧随成员函数声明或类定义内的成员函数定义语法中的声明符之后出现。

声明符 虚说明符序列(可选) 纯说明符(可选)	(1)
声明符 虚说明符序列(可选) 函数体	(2)

1) 在成员函数声明中，override 可以在紧随声明符之后并在 纯说明符 之前（如有使用）的 虚说明符序列 中出现。

2) 在类定义内成员函数定义中，override 可以在紧随声明符之后并紧接 函数体 之前的 虚说明符序列 中出现。

两种情况中，如果使用 虚说明符序列 ，那么它必须是 override、final、final override 或 override final 之一。

解释

在成员函数的声明或定义中，override 说明符确保该函数为虚函数并覆盖某个基类中的虚函数。如果不是这样，那么程序为谬构（生成编译错误）。

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 非虚
};

可能的输出：

main.cpp:9:10: 错误：'void B::foo() const' 标记为 'override'，但没有覆盖
    9 |     void foo() const override; // 错误：B::foo 不覆盖 A::foo
      |          ^~~
main.cpp:12:10: 错误：'void B::bar()' 标记为 'override'，但没有覆盖
   12 |     void bar() override; // Error: A::bar 非虚
      |          ^~~

参阅

final 说明符(C++11)

声明不能被覆盖的方法