C ++ erbt von mehreren Basisklassen mit demselben virtuellen Funktionsnamen

Eine Funktion überschreibt eine virtuelle Funktion einer Basisklasse basierend auf den Namen und Parametertypen (siehe unten). Daher hat Ihre Klasse C zwei virtuelle Funktionen foo , eine geerbte von jedem A und B . Aber eine Funktion void C::foo() überschreibt beide :

[klasse.virtual] / 2

  

Wenn eine virtuelle Memberfunktion vf in einer Klasse Base deklariert ist und in einer Klasse Derived , abgeleitet direkt oder indirekt von Base , eine Memberfunktion vf mit demselben Namen, parameter-type-list , cv-qualification und ref-qualifier (oder das Fehlen derselben) wie Base::vf deklariert wird, dann ist Derived::vf auch virtuell (ob es so deklariert ist) und es < em> überschreibt Base::vf .

Wie bereits in den Kommentaren erwähnt, verbietet [dcl.meaning] / 1 die Verwendung einer qualifizierten ID in der Deklaration einer (Mitglieds-) Funktion:

  

Wenn die deklarator-ID qualifiziert ist, muss sich die Deklaration auf ein zuvor deklariertes Mitglied der Klasse oder des Namespaces beziehen, auf das der Qualifier [...] verweist "

Daher ist virtual void X::foo(); als Deklaration innerhalb von C verboten.

Der Code

ist das einzige Verfahren, mit dem AFAIK foo überschreibt, und es überschreibt sowohl A::foo als auch B::foo . Es gibt keine Möglichkeit, zwei verschiedene Außerkraftsetzungen für A::foo und B::foo mit anderem Verhalten als durch Einführung einer anderen Vererbungsebene zu haben:

Sie haben nur eine virtuelle Funktion foo :