¿Cuáles son las reglas para llamar al constructor de la clase base?

¿Cuáles son las reglas de C++ para llamar al constructor de la clase base desde una clase derivada?

Por ejemplo, sé que en Java, debe hacerlo como la primera línea del constructor de la subclase (y si no lo hace, se asume una llamada implícita a un superconstructor sin argumentos, lo que le da un error de compilación si falta) .

Los constructores de la clase base se llaman automáticamente si no tienen ningún argumento. Si desea llamar a un constructor de superclase con un argumento, debe usar la lista de inicialización del constructor de la subclase. A diferencia de Java, C++ admite la herencia múltiple (para bien o para mal), por lo que se debe hacer referencia a la clase base por su nombre, en lugar de “super()”.

class SuperClass
{
    public:

        SuperClass(int foo)
        {
            // do something with foo
        }
};

class SubClass : public SuperClass
{
    public:

        SubClass(int foo, int bar)
        : SuperClass(foo)    // Call the superclass constructor in the subclass' initialization list.
        {
            // do something with bar
        }
};

Más información sobre la lista de inicialización del constructor. aquí y aquí.

En C++, los constructores sin argumentos para todas las superclases y variables miembro se llaman por usted, antes de ingresar su constructor. Si desea pasarles argumentos, hay una sintaxis separada para esto llamada “encadenamiento de constructores”, que se ve así:

class Sub : public Base
{
  Sub(int x, int y)
  : Base(x), member(y)
  {
  }
  Type member;
};

Si algo ejecutado en este punto arroja, las bases/miembros que habían completado previamente la construcción tienen sus destructores llamados y la excepción se vuelve a lanzar a la persona que llamó. Si desea detectar excepciones durante el encadenamiento, debe usar un bloque de prueba de función:

class Sub : public Base
{
  Sub(int x, int y)
  try : Base(x), member(y)
  {
    // function body goes here
  } catch(const ExceptionType &e) {
    throw kaboom();
  }
  Type member;
};

En este formulario, tenga en cuenta que el bloque try es el cuerpo de la función, en lugar de estar dentro del cuerpo de la función; esto le permite detectar excepciones lanzadas por miembros implícitos o explícitos e inicializaciones de clase base, así como durante el cuerpo de la función. Sin embargo, si un bloque catch de función no arroja una excepción diferente, el tiempo de ejecución volverá a generar el error original; excepciones durante la inicialización no poder ser ignorado.

En C++ hay un concepto de lista de inicialización del constructor, que es donde puede y debe llamar al constructor de la clase base y donde también debe inicializar los miembros de datos. La lista de inicialización viene después de la firma del constructor después de dos puntos y antes del cuerpo del constructor. Digamos que tenemos una clase A:

class A : public B
{
public:
  A(int a, int b, int c);
private:
  int b_, c_;
};

Entonces, asumiendo que B tiene un constructor que toma un int, el constructor de A puede verse así:

A::A(int a, int b, int c) 
  : B(a), b_(b), c_(c) // initialization list
{
  // do something
}

Como puede ver, el constructor de la clase base se llama en la lista de inicialización. Por cierto, es preferible inicializar los miembros de datos en la lista de inicialización que asignar los valores para b_ y c_ dentro del cuerpo del constructor, porque se está ahorrando el costo adicional de la asignación.

Tenga en cuenta que los miembros de datos siempre se inicializan en el orden en que se declaran en la definición de clase, independientemente de su orden en la lista de inicialización. Para evitar errores extraños, que pueden surgir si sus miembros de datos dependen unos de otros, siempre debe asegurarse de que el orden de los miembros sea el mismo en la lista de inicialización y en la definición de clase. Por la misma razón, el constructor de la clase base debe ser el primer elemento de la lista de inicialización. Si lo omite por completo, se llamará automáticamente al constructor predeterminado para la clase base. En ese caso, si la clase base no tiene un constructor predeterminado, obtendrá un error de compilación.

Todos mencionaron una llamada de constructor a través de una lista de inicialización, pero nadie dijo que el constructor de una clase principal se puede llamar explícitamente desde el cuerpo del constructor del miembro derivado. Consulte la pregunta Llamar a un constructor de la clase base desde el cuerpo del constructor de una subclase, por ejemplo. El punto es que si usa una llamada explícita a una clase principal o un constructor de superclase en el cuerpo de una clase derivada, esto en realidad solo está creando una instancia de la clase principal y no está invocando al constructor de la clase principal en el objeto derivado. . La única forma de invocar una clase principal o un constructor de superclase en un objeto de clase derivada es a través de la lista de inicialización y no en el cuerpo del constructor de la clase derivada. Entonces, tal vez no debería llamarse “llamada al constructor de superclase”. Pongo esta respuesta aquí porque alguien podría confundirse (como yo).

Si tiene un constructor sin argumentos, se llamará antes de que se ejecute el constructor de la clase derivada.

Si desea llamar a un constructor base con argumentos, debe escribirlo explícitamente en el constructor derivado de esta manera:

class base
{
  public:
  base (int arg)
  {
  }
};

class derived : public base
{
  public:
  derived () : base (number)
  {
  }
};

No puede construir una clase derivada sin llamar al constructor principal en C++. Eso sucede automáticamente si es un C’tor que no es un argumento, sucede si llama al constructor derivado directamente como se muestra arriba o su código no se compilará.

La única forma de pasar valores a un constructor principal es a través de una lista de inicialización. La lista de inicialización se implementa con un : y luego una lista de clases y los valores que se pasarán a ese constructor de clases.

Class2::Class2(string id) : Class1(id) {
....
}

También recuerde que si tiene un constructor que no toma parámetros en la clase principal, se llamará automáticamente antes de que se ejecute el constructor secundario.

Si tiene parámetros predeterminados en su constructor base, la clase base se llamará automáticamente.

using namespace std;

class Base
{
    public:
    Base(int a=1) : _a(a) {}

    protected:
    int _a;
};

class Derived : public Base
{
  public:
  Derived() {}

  void printit() { cout << _a << endl; }
};

int main()
{
   Derived d;
   d.printit();
   return 0;
}

La salida es: 1