On Tue, 17 Aug 2021 at 20:17, Vladimir Grigoriev via Std-Discussion
<std-discussion_at_[hidden]> wrote:
>
> In the paragraph #2 of the section «11.7.2 Virtual functions» if the C++ 20 Standard there is written
>
> «In a derived class, if a virtual member function of a base class subobject has more than one final overrider the program is ill-formed.»
>
> And there is an example
>
> [Example:
> struct A { virtual void f(); };
> struct B : A { };
> struct C : A { void f(); };
> struct D : B, C { }; // OK: A::f and C::f are the final overriders
> // for the B and C subobjects, respectively
>
> If I understand correctly should there the comment be appended that the code snippet is ill-formed because the class D has two final overriders of the functions f?

No, because the two final overriders are for member functions of
different base class subobjects. For each of those base
class subobjects, there is only one final overrider.