Sobrescribe la función virtual de las clases base, que no comparten una interfaz común

Question

#include <iostream> 
struct B1 
{ 
    virtual void method()=0; 
    virtual ~B1(){} 
}; 

struct B2 
{ 
    virtual void method()=0; 
    virtual ~B2(){} 
}; 

struct D: B1, B2 
{ 
    virtual void method() 
    { 
     std::cout << "D::method\n"; 
    }; 
}; 

int main(int argc,char *argv[]) 
{ 
    D d; 
    B1 &b1=d; 
    B2 &b2=d; 
    b1.method(); 
    b2.method(); 
    return 0; 
} 

Nota: B1 y B2 no comparten una interfaz común.

¿Es esto legal? En caso afirmativo, ¿en qué estándar? C++ 98/03/11?

Ambos, msvc y gcc lo han compilado correctamente.

Anteriormente pensé que tenía que usar una interfaz común para ese caso (posible herencia virtual).

¿Tal situación tiene algún nombre especial?

¿Cómo funciona en detalles, por favor? Tal vez algunas referencias ISO?

Answer 1

Su código está bien formado: void D::method() anula tanto void B1::method() y void B2::method().

La especificación establece (C++ 11 §10.3/2):

Si una función miembro virtual vf se declara en una clase de Base y en una clase de Derived, derivada directa o indirectamente de Base, una función miembro vf con el mismo nombre, el parámetro de tipo lista , cv-qualification, y ref-qualifier (o la ausencia de la misma) como Base::vf se declara, entonces Derived::vf también es virtual (esté o no declarado) e invalida Base::vf.

B1 declara una función de miembro virtual void B1::method(). La clase D se deriva de B1 y también declara una función miembro con el mismo nombre (method), la misma lista de parámetros (sin parámetros), la misma calificación cv (sin calificación) y el mismo calificador ref (sin calificación).

Por lo tanto, void D::method() reemplaza void B1::method().

La misma lógica se aplica para void B2::method() (justo sustituir B2 para B1 en la explicación anterior), de modo void D::method() anulaciones ambos void B1::method() y void B2::method().

Answer 2

afaik Esto es legal en todos los estándares. No estoy seguro si tiene su propio nombre especial, pero es similar al diamond problem.

si invalida el "método virtual void()" en D, entonces anula el método en B1 y B2.

Editar:

a anwser razón por la que no tiene "dos independed diferente heredó las funciones virtuales en D: B1 y B2 :: método :: Método":

al redefinir un método, can solo puede especificar el nombre de la función, el tipo de retorno y los parámetros, pero no puede agregar detalles de la firma acerca de cuál hereda al anular.

imaginar que sería posible, entonces podría ser algo como esto:

struct D: B1, B2 
{ 
    virtual void B1::method() 
    { 
     std::cout << "D::method\n"; 
    }; 
    virtual void B2::method() 
    { 
     std::cout << "D::method\n"; 
    }; 
}; 

pero ver esto, ya se puede decir que no existe la posibilidad de tener algo así, porque al llamar

objectD.method() 

no puede especificar a cuál llama. por lo tanto, incluso si hubiera una forma de sobrecargar ambos, aún existe el problema de distinguir en la llamada a la función.

EDITAR: "no puedo especificar a cuál llama." hace referencia a, no puede especificar si desea invocar una sobrecarga de clase D del método B2 :: o el método B2 en sí mismo. Método objectD.B2 :: método siempre invocar el B2 (no sobrecargado) (que en este caso no se compilará como B2 no tiene ninguna aplicación)