Respuesta.

Historia de la pregunta:

La lista de inicialización apareció en C++ para optimizar y asegurar la correcta inicialización de los miembros de la clase antes de ejecutar el cuerpo principal del constructor. Esto fue el resultado de la experiencia con C y C++: para los miembros constantes y referencias, no es posible inicializarlos en el cuerpo del constructor, solo en la lista.

Problema:

Al intentar inicializar tales miembros en el cuerpo del constructor en lugar de en la lista de inicialización, ocurrirá un error de compilación. Ignorar la lista también lleva a un doble llamado a la función de inicialización para los objetos miembros, lo que afecta el rendimiento, especialmente con constructores inicializadores complejos.

Solución:

Es óptimo declarar e inicializar los miembros de la clase a través de la lista de inicialización, especialmente si son constantes (const) o referencias (&). La lista de inicialización se utiliza ANTES de que se ejecute el cuerpo del constructor, cuando los miembros de la clase aún están siendo construidos.

Ejemplo de código:

class Example {
    const int value;
    int& ref;
public:
    Example(int v, int& r) : value(v), ref(r) { /* cuerpo del constructor */ }
};

Características clave:

• Solo la lista de inicialización permite establecer valores para miembros const y referencias.
• La inicialización en el cuerpo del constructor es una asignación (no una construcción), lo que es imposible para const y referencias.
• El orden de inicialización de los miembros siempre corresponde al orden de su declaración en la clase, no al de la lista.

Preguntas capciosas.

¿Qué pasará si cambiamos el orden de los miembros de la clase y su inicialización en la lista?

La inicialización siempre ocurre en el orden de declaración de los miembros en la clase, no en el orden en que se escribió en la lista de inicialización. Si los miembros dependientes se inicializan "en el orden incorrecto", puede haber acceso a una memoria aún no inicializada.

Ejemplo de código:

class Foo {
    int x;
    int y;
    Foo() : y(2), x(y) {}
    // x será inicializado PRIMERO, con el valor no inicializado de y
}

¿Se puede inicializar un miembro const de la clase en el cuerpo del constructor?

No. Esto causará un error de compilación. Solo a través de la lista de inicialización.

¿Qué ocurrirá si no se inicializa un miembro referencia?

Si no se inicializa un miembro referencia, se generará un error de compilación, porque una referencia debe estar "vinculada" a un objeto al ser creada y no puede ser cambiada más tarde.

Errores típicos y anti-patrones

• Inicialización de miembros en el cuerpo del constructor en lugar de en la lista, especialmente para miembros const/symlink.
• Cambio accidental del orden de declaración de los miembros o su inicialización, lo que lleva a errores o comportamiento indefinido.
• Intentar inicializar a través de asignación al trabajar con constantes.

Ejemplo de la vida real

Caso negativo

En una clase para almacenar configuraciones se utiliza una const std::string y una referencia, intentar inicializar estos miembros se lleva a cabo en el cuerpo del constructor, el compilador se queja o los datos no se inicializan.

Ventajas: El principiante ha aprendido el error, aprendió a diferenciar entre construcción y asignación.

Desventajas: Error de compilación, imposibilidad de usar la clase, posibles errores inesperados en la etapa de inicialización de objetos.

Caso positivo

La constante y la referencia se inicializan correctamente a través de la lista de inicialización. Todo el complejo código de inicialización está concentrado en la lista, lo que aumenta la legibilidad y previene errores.

Ventajas: Inicialización segura y correcta de los miembros de la clase, alta legibilidad, ausencia de fugas o UB.

Desventajas: Puede surgir una lógica compleja de inicialización, parte de la cual no es tan fácil de probar sin código adicional.