将虚函数与 Final 关键字结合使用

Question

关于在C中使用关键字final，我有一个问题。我知道虚函数是在基类中声明的成员函数，它应该在派生类中重写。通过动态绑定，将根据负责调用的对象的类型调用适当的方法。但是，为了防止基类中的成员函数在任何派生类中被重写，我们将使用final关键字。

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

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

我试图删除虚拟这个词，但我得到一个编译错误：“非虚拟函数不能用'final'修饰符声明”

Answer 1

首先，我们只能在可以重写函数的情况下停止覆盖函数。所以最终只对虚函数有意义。

尽管如此，应用于单个类的虚函数的< code>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!!!
};

将< code>Base::f声明为virtual和final也可以防止隐藏(但不会重载)。

事实上，如果＜code＞Base＜/code＞本身已经从另一个多态类继承，那么这个场景也是有意义的。如果不是，并且＜code＞Base＜/code＞不打算被继承，我根本不会引入任何虚拟函数（虚拟函数调用比普通函数调用成本更高！）。如果用户仍然继承并隐藏了一个函数，那么他自己的责任。。。