c++ - 在 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 调用 foo 之前如果没有 virtual 将是不明确的。