使用带有 Final 关键字的虚函数

Question

我有一个关于在 C++ 中使用关键字 final 的问题。我了解虚函数是在基类中声明的成员函数，预计会在派生类中被覆盖。通过动态绑定，将调用适当的方法，具体取决于负责调用的对象的类型。但是，为了防止基类中的成员函数在任何派生类中被覆盖，我们将使用 final 关键字。

void startEngine() final;// Compile error!
virtual void startEngine() final; //No error

为什么我们使用“final”来防止基类中的成员函数在派生类中被覆盖，同时我们仍然必须一起使用关键字VIRTUAL（允许覆盖）。

我尝试删除 virtual 这个词，但出现编译错误：“nonvirtual function cannot be declared with 'final' modifier”

Answer 1

首先，只有当函数可以被重写时，我们才能停止重写函数。所以final 只对虚函数有意义。

不过，final 应用于单个类的虚函数可能看起来毫无意义。但是，如果您考虑更复杂的层次结构，事情就会发生变化：

class Parent
{
public:
    virtual ~Parent() = default;
    virtual void f();
};
class Child : public Parent
{
public:
    void f() final; // f IS virtual already...
};
class GrandChild : public Child
{
    // cannot override f any more – while Child still could!
};

此外，请考虑以下事项：

class Base
{
public:
    virtual ~Base() = default;
    void f(); // non-virtual! (i. e. cannot be overridden)
};
class Derived : public Base
{
public:
    void f(); // does not override, but HIDEs Base::f!!!
};

同时声明 Base::f virtual 和 final 也可以防止隐藏（但不会过度加载）。

实际上，如果Base 本身已经从另一个多态类继承，那么这种情况还是很有意义的。如果不是并且Base 不打算被继承，我根本不会引入任何虚函数（虚函数调用比普通函数调用更昂贵！）。如果那时用户仍然继承并隐藏了一个函数——好吧，他自己的责任......