Llamar al constructor sobrecargado de una clase base virtual

Question

¿Existe alguna forma (práctica) de eludir el orden de llamada del constructor normal (virtual)?

Ejemplo:

class A 
{ 
    const int i; 

public: 
    A() 
     : i(0) 
    { cout << "calling A()" << endl; } 

    A(int p) 
     : i(p) 
    { cout << "calling A(int)" << endl; } 
}; 

class B 
    : public virtual A 
{ 
public: 
    B(int i) 
     : A(i) 
    { cout << "calling B(int)" << endl; } 
}; 

class C 
    : public B 
{ 
public: 
    C(int i) 
     : A(i), B(i) 
    { cout << "calling C(int)" << endl; } 
}; 

class D 
    : public C 
{ 
public: 
    D(int i) 
     : /*A(i), */ C(i) 
    { cout << "calling D(int)" << endl; } 
}; 


int main() 
{ 
    D d(42); 
    return 0; 
} 

de salida:

llamante A()
llamando B (int)
llamando C (int)
llamando D (int)

lo que quiero es tener algo como:

llamar A (int)
llamando B (int)
llamando C (int)
llamando D (int)

---

Como ve, hay una herencia virtual involucrada, que lleva al constructor de D a llamar primero al constructor de A, pero como no se proporciona ningún parámetro, llama a A(). Está el const int i que necesita inicialización, así que tengo un problema.

Lo que me gustaría hacer es ocultar los detalles de herencia de C, es por eso que estoy buscando una forma de evitar llamar a A (i) en la lista de inicialización del constructor de D's (y cada derivada). [edit] En este caso específico, puedo suponer que solo hay clases secundarias de herencia única no-virtuales de C (como D es uno). [/ Editar]

[editar]

clases base virtuales se inicializan antes de cualquier clases base no virtuales se inicializan, por lo que sólo la clase más derivada puede inicializar clases base virtuales. - James McNellis

eso es exactamente el punto, yo No quieren que la clase más derivada para llamar al constructor de la clase base virtual. [/ editar]

Considere la siguiente situación (no representados en el ejemplo de código anterior):

A 
/\ 
B0 B1 
\/
    C 
    | 
    D 

entiendo por qué C tiene que llamar al ctor de A (ambigüedad) cuando instanciar C, pero ¿por qué D tiene que invocarlo al crear instancias de D?

Answer 1

Desafortunadamente, siempre tendrá que llamar al constructor de las clases base virtuales desde la clase más derivada.

Esto se debe a que está diciendo que la base virtual se comparte entre todas las clases que se derivan de ella para la instancia del objeto. Como un constructor solo puede invocarse una vez para una instancia determinada de un objeto, debe llamar explícitamente al constructor en la clase más derivada porque el compilador no sabe cuántas clases comparten la base virtual (parafraseada (probablemente mal) desde C++ Programming Language 3rd edition, section 15.2.4.1). Esto se debe a que el compilador comenzará desde el constructor de la mayoría de las clases base y funcionará a la clase más derivada. Las clases que heredan de una clase base virtual directamente, por el estándar, no llamarán a su constructor de clases base virtual, por lo que deben llamarse explícitamente.

Answer 2

En parashift C++ - faq-lite esta edición is outlined.

Answer 3

entiendo por qué C tiene que llamar a la ctor de A (ambigüedad) cuando instanciate C, pero ¿por qué tiene que D llamarlo cuando instanciando D?

Por la misma razón que C tiene que llamarlo. No es un problema de ambigüedad, es el hecho de que la construcción de A debe ser llamada solo una vez (ya que es una base virtual).

Si esperabas que C pudiera inicializar el constructor de A, ¿qué pasaría si la clase D heredara C y otra clase que finalmente heredara A?

Answer 4

Tales son las reglas. Existen reglas para anular las funciones virtuales y las reglas para construir subobjetos base virtuales. Aunque ambos son conceptualmente muy similares, siguen reglas completamente diferentes, por una razón: la anulación de una función virtual es explícita. Llamar a un constructor está implícito para el constructor predeterminado.

Las funciones virtuales en las clases base virtuales solo requieren tener un overrider final, un overrider que anula a todos los demás overriders. (Las funciones virtuales en clases base no virtuales no pueden tener dos overriders de modo que uno no anule al otro.)

Pero los constructores de la clase base virtual siempre se llaman desde la clase más derivada, y generalmente en la forma implícita de no se molesta en mencionar la clase base virtual en la lista de ctor-init, ya que la mayoría de las clases diseñadas para ser usadas como clases base virtuales son "interfaces puras" sin miembros de datos y sin inicialización de usuario.