在 C++11 中的析构函数之后覆盖标识符

Question

虚析构声明后的覆盖标识符有什么特殊含义吗？

class Base
{
public:
    virtual ~Base()
    {}

    virtual int Method() const
    {}
};

class Derived : public Base
{
public:
    virtual ~Derived() override
    {}

    virtual int Method() override // error: marked override, but does not override - missing const
    {}
};

在虚拟方法上使用覆盖标识符作为检查很有用：当 Base 虚拟方法实际上没有被覆盖时，编译器将报告错误。

虚拟析构函数的覆盖是否也有任何意义/功能？

Answer 1

不是override有特殊含义，而是析构函数本身：

10.3 虚函数

6/尽管析构函数不是继承的，但在派生的析构函数 类覆盖声明为虚拟的基类析构函数；见 12.4 和 12.5.

如果你把它和前面的条款结合起来：

5/如果一个虚函数被标记了 virt-specifier override 并且 不覆盖基类的成员函数，程序是 格式不正确。 [示例：

struct B { 
    virtual void f(int); 
}; 

struct D : B
{ 
    void f(long) override; // error: wrong signature overriding B::f
    void f(int) override; // OK 
}; 

——结束示例]

您可以看到，如果一个析构函数被标记为override，但基类没有virtual 析构函数，则程序是非良构的。

Answer 2

是的。如果基本析构函数不是虚拟的，那么override 标记将导致程序无法编译：

class Base
{
public:
    ~Base()
    {}
};

class Derived : public Base
{
public:
    virtual ~Derived() override //error: '~Derived' marked 'override' but does
                                //        not override any member functions
    {}
};