¿Algun curso o explicacion mas detallado de punteros pero referido a clases en c++ ?
No hay diferencias en los usos de punteros con datos básicos o con objetos. En ambos casos los punteros funcionan de la misma manera: contienen una dirección de memoria la cuál puede ser (o no ser) la dirección de memoria de un dato.
Nociones básicas.
Las funciones que has puesto, siempre y cuando pertenezcan a un objeto1 devolverían respectivamente:
int getEdad() { return edad; }
copia de edad
.
int& getEdad() { return edad; }
referencia a edad
.
int* getEdad() { return &edad; }
puntero a edad
.
Estos tres estilos de devolver datos desde una función tienen diferencias elementales.
- En el primer caso obtienes una copia del dato interno y cualquier modificación sobre la misma no afectará al dato original; por otro lado, esta copia podrá tener un ciclo de vida diferente al dato original.
- En el segundo caso obtienes una referencia al dato interno, esto te permite hacer modificaciones sobre la referencia que serán reflejadas en el dato original; pero si el dato original es eliminado tendrás una referencia colgante y operar sobre esta referencia causará comportamientos inesperados en tu programa... por este motivo (entre otros) se considera una mala práctica devolver una referencia a un dato interno.
- En el tercer caso obtienes un puntero al dato interno, a través del puntero podrías modificar el dato original así que tiene las mismas desventajas que la referencia.
A grandes rasgos, la diferencia entre puntero y referencia a un dato interno es que una vez creada la referencia no puede apuntar a otro dato mientras que el puntero si. Por otro lado un puntero puede ser nulo mientra que una referencia no.
Nociones intermedias.
Que devuelvas una referencia no implica que vayas a tener una referencia. En otras palabras: el tipo de retorno de una función no tiene por que ser el tipo usado para almacenar el retorno; supón que tenemos esta clase:
struct S
{
int edad{};
int copia() { return edad; }
int& referencia() { return edad; }
int* puntero() { return &edad; }
};
Podemos guardar una referencia a el dato devuelto en todos los casos:
S s;
const int& referencia1 = s.copia();
int& referencia2 = s.referencia();
int& referencia3 = *s.puntero();
Tanto referencia2
como referencia3
serían una referencia a s.edad
y cualquier operación sobre una de esas referencias se reflejaría tanto en la otra como en el dato original.
En cuanto a referencia1
sería una referencia a un dato temporal (S::copia
devuelve un dato por copia) y C++ no permite este tipo de referencias a no ser que sean constantes. Una referencia constante a un dato temporal alarga el ciclo de vida del dato hasta el final del ciclo de vida de la referencia, en caso contrario tendríamos una referencia colgante.
De la misma manera podemos guardar un puntero a el dato devuelto:
S s;
int* puntero1 = &s.copia();
int* puntero2 = &s.referencia();
int* puntero3 = s.puntero();
Tanto puntero2
como puntero3
contendrían la dirección de memoria de s.edad
y se podría modificar s.edad
a traves de dichos punteros.
El caso de puntero1
es un error de compilación: no se permite obtener la dirección de memoria de un valor temporal
Por último podemos el dato por copia independientemente de lo que devuelva la función:
S s;
int dato1 = s.copia();
int dato2 = s.referencia();
int dato3 = *s.puntero();
En los tres casos, incluido el de dato2
, tendremos una copia de s.edad
.
Nociones avanzadas.
El et (&
) puede usarse en otro contexto en la declaración de una función miembro:
struct S
{
int edad{};
int copia() && { std::cout << "c&&\n"; return edad; }
int& referencia() && { std::cout << "r&&\n"; return edad; }
int* puntero() && { std::cout << "p&&\n"; return &edad; }
int copia() & { std::cout << "c&\n"; return edad; }
int& referencia() & { std::cout << "r&\n"; return edad; }
int* puntero() & { std::cout << "p&\n"; return &edad; }
};
La versión con un et (&
) corresponde a las llamadas de la función miembro cuando el objeto propietaro no es un objeto temporal. La versión con dos et (&&
) es para cuando la función miembro es llamada desde un objeto temporal:
S s{};
auto a = s.copia(); // muestra c&
auto b = s.referencia(); // muestra r&
auto c = s.puntero(); // muestra p&
auto d = S{}.copia(); // muestra c&&
auto e = S{}.referencia(); // muestra r&&
auto f = S{}.puntero(); // muestra p&&
Hay que tener en cuenta que en el ejemplo anterior e
es una referencia colgante y f
es un puntero a datos que ya no existen, porque obtuvieron referencias o punteros a datos temporales.
1Y tuviera cada una un nombre distinto, ya que no se puede sobrecargar por retorno... bueno sí que se puede (con un poco de brujería) pero no es lo que toca hablar en esta pregunta :)