将 C++ 中的类声明为“final：public virtual”有用吗？

Question

当将 c++ 类声明为 final 时，是否需要使用虚拟继承来继承基类？我知道虚拟继承的用途并使用它来避免成员重复。

例如，如果我有这些类定义（想象它们都有一些成员和虚拟解构器）

class B : public virtual A {};
class C : public virtual A {};
class D : public virtual C {};

定义下一个类是否有意义

class E final : public virtual D {}

或

class F final : public virtual B, public virtual C {};

或者是默认继承，即

class E final : public D {}
class F final : public B, public C {};

总是够了吗？

这已经困扰了我很长时间，正如我不时看到的代码，其中包括

"final : public virtual"

virtual 在任何情况下可以安全地省略吗？

非常感谢任何提示/解释

Answer 1

struct A { void foo() { cout << "foo" << endl; } };
struct B : virtual A {};
struct D final : virtual A, B {};

D d;
d.foo();

在A 之前没有virtual 调用foo 将是模棱两可的。