Funciones implementadas automáticamente
El compilador de C++ es capaz de crear ciertas funciones especiales por si mismo:
- Constructor por defecto
- Constructor copia
- Constructor copia (semántica de movimiento)
- Destructor
- Operador de asignación
- Operador de asignación (semántica de movimiento)
Existen, no obstante, reglas que determinan cuándo va el compilador a implementar estas funciones. Así, por ejemplo, el constructor por defecto solo será implementado por el compilador cuando no se haya declarado ningún constructor personalizado.
Memoria dinámica
Por otro lado, aunque el compilador nos genere estas funciones, hay que tener en cuenta que esto no implica que su trabajo vaya a ser correcto... o al menos como esperamos. El compilador no se preocupa de la memoria dinámica, si nuestra clase tiene un puntero, la función generada se limitará a copiar la dirección de memoria, lo que puede darnos problemas en algunas ocasiones.
De la misma manera, el destructor nunca llamará a delete
para liberar la memoria asociada a un puntero.
Implementación de las funciones automáticas
Un tercer factor a tener en cuenta es que cuando el compilador genera una función automáticamente, la implementa a nivel de cabecera. Esto nos limita muchísimo a la hora de usar declaration forward, lo que aumentará los tiempos de compilación.
Implementación de funciones automáticas (C++11)
A partir de C++11 es posible forzar la implementación automática de una función. Simplemente tendremos que añadir = default
detrás de la función:
class POO
{
public:
// Este constructor evita que el compilador genere
// el constructor por defecto
POO(int) { }
// Sin embargo con =default podemos forzar dicha implementación
POO() = default;
};
Esto se puede hacer también en los archivos cpp, lo cual evitará que la implementación de la función se realice a nivel de la cabecera:
POO.h
class POO
{
public:
POO();
};
POO.cpp
#include "POO.h"
POO::POO() = default;
Herencia
En caso de herencia, el compilador no va a hacer el esfuerzo por determinar si una clase base va a ser objeto de herencias, por lo que su destructor nunca va a ser declarado como virtual. Esto puede provocar comportamientos anómalos en nuestra aplicación.
Conclusiones
es necesario escribir los constructores y destructores cuando usamos setters o getters?
Como norma general, no, no es necesario escribir los constructores y destructores, aunque, como ves. Sin embargo hay una larga lista de situaciones en las que será imprescindible, o al menos recomendable, implementar de forma manual dichas funciones.
Un concepto a tener en cuenta es que el hecho de tener getters y setters es independiente del hecho de implementar los constructores y destructores. Los getters y los setters nos permiten acceder y modificar el estado del objeto, mientras que la función de los constructores y destructores es garantizar el ciclo de vida del objeto.
Dicho de otra forma. Los getters y los setters se implementarán en función de las necesidades que tengamos a la hora de utilizar un objeto y los constructores y destructores se implementarán en función del tipo de variables que compongan el estado de un objeto.