Herencia de diamantes y funciones virtuales puras

Question

Imagine una herencia de diamantes estándar. La clase A define la función virtual pura fx, la clase B define la implementación para fx, las clases C y D no hacen nada con fx. Al intentar llamar a fx en la instancia de la clase D, se producirá un error de "llamada de función ambigua", aunque solo hay una implementación de fx. Esto se puede resolver con B y C heredando de A de manera virtual. ¿Es una solución correcta para el problema? ¿Cómo maneja la herencia virtual la fusión de tablas de funciones virtuales?

A ---> B ---> D

\ ---> C^------

Answer 1

¿Es una solución correcta para el problema?

herencia "diamante" es problemático, y la explicación correcta de la solución requiere un poco de explicación. Le recomiendo que lea los siguientes capítulos de Meyers efectiva C++:

• artículo 26, Guardia contra la ambigüedad potencial
• artículo 43, Uso herencia múltiple juiciosamente.

Answer 2

... Nota, Herb Sutter escribió 3 artículos excelentes sobre la herencia múltiple (1) here, (2) here y (3) here. Escribió un montón de artículos útiles en el gurú de la semana here. Muy recomendable ...

En primer lugar, no estoy seguro de obtener su jerarquía correcta. Lo tomo es así:

struct A { 
    virtual void F() = 0; 
}; 

struct B : A { void F() { } }; 
struct C : A { }; 
struct D : B, C { }; 

Bueno, D es abstracto, porque hay dos A subobjetos en un objeto de tipo D: uno que está hecho de hormigón mediante B través de la red de B, y uno que sigue siendo abstracto en el enrejado pasando por C. Supongo que tiene un puntero al D y trata de llamar al F. Sí, se presenta una ambigüedad, porque el compilador encuentra dos funciones F en dos redes separadas:

D -> B::F 
D -> C -> A::F 

aspecto:

F() F() 
    A  A 
    |  | 
F() B  C 
     \ /
     D 

Puede corregir esa situación formalmente mediante la derivación de la A virtualmente:

struct B : virtual A { void F() { } }; 
struct C : virtual A { }; 
struct D : B, C { }; 

A continuación, tiene esta situación, se llama la herencia de diamantes:

 F() 
     A 
    / \ 
F() B  C 
     \ /
     D 

Y al hacer la búsqueda, se encuentra que hay B::F anulando A::F. Aunque todavía puede comunicarse con A::F a través de D::C::A, ya no es una ambigüedad, ya que A se hereda virtual.

Si esta es la solución correcta para su problema en particular, eso por supuesto no es seguro. En general, hay mejores formas de derivar virtual de una clase. A su pregunta sobre la fusión de tablas de funciones virtuales, eso depende completamente de la implementación. GCC, por lo que sé, mantendrá un puntero a la única instancia A en la tabla virtual de D, si derivamos virtual.