对使用 'typedef' 声明的函数使用 'override'

Question

C++ 11 为函数引入了 'override' 说明符，我发现它很有用，因为它明确表明要覆盖虚函数。但是，我似乎无法让它适用于使用 typedef 声明的函数。

我知道“覆盖”不是关键字，它与此有关吗？

以下代码说明了我的观点：

#include <iostream>

typedef char ReturnsChar();

class Basic
{
    public:
    virtual char get_a();
    virtual ReturnsChar get_z;
};

char Basic::get_a() { return 'a'; }
char Basic::get_z() { return 'z'; }

class Capitalized : public Basic
{
    public:
    // Can override explicitly if I use the normal definition
    char get_a() override;

    // Compiles if I use the typedef but not 'override'
    ReturnsChar get_z;

    // Will not compile, but would like to do this
    //ReturnsChar get_z override; 

};

char Capitalized::get_a() { return 'A'; }
char Capitalized::get_z() { return 'Z'; }

int main()
{
    Basic foo;
    Capitalized bar;

    std::cout << foo.get_a() << std::endl; // a
    std::cout << foo.get_z() << std::endl; // z
    std::cout << bar.get_a() << std::endl; // A
    std::cout << bar.get_z() << std::endl; // Z
}

我正在使用 GNU 的 g++ 8.2.0，它给我的错误是

error: expected ';' at end of member declaration
ReturnsChar get_z override;
            ^~~~~
                      ;
error: ‘override’ does not name a type; did you mean ‘ctermid’?
     ReturnsChar get_z override;
                       ^~~~~~~~
                       ctermid

编辑：为了解决 cmets，我理解这种风格尚不清楚。我更感兴趣的是为什么这不会编译以及“覆盖”到底是做什么的（特别是因为它不是关键字）。 顺便说一句，我觉得 typedef-ing 函数在某些情况下可能很清楚，比如：

void (*foo(int x, void (*f)(int)))(int);

这很难阅读，尤其是经常出现时。我可以将其键入定义为“UpdateAddressFunction”，然后在脑海中将该类型的每个函数都视为“更新地址”。

Answer 1

我知道“覆盖”不是关键字，它与此有关吗？

确实如此：override 仅在少数特定上下文中被识别，并且在其他情况下可作为普通名称使用。然而，我相信这是一个编译器错误，这是编译器应该识别它的特殊含义的一个上下文。

与此相关的语法产生是

[class.mem]

成员声明符：
声明符 virt-specifier-seq_opt 纯说明符_opt

这并不要求 virt-specifier-seq 只出现在包含参数的声明中。唯一类似的要求如下：

[class.mem]p8:

virt-specifier-seq 应仅出现在虚成员函数 (10.3) 的声明中。

在您的情况下，声明是虚拟成员函数之一。我认为这里应该接受override。